summaryrefslogtreecommitdiff
path: root/test/regress/regress0/rels
AgeCommit message (Expand)Author
2019-03-28Fix issues in cvc parser (#2901)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-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2017-12-27Rel smt parser (#1446)Arjun Viswanathan
2017-09-10Ensure that expand definitions is called on all non-variable expressi… (#1070)Andrew Reynolds
2017-05-15Fix minor bug in sets rewriterAndres Noetzli
2017-04-21Fix new relations regressions to use sets-ext.ajreynol
2017-04-21Handle subtypes in sets. Bug fixes for tuples with subtypes.ajreynol
2017-04-20Support for relational operators identity and join imagePaul Meng
2017-04-14Actively split for upwards closusure intersection. Minor clean up, add regres...ajreynol
2017-04-04Do not solve for 0-ary non-constant symbols (for which isVar returns true), a...ajreynol
2017-03-28Refactor the standard effort of relational solverPaul Meng
2016-11-17Fix Makefiles in testAndres Notzli
2016-10-26New implementation of sets+cardinality. Merge Paul Meng's relation solver as...ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback