summaryrefslogtreecommitdiff
path: root/test/regress/regress0/expect
AgeCommit message (Expand)Author
2020-04-20Make option names related to CEGQI consistent (#4316)Andrew Reynolds
2020-03-21Convert V1 Sygus files to V2. (#4136)Abdalrhman Mohamed
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
2019-09-04Remove duplicate regression tests. (#3227)Mathias Preiner
2019-06-12Refactor parser to define fewer tokens for symbols (#2936)Andres Noetzli
2018-09-22cmake: Added regression tests and target make regress.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-08-20Remove support for *.expect files in regressions (#2341)Andres Noetzli
2018-05-25Reenable repair const (#1983)Andrew Reynolds
2018-05-22Repair constants using symbolic constructors (#1960)Andrew Reynolds
2018-04-05 Python regression script (#1662)Andres Noetzli
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2017-11-03Sygus clean main (#1297)Andrew Reynolds
2017-08-14Build and test suite fixes for Windows (#186)Mark Laws
2017-07-05Fix for logic info, update regressions. Update casc tfa script.ajreynol
2017-07-05Non-linear supported in ALL logics. Minor fixes for set logic with sygus.ajreynol
2017-04-02Adding a model based axiom instantiation scheme for multiplication. Merge com...Tim King
2017-01-10Adding regression test scrubbing.Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback