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

Age	Commit message (Expand)	Author
2013-11-11	Change exit status to be more consistent with other command-line tools: 0 suc...	Morgan Deters
2012-08-21	add some incremental in-tree regressions	Morgan Deters
2012-06-13	adding some regressions to the usual regressions runs; several recently-fixed...	Morgan Deters
2010-11-16	SmtEngine now fails with a ModalException if --incremental is not enabled	Morgan Deters
2010-10-10	additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp...	Morgan Deters
2010-04-04	* Node::isAtomic() now looks at an "atomic" attribute of arguments	Morgan Deters
2010-02-04	assign expected-status to regressions	Morgan Deters
2010-02-04	Moved regressions into various levels based on running time.	Tim King