| Age | Commit message (Expand) | Author |
|---|
| 2018-04-05 | Python regression script (#1662) | Andres Noetzli |
| 2018-03-21 | Fix various regression tests (#1657) | Andres Noetzli |
| 2018-03-09 | Skip (get-unsat-assumptions) tests not supported (#1656) | Andres Noetzli |
| 2018-02-02 | Option to check solutions produced by SyGuS solver (#1553) | Haniel Barbosa |
| 2017-09-19 | Fix issue #1074, improve non-fatal error handling (#1075) | Andres Noetzli |
| 2017-08-14 | Build and test suite fixes for Windows (#186) | Mark Laws |
| 2017-08-07 | Optionally split regression tests into test groups (#207) | Andres Noetzli |
| 2017-03-16 | Parsing support for SMT LIB 2.6. Minor fixes for printing datatypes. Fix for ... | ajreynol |
| 2017-01-10 | Adding regression test scrubbing. | Tim King |
| 2016-01-26 | Merged bit-vector and uf proof branch. | Liana Hadarean |
| 2015-10-11 | fix regression tests, support fallback mode for proofs | Kshitij Bansal |
| 2015-04-23 | Added option for --check-unsat-cores and various core bug fixes (merge of Mor... | Liana Hadarean |
| 2015-01-14 | sygus input language and benchmark | Morgan Deters |
| 2014-11-09 | Merge branch '1.4.x' | Morgan Deters |
| 2014-11-09 | Increase stack size when running regressions (fixes some regression crashes o... | Morgan Deters |
| 2014-07-21 | run_regression using valgrind by setting VALGRIND=1 | Kshitij Bansal |
| 2014-04-28 | travis, please! | Kshitij Bansal |
| 2014-03-07 | Fix run_regression on Mac. | Morgan Deters |
| 2014-03-05 | Array smtlib compliance tests | Kshitij Bansal |
| 2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
| 2013-12-13 | Fix stack size on in-tree regressions. | Morgan Deters |
| 2013-12-13 | Some minor cleanup. | Morgan Deters |
| 2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 suc... | Morgan Deters |
| 2013-11-05 | fixed proof regression script and added a new uf test case | lianah |
| 2013-09-13 | Move some regress benchmarks around that took too long, other test cleanup. | Morgan Deters |
| 2013-07-24 | Regressions now checking models on unknown too. But quantifiers don't have t... | Morgan Deters |
| 2013-07-11 | Support for TPTP's TFF0 (with arithmetic) | Morgan Deters |
| 2013-04-30 | add decision_attributes.h for make dist | Kshitij Bansal |
| 2013-01-28 | some fixes for win32, including ability to "make check" win32 builds via wine | Morgan Deters |
| 2012-11-27 | First chunk of boolean-terms support. | Morgan Deters |
| 2012-11-10 | Change run-regression script to *additionally* run a second test with --check... | Morgan Deters |
| 2012-09-27 | * Rename SMT parts (printer, parser) to SMT1 | Morgan Deters |
| 2012-06-22 | TPTP: add parser for cnf and fof | François Bobot |
| 2012-04-06 | * Smt2 printer for datatypes | François Bobot |
| 2012-04-05 | Support to test the "dumper" mechanism in regressions (feeding dump output ba... | Morgan Deters |
| 2012-03-01 | Partial merge from kind-backend branch, including Minisat and CNF work to | Morgan Deters |
| 2011-10-29 | Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF command, SmtEngine::g... | Morgan Deters |
| 2011-10-28 | proof regressions | Morgan Deters |
| 2011-05-13 | * fix for Mac OS (includes some ThreadLocal stuff copied in from portfolio | Morgan Deters |
| 2011-04-23 | * reviewed BooleanSimplification, added documentation & unit test | Morgan Deters |
| 2011-04-23 | make run_regression script robust to DOS newlines :( | Morgan Deters |
| 2011-03-30 | improve recent low-coverage complaints | Morgan Deters |
| 2011-03-15 | small fixes for run_regression script to workaround bug in old mktemp, was ca... | Morgan Deters |
| 2011-03-14 | change to the run_regression script to better manage temporary files; hopeful... | Morgan Deters |
| 2010-11-16 | SmtEngine now fails with a ModalException if --incremental is not enabled | Morgan Deters |
| 2010-10-10 | additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp... | Morgan Deters |
| 2010-10-04 | fix gdb issues (at least for static builds); resolves bug 194 | Morgan Deters |
| 2010-08-20 | turn off extra-checking (which does extra theory-rewriter checking); it was e... | Morgan Deters |
| 2010-08-19 | UF theory bug fixes, code cleanup, and extra debugging output. | Morgan Deters |
| 2010-07-04 | don't do extra-checking for all regressions; that's probably a bad default | Morgan Deters |
