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
2012-08-21	add some incremental in-tree regressions	Morgan Deters

2012-06-13	adding some regressions to the usual regressions runs; several ↵	Morgan Deters
	recently-fixed incremental bugs are closed
2010-11-16	SmtEngine now fails with a ModalException if --incremental is not enabled	Morgan Deters
	but a push/pop or multiple query is attempted (previously it could give incorrect answers) Also, fix some multi-query and push-pop tests that had wrong answers, and support a new "% COMMAND-LINE: " gesture in regression tests so that a test can pass additional, specific command line flags it wants to run with (here, --incremental). Also fix mkbuilddir script for when it's called from contrib/switch-config.