Age | Commit message (Expand) | Author |
---|---|---|
2018-08-17 | Fix spurious warning in sort inference (#2331) | Andrew Reynolds |
2018-08-15 | Make sort inference a preprocessing pass (#2309) | Andrew Reynolds |
2018-07-24 | Improvements to sets + cardinality + quantifiers (#2200) | Andrew Reynolds |
2018-06-02 | Fix preinitialization pass for finite model finding (#2047) | Andrew Reynolds |
2018-04-05 | Python regression script (#1662) | Andres Noetzli |
2018-03-23 | Add a few quantifiers regressions to improve coverage (#1702) | Andrew Reynolds |
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-03-24 | Add some regressions. Minor. | ajreynol |
2016-10-21 | Fix/add missing makefiles. | ajreynol |
2016-10-21 | Move slow regress0 benchmarks to regress1, increment regress1 through regress3. | ajreynol |