summaryrefslogtreecommitdiff
path: root/test/regress/regress1/fmf
AgeCommit message (Expand)Author
2020-01-04Fix finiteness check for bounded fmf (#3589)Andrew Reynolds
2019-09-18Decouple fmf-bound and finite-model-find (#3297)Andrew Reynolds
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
2018-12-11Remove alternate versions of mbqi (#2742)Andrew Reynolds
2018-09-22cmake: Added regression tests and target make regress.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-08-28 Fix for get constraints method in fmf-fun (#2399)Andrew Reynolds
2018-08-17 Fix spurious warning in sort inference (#2331)Andrew Reynolds
2018-08-15Make sort inference a preprocessing pass (#2309)Andrew Reynolds
2018-07-24Improvements to sets + cardinality + quantifiers (#2200)Andrew Reynolds
2018-06-02Fix preinitialization pass for finite model finding (#2047)Andrew Reynolds
2018-04-05 Python regression script (#1662)Andres Noetzli
2018-03-23Add 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-15Refactor regressions (#1581)Andrew Reynolds
2017-08-04Set default language to smt lib 2.6 (including as a base language for sygus),...ajreynol
2017-03-24Add some regressions. Minor.ajreynol
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