projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix sat_proof "parentheses into the void" after conferring with Liana.
[cvc5.git] / INSTALL
2013-05-08 Morgan DetersCutting release 1.2. blob | commitdiff | raw
2013-05-08 Morgan Detersupdate versioning blob | commitdiff | raw
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