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

Age	Commit message (Expand)	Author
2018-02-15	Refactor regressions (#1581)	Andrew Reynolds
2013-12-23	Proof-checking code; fixups of segfaults and missing functionality in proof g...	Morgan Deters
2013-11-11	Change exit status to be more consistent with other command-line tools: 0 suc...	Morgan Deters
2011-10-29	Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF command, SmtEngine::g...	Morgan Deters
2011-10-28	proof regressions	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