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

Age	Commit message (Collapse)	Author
2012-12-06	Fix for fuzzer-found model bug	Clark Barrett
	(cherry picked from commit 25c6e1331d338c6ba8d60224711343986e11cf79)
2012-11-26	Removing DioSolver::acceptableOriginalNodes(). This assertion was too ↵	Tim King
	strong, and was broken by r4620. This commit resolves bug463. Adding a previously triggering test case.
2012-11-25	Adding a regression test from bug 462.	Tim King

2012-11-19	Adding hand minimized test for bug 450.	Tim King

2012-11-15	More fixes to model generation, with previously failing testcases	Clark Barrett
	Also refactored some header file includes to reduce compile time
2012-11-14	bug fixes to models, array rewriter with previously failing testcases	Clark Barrett

2012-08-28	fix regression tests for automake 1.11 and automake 1.12---both versions ↵	Morgan Deters
	should work now
2012-06-12	bufixes and the bugs	Dejan Jovanović
	* array now only propagates thropugh the equality engine * assertions in the equality rewriting to ensure eq -> { eq, T, F }
2012-06-06	Changes to the combination mechanism, lots of details. Not done yet, there ↵	Dejan Jovanović
	are still the AUFBV wrong results, but it seems better. http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=4382&reference_id=4359&p=5
2012-05-15	test cases	Dejan Jovanović