projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
bug fix (caused by merge), move cardinality option to expert option
[cvc5.git] / INSTALL
2013-12-17 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2013-12-17 Morgan Deterssome config changes: new --bsd option, readline gives... blob | commitdiff | raw
2013-12-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2013-11-27 Morgan DetersSome versioning in advance of the 1.3 release. blob | commitdiff | raw | diff to current
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw | diff to current
2013-05-08 Morgan DetersCutting release 1.2. blob | commitdiff | raw | diff to current
2013-05-08 Morgan Detersupdate versioning blob | commitdiff | raw | diff to current
2013-04-30 lianahfixed merge conflicts blob | commitdiff | raw | diff to current
2013-04-26 Tim KingFCSimplex branch merge blob | commitdiff | raw | diff to current
2013-04-03 Morgan DetersSome final minor changes before cutting 1.1. blob | commitdiff | raw | diff to current
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... blob | commitdiff | raw | diff to current
2013-03-19 Morgan DetersRemove PropositionalQuery class and all CUDD-related... blob | commitdiff | raw | diff to current
2012-10-24 Morgan DetersIncludes many fixes to build system for Solaris (thanks... blob | commitdiff | raw | diff to current
2012-10-19 Kshitij Bansal--fallback-sequential / --no-fallback-sequential option blob | commitdiff | raw | diff to current
2012-10-09 Morgan Deterssome documentation fixes blob | commitdiff | raw | diff to current
2012-10-06 Morgan Deters* Clean up some options documentation blob | commitdiff | raw | diff to current
2012-10-06 Morgan Deters* Some documentation about building compatibility and... blob | commitdiff | raw | diff to current
2012-10-03 Morgan Detersnew README and INSTALL files blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw
2009-11-03 Morgan Deterscommit of project structure including autotools support blob | commitdiff | raw | diff to current