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

Age	Commit message (Collapse)	Author
2014-06-19	Some reversions of recent commits re: portfolio failure.	Morgan Deters
	* Partial reversion of b8e28a7, do it a different way. * Revert "Test portfolio with --no-wait-to-join." This reverts commit 8b56004ee8bf6c34aaf045bec12bf0e4401a044c.
2014-06-19	Test portfolio with --no-wait-to-join.	Morgan Deters

2014-06-15	fix travis config	Morgan Deters

2014-04-10	refactor .travis.yml	Kshitij Bansal

2014-03-31	Travis-CI test for new-theory script, also related bugfixes.	Morgan Deters

2014-01-08	Merge branch '1.3.x'	Morgan Deters
	Conflicts: COPYING NEWS config/cvc4.m4
2014-01-08	Cache apt packages on Travis.	Morgan Deters

2013-12-23	Proof-checking code; fixups of segfaults and missing functionality in proof ↵	Morgan Deters
	generation; fix bug 285. * segfaults/assert-fails in proof-generation fixed, including bug 285 * added --check-proofs to automatically check proofs, like --check-models (but only for UF/SAT at present) * proof generation now works in portfolio (but not --check-proofs, since LFSC code uses globals) * proofs are not yet supported in incremental mode * added --dump-proofs to dump out proofs, like --dump-models * run_regression script now runs with --check-proofs where appropriate * options scripts now support :link-smt for SMT options, like :link for command-line
2013-12-16	First attempt at incorporating LFSC proof checker into CVC4.	Morgan Deters

2013-12-16	Send Travis-CI emails to everyone	Morgan Deters

2013-12-13	Fix to Travis-CI config.	Morgan Deters

2013-12-13	Travis-CI configuration.	Morgan Deters