summaryrefslogtreecommitdiff
path: root/test/regress/regress0/tptp
AgeCommit message (Expand)Author
2021-04-06Fix tptp parser for negative rational (#6297)Andrew Reynolds
2019-07-30Remove hard coded option for TPTP regressions in run_regression (#3128)Haniel Barbosa
2019-03-14Implement proper semantics for TPTP predicate is_rat. (#2861)Andrew Reynolds
2018-09-22cmake: Added regression tests and target make regress.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-07-13 sygusComp2018: optimization for collect model info (#2105)Andrew Reynolds
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2016-11-17Fix Makefiles in testAndres Notzli
2014-04-10Add support for cardinality constraints logic UFC. Add regressions in fmf/. ...Andrew Reynolds
2014-03-12Some standardization of regression Makefiles that got out of sync. Fixes cas...Morgan Deters
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-09-18Support a personal build configuration and make rules.Morgan Deters
2013-07-11Support for TPTP's TFF0 (with arithmetic)Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback