summaryrefslogtreecommitdiff
path: root/test/regress/regress2/arith
AgeCommit message (Expand)Author
2020-08-19[Regressions] Do not test `--check-proofs` anymore (#4914)Andres Noetzli
2020-05-01Move slow regression to regress3 (#4430)Andrew Reynolds
2020-04-18Disable unsat cores on nec regression (#4330)Andrew Reynolds
2020-03-31Rename checkValid/query to checkEntailed. (#4191)Aina Niemetz
2020-03-12Add options for nec regression (#4056)Andrew Reynolds
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
2019-09-04Remove duplicate regression tests. (#3227)Mathias Preiner
2019-06-04Enable proof checking for QF_LRA benchmarks (#2928)Andres Noetzli
2018-11-20Fix real2int regression. (#2716)Andrew Reynolds
2018-09-22cmake: Added regression tests and target make regress.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-03-21Refactor mkoptions (#1631)Mathias Preiner
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2016-10-21Fix/add missing makefiles.ajreynol
2016-10-21Move slow regress0 benchmarks to regress1, increment regress1 through regress3.ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback