projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch '1.4.x'
[cvc5.git] / INSTALL
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets blob | commitdiff | raw
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' blob | commitdiff | raw
2014-06-25 Andrew ReynoldsMerge pull request #34 from mdeters/datatypes-kinds blob | commitdiff | raw
2014-06-25 Andrew ReynoldsMerge pull request #37 from mdeters/quants-kinds blob | commitdiff | raw
2014-06-25 Andrew ReynoldsMerge pull request #38 from mdeters/uf-kinds blob | commitdiff | raw
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' blob | commitdiff | raw
2014-06-22 lianahMerge pull request #35 from mdeters/bv-kinds blob | commitdiff | raw
2014-06-21 Morgan DetersSome minor cleanup and documentation. blob | commitdiff | raw
2014-06-19 lianahfixed merge conflict blob | commitdiff | raw | diff to current
2014-06-19 lianahupdate to abc install instructions blob | commitdiff | raw | diff to current
2014-06-19 Morgan DetersDocumentation clean-ups. blob | commitdiff | raw | diff to current
2014-06-19 Morgan DetersVersioning preparation. blob | commitdiff | raw | diff to current
2014-06-17 Tim KingMerge pull request #33 from mdeters/arith-proposal blob | commitdiff | raw | diff to current
2014-06-17 Morgan DetersDocumentation clean-ups. blob | commitdiff | raw | diff to current
2014-06-17 Morgan DetersVersioning preparation. blob | commitdiff | raw | diff to current
2014-05-19 Tim KingMore documentation fixes. Apologies for multiple commits. blob | commitdiff | raw | diff to current
2014-05-19 Tim KingFixing documentation for glpk configuration. blob | commitdiff | raw | diff to current
2014-05-05 Tim KingImproving documentation for glpk-cut-log switch. blob | commitdiff | raw | diff to current
2013-12-17 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Morgan Deterssome config changes: new --bsd option, readline gives... blob | commitdiff | raw | diff to current
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