projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Some fixes for tear-down-incremental and "success" output.
[cvc5.git] / README
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-03 Morgan DetersSome final minor changes before cutting 1.1. blob | commitdiff | raw | diff to current
2012-11-30 Morgan Detersincorporating some comments from Clark blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... 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-03 Morgan Detersnew README and INSTALL files blob | commitdiff | raw | diff to current
2012-09-22 Morgan DetersSeparate public-facing and internal-facing interfaces... blob | commitdiff | raw | diff to current
2012-08-29 Morgan Deters* Numerous documentation fixes (fix doxygen warnings... blob | commitdiff | raw | diff to current
2012-02-21 Morgan Detersdon't require libboost_thread (its presence is detected... blob | commitdiff | raw | diff to current
2012-02-20 Morgan Detersportfolio merge blob | commitdiff | raw | diff to current
2012-02-16 Morgan Detersclarify wording in README, thanks for finding this... blob | commitdiff | raw | diff to current
2011-10-21 Morgan Detersadd gcc version information to Configuration, and warn... blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw | diff to current
2011-05-02 Morgan Detersfix for configure blob | commitdiff | raw | diff to current
2011-03-15 Morgan DetersMerge from cudd branch. This mostly just adds support... blob | commitdiff | raw | diff to current
2010-11-18 Morgan Deterssmall changes to documentation; also, '\''make doc... blob | commitdiff | raw | diff to current
2010-10-29 Morgan Detersportability updates to build system blob | commitdiff | raw | diff to current
2010-10-27 Christopher L. ConwayChanging dependency info in README blob | commitdiff | raw | diff to current
2010-10-26 Christopher L. ConwayAdding dependency info to README blob | commitdiff | raw | diff to current
2009-11-24 Christopher L. ConwayPartial parser for booleans blob | commitdiff | raw | diff to current
2009-11-03 Morgan Deterscommit of project structure including autotools support blob | commitdiff | raw | diff to current