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

Age	Commit message (Collapse)	Author
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-12	test cases for the	Dejan Jovanović
	d_disequalityReasonsMap.find(pair) != d_disequalityReasonsMap.end() assertion fail
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-16	testcase for bug 337	Dejan Jovanović

2012-05-15	test cases	Dejan Jovanović