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

Age	Commit message (Expand)	Author
2010-06-30	Support for failing .smt and .smt2 regressions (and other examples with	Morgan Deters
2010-05-27	added the ability to add custom expected stdout, stderr, and exit codes to sm...	Morgan Deters
2010-05-03	main driver supports .smt2 input, added an smt2 regression (currently broken,...	Morgan Deters
2010-04-04	* Addressed issues brought up in Chris's review of Morgan's	Morgan Deters
2010-04-04	* Node::isAtomic() now looks at an "atomic" attribute of arguments	Morgan Deters
2010-02-09	Changes to the CNF conversion and the SAT solver. All regression pass now, an...	Dejan Jovanović
2010-02-04	fix run_regression script	Morgan Deters
2010-02-04	test infrastructure updated for multiple-level regressions	Morgan Deters