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

Age	Commit message (Expand)	Author
2011-01-05	Commit for the theory engine and rewriter changes. Changes are substantial an...	Dejan Jovanović
2010-07-03	With this commit come a number of changes to build system to support	Morgan Deters
2010-06-30	* theory "tree" rewriting implemented and works	Morgan Deters
2010-06-15	fix last commit gcc options (-wunknown-pragmas ==> -Wno-unknown-pragmas)	Morgan Deters
2010-06-15	remove warnings about unknown #pragma GCC diagnostic on older compilers	Morgan Deters
2010-06-14	Started work on array theory	Clark Barrett
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