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

Age	Commit message (Collapse)	Author
2013-11-11	Change exit status to be more consistent with other command-line tools: 0 ↵	Morgan Deters
	success, nonzero error
2010-10-10	additional model gen and SMT-LIBv2 compliance work: (get-assignment) now ↵	Morgan Deters
	supported; work on Result type (biggest noticeable change is that CVC4 now outputs lowercase "sat" and "unsat"), Options class moved to src/smt, to allow for future work on runtime configuration via (set-option) command
2010-07-07	chris and i committed the same fix; reverting the (now duplicated) fix	Morgan Deters

2010-07-07	Disabling failing tests	Christopher L. Conway

2010-07-07	add exit status to regression that was failing	Morgan Deters

2010-07-07	Adding tests for precedence of arithmetic in CVC inputs	Christopher L. Conway