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

Age	Commit message (Collapse)	Author
2013-05-08	Cutting release 1.2.1.2	Morgan Deters

2013-04-03	Some final minor changes before cutting 1.1.	Morgan Deters
	* update documentation * update the cut-release script * spelling/wording updates * add a (previously-failing) fuzzer regression
2012-11-30	Fix assertion in smt_engine's getValue	Clark Barrett
	Minor changes to RELASE-NOTES
2012-11-28	minor	Kshitij Bansal

2012-11-28	update to release notes	Morgan Deters

2012-10-11	compliance note	Morgan Deters

2012-10-02	* re-enable some Z3 extended commands:	Morgan Deters
	declare-const declare-funs declare-preds define simplify * don't output --help on bad options, just invite user to try --help * Datatypes from SMT2 parser now name the tester is-cons (e.g.) * unknown results produce models, --check-model doesn't fail hard for incorrect unknown models. removed the assert that kept arithmetic from producing models if it saw nonlinear (this commit was certified error- and warning-free by the test-and-commit script.)
2012-09-30	release notes	Morgan Deters

2012-09-29	Fix a few segfaults in driver.	Morgan Deters
	(this commit was certified error- and warning-free by the test-and-commit script.)
2012-09-29	draft RELEASE-NOTES file, and minor release stuff	Morgan Deters