| Age | Commit message (Expand) | Author |
|---|
| 2018-09-22 | cmake: Added regression tests and target make regress. | Aina Niemetz |
| 2018-09-22 | cmake: Added initial build infrastructure. | Aina Niemetz |
| 2018-08-27 | Make division chainable in the smt2 parser (#2367) | Andrew Reynolds |
| 2018-08-20 | Remove support for *.expect files in regressions (#2341) | Andres Noetzli |
| 2018-08-16 | Refactor apply2const (#2316) | Haniel Barbosa |
| 2018-05-22 | Set same options for proofs as for unsat cores (#1957) | Andres Noetzli |
| 2018-03-21 | Refactor mkoptions (#1631) | Mathias Preiner |
| 2018-03-21 | Move regression tests to single Makefile.am (#1658) | Andres Noetzli |
| 2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |
| 2017-08-04 | Set default language to smt lib 2.6 (including as a base language for sygus),... | ajreynol |
| 2017-06-28 | Enable non-linear solve by default, update regressions. | ajreynol |
| 2017-06-21 | Properly handle subtypes in smt2 printer. | ajreynol |
| 2017-06-02 | Fix regression. | ajreynol |
| 2017-06-02 | Incorporate datatypes into smt comp script, add regression. | ajreynol |
| 2017-04-05 | Fix several spelling errors | Fabian Wolff |
| 2017-04-02 | Adding a model based axiom instantiation scheme for multiplication. Merge com... | Tim King |
| 2017-01-10 | Adding regression test scrubbing. | Tim King |
| 2016-11-17 | Fix Makefiles in test | Andres Notzli |
| 2015-04-23 | Added option for --check-unsat-cores and various core bug fixes (merge of Mor... | Liana Hadarean |
| 2014-06-06 | Patch for the subtype theoryof mode to make the equalities over disequal type... | Tim King |
| 2014-03-05 | Improving support for POW in arithmetic. Resolves bug 549. | Tim King |
| 2014-02-19 | Merge branch '1.3.x' | Tim King |
| 2014-02-19 | Stopping non-linear terms from entering the dio solver. Fixes bug 547. | Tim King |
| 2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
| 2013-12-09 | mv prp to regress1 | Kshitij Bansal |
| 2013-12-07 | fix bug 542 | Kshitij Bansal |
| 2013-12-04 | Remove a regression for which the portfolio takes forever (see bug 542). | Morgan Deters |
| 2013-11-25 | Substantial Changes: | Tim King |
| 2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 suc... | Morgan Deters |
| 2013-09-18 | Support a personal build configuration and make rules. | Morgan Deters |
| 2013-09-13 | Move some regress benchmarks around that took too long, other test cleanup. | Morgan Deters |
| 2013-06-24 | Support for abs, to_int, is_int, divisible in SMT-LIB; also --rewrite-divk al... | Morgan Deters |
| 2013-05-09 | Changing the integer normal form to increase matching. | Tim King |
| 2013-04-26 | FCSimplex branch merge | Tim King |
| 2013-03-19 | Fixes for miplib-trick application (and a new testcase) | Morgan Deters |
| 2013-02-05 | Fix to miplib trick to make it less "cautious" and apply in more cases | Morgan Deters |
| 2013-02-03 | Some cleanup of miplib regressions and options | Morgan Deters |
| 2013-02-03 | new miplib pass, works for 1 or 2 vars | Morgan Deters |
| 2013-01-28 | some fixes for win32, including ability to "make check" win32 builds via wine | Morgan Deters |
| 2012-11-12 | Improved error reporting for improperly using non-linear division in linear a... | Tim King |
| 2012-11-12 | Delta is now generated in arithmetic to keep consistent the total order of De... | Tim King |
| 2012-11-09 | Arithmetic problem that fails --check-models due incompleteness with multipli... | Tim King |
| 2012-11-08 | Turns on TheoryUF when non-linear arithmetic is turned on. Adds test cases fo... | Tim King |
| 2012-11-07 | * Type ascription bug fixed (resolves bug 432), but there are others I discov... | Morgan Deters |
| 2012-11-07 | Fix to a bug in integer mod lemmas. | Tim King |
| 2012-08-28 | fix regression tests for automake 1.11 and automake 1.12---both versions shou... | Morgan Deters |
| 2012-06-14 | Fixed arithmetic consistency issue. The simplex conflict variable had to be ... | Tim King |
| 2012-06-12 | Adding incorrect qf_lia result. | Tim King |
| 2012-06-08 | Merge from decision branch (till r3663) | Kshitij Bansal |
| 2012-05-07 | Fixes a sign bug in the DioSolver. | Tim King |
