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 | |