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-08-19	UF theory bug fixes, code cleanup, and extra debugging output.	Morgan Deters
2010-07-03	With this commit come a number of changes to build system to support	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-05-04	Type-checking classes and hooks (not tested yet).	Dejan Jovanović
2010-04-04	* Node::isAtomic() now looks at an "atomic" attribute of arguments	Morgan Deters
2010-02-25	* src/expr/node.h: add a copy constructor. Apparently GCC doesn't	Morgan Deters