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

Age	Commit message (Expand)	Author
2013-09-18	Support a personal build configuration and make rules.	Morgan Deters
2013-01-28	some fixes for win32, including ability to "make check" win32 builds via wine	Morgan Deters
2012-08-28	fix regression tests for automake 1.11 and automake 1.12---both versions shou...	Morgan Deters
2012-04-05	Support to test the "dumper" mechanism in regressions (feeding dump output ba...	Morgan Deters
2012-02-20	portfolio merge	Morgan Deters
2011-10-29	support for proof regressions in other parts of the test tree	Morgan Deters
2011-03-26	fix typo	Morgan Deters
2011-03-25	This is a merge from the "theoryfixes+cdattrhash" branch. The changes	Morgan Deters
2010-11-09	Lemmas on demand work, push-pop, some cleanup.	Dejan Jovanović