cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Expand)	Author
2010-07-07	Shared term manager tested and working	Clark Barrett
2010-07-07	Added shared term manager. Basic mechanism for identifying shared terms is	Clark Barrett
2010-07-04	With "-d extra-checking", rewrites are now checked (after	Morgan Deters
2010-07-02	re-generated comment headers of source files	Morgan Deters
2010-06-30	* theory "tree" rewriting implemented and works	Morgan Deters
2010-06-14	Started work on array theory	Clark Barrett
2010-06-04	Don't fear the files-changed list, almost all changes are in the	Morgan Deters
2010-04-04	* Node::isAtomic() now looks at an "atomic" attribute of arguments	Morgan Deters
2010-02-26	* test/unit/context/context_black.h: Test CDList<>. In particular,	Morgan Deters