Age | Commit message (Expand) | Author |
---|---|---|
2019-09-06 | Remove SMT1 parser. (#3228) | Mathias Preiner |
2019-08-04 | Fix regression script for incremental SMT-LIB v2 benchmarks. (#3155) | Mathias Preiner |
2010-02-04 | assign expected-status to regressions | Morgan Deters |
2010-02-04 | Moved regressions into various levels based on running time. | Tim King |