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

Age	Commit message (Expand)	Author
2011-06-18	Some fixes inspired by Fedora 15:	Morgan Deters
2011-03-15	Merge from cudd branch. This mostly just adds support for linking	Morgan Deters
2010-10-20	fix bug #220 (assertion fails if no query/check-sat); add bug220.smt2 and bug...	Morgan Deters
2010-09-13	build system consistency in target names for unit test targets	Morgan Deters
2010-02-04	build system for multi-level regressions	Morgan Deters
2010-02-04	test infrastructure updated for multiple-level regressions	Morgan Deters
2010-01-27	support "make check" in src/ subdirs for unit-testing of just that module; al...	Morgan Deters
2009-12-17	update-copyright.pl now retrieves and incorporates author information from re...	Morgan Deters
2009-12-17	coding standard fix on SmtEngine; fix recursive make	Morgan Deters
2009-12-17	build system cleanup; test system separation into white-box, black-box, and p...	Morgan Deters
2009-12-16	Fixes to the build system:	Morgan Deters