projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge pull request #34 from mdeters/datatypes-kinds
[cvc5.git]
/
config
/
build-type
2014-06-11
Morgan Deters
Some clean-up, post bv-merge.
blob
|
commitdiff
|
raw
2014-01-09
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-01-09
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-09
Morgan Deters
gmp is again default, not cln, for build ID (reverting...
blob
|
commitdiff
|
raw
|
diff to current
2013-12-26
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-12-24
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-23
Morgan Deters
cln now default w.r.t. build ID string
blob
|
commitdiff
|
raw
|
diff to current
2013-12-15
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-12-11
Morgan Deters
GLPK build identifier, license warnings.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-09
Morgan Deters
GLPK build identifier, license warnings.
blob
|
commitdiff
|
raw
|
diff to current
2011-10-28
Liana Hadarean
merged the proofgen3 branch into trunk:
blob
|
commitdiff
|
raw
|
diff to current
2011-04-10
Morgan Deters
merge from replay branch
blob
|
commitdiff
|
raw
|
diff to current
2010-09-01
Morgan Deters
reflect in build strings that -gmp is now the default...
blob
|
commitdiff
|
raw
|
diff to current
2010-07-03
Morgan Deters
With this commit come a number of changes to build...
blob
|
commitdiff
|
raw
|
diff to current
2010-06-18
Morgan Deters
"statistics" and "staticbinary" are now tags on the...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-03
Morgan Deters
Addressed many of the concerns of bug 10 (build system...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-17
Morgan Deters
support nonstandard, unconfigured builds (e.g., "....
blob
|
commitdiff
|
raw
|
diff to current