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

Age	Commit message (Expand)	Author
2010-01-30	Checking in small test fixes for node_black	Tim King
2010-01-29	fixed CNF conversion, and more modular; CNF conversion command line option; v...	Morgan Deters
2010-01-27	Added additional tests to node_black.h. CVC4 currently passes all but 1 test.	Tim King
2010-01-26	Undoing stupid commit mistake. Rolling back to -r 102 for test/unit/expr/nod...	Tim King
2010-01-26	Added test/regress/boolean.cvc	Tim King
2009-12-17	update-copyright.pl now retrieves and incorporates author information from re...	Morgan Deters
2009-12-17	testing infrastructure fixes	Morgan Deters
2009-12-16	Fixes to the build system:	Morgan Deters
2009-12-10	killing expr into node...	Dejan Jovanović
2009-12-07	big check-in of various fixes and adjustments	Morgan Deters
2009-11-20	fixes to build/test system	Morgan Deters