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

Age	Commit message (Expand)	Author
2011-03-26	fix typo	Morgan Deters
2011-03-25	This is a merge from the "theoryfixes+cdattrhash" branch. The changes	Morgan Deters
2010-10-13	Added test/regress/regress1/arith and populated it with some fast SMT LIB pro...	Tim King
2010-08-17	Merge from "cc" branch:	Morgan Deters
2010-07-06	add regressions from bug reports	Morgan Deters
2010-07-04	make dist && make distcheck functional, other fixes	Morgan Deters
2010-06-17	fix some minor annoyances in the regression test Makefiles; add some document...	Morgan Deters
2010-05-29	Adding a couple of example from fuzzsmt to regress1.	Tim King
2010-04-04	* Node::isAtomic() now looks at an "atomic" attribute of arguments	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