projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Improving documentation for glpk-cut-log switch.
[cvc5.git] / config / build-type
2014-01-09 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw
2014-01-09 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2014-01-09 Morgan Detersgmp is again default, not cln, for build ID (reverting... blob | commitdiff | raw
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-23 Morgan Deterscln now default w.r.t. build ID string blob | commitdiff | raw | diff to current
2013-12-15 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2013-12-11 Morgan DetersGLPK build identifier, license warnings. blob | commitdiff | raw | diff to current
2013-12-09 Morgan DetersGLPK build identifier, license warnings. blob | commitdiff | raw | diff to current
2011-10-28 Liana Hadareanmerged the proofgen3 branch into trunk: blob | commitdiff | raw | diff to current
2011-04-10 Morgan Detersmerge from replay branch blob | commitdiff | raw | diff to current
2010-09-01 Morgan Detersreflect in build strings that -gmp is now the default... blob | commitdiff | raw | diff to current
2010-07-03 Morgan DetersWith 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 DetersAddressed many of the concerns of bug 10 (build system... blob | commitdiff | raw | diff to current
2009-12-17 Morgan Deterssupport nonstandard, unconfigured builds (e.g., ".... blob | commitdiff | raw | diff to current