summaryrefslogtreecommitdiff
path: root/test/regress/regress0/sets/Makefile.am
AgeCommit message (Expand)Author
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2017-09-10Ensure that expand definitions is called on all non-variable expressi… (#1070)Andrew Reynolds
2017-04-23Changing spaces to tabs in Makefile.Tim King
2017-04-21Handle subtypes in sets. Bug fixes for tuples with subtypes.ajreynol
2017-04-19Fixes for handling set universe: restrict upwards rule for universe to member...ajreynol
2017-04-14Actively split for upwards closusure intersection. Minor clean up, add regres...ajreynol
2017-03-20fixed cvc4 parser for set complementPaul Meng
2017-03-07More fixes for printing/parsing sets, fix kind name.ajreynol
2017-03-07Fix cvc parser for set compliment.ajreynol
2017-03-06Support for set compliment and universe set. Simplify approach for sep.nil no...ajreynol
2017-03-03Fix for collectModelInfo related to finite types + preregistration. Generaliz...ajreynol
2017-03-03Another minor fix for sets related to sharing + finite element types.ajreynol
2017-03-02Fixes related to sets.ajreynol
2016-12-08Enable remaining cardinality benchmarksajreynol
2016-12-07Add sets regression, fixes bug 754. Minor fix to regexp in strings.ajreynol
2016-12-07Added cardinality to cvc language, fixes bug 753. Throw logic exception when ...ajreynol
2016-11-17Fix Makefiles in testAndres Notzli
2016-10-21Move slow regress0 benchmarks to regress1, increment regress1 through regress3.ajreynol
2016-10-13Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git"Tim King
2016-10-11Merge branch 'origin' of https://github.com/CVC4/CVC4.gitPaul Meng
2016-09-28Fix the merge of kbansal/card branch (2039eab).Kshitij Bansal
2016-08-24Merge remote-tracking branch 'origin/master'PaulMeng
2016-08-12Add a few more regressions.ajreynol
2016-08-12Minor fixes to model construction to take singleton equivalence classes into ...ajreynol
2016-02-17added rules for join and transpose operatorsPaulMeng
2016-02-15extended smt parser for the finite relationsPaulMeng
2014-07-09sets cvc parserKshitij Bansal
2014-06-29sets: "insert" operatorKshitij Bansal
2014-06-11disable another test, after recent merges taking too longKshitij Bansal
2014-06-11sets: comment out an assertion too strongKshitij Bansal
2014-06-11user/sat context issue in setsKshitij Bansal
2014-06-11fix in sets rewriterKshitij Bansal
2014-06-06sets: fix equality propagationKshitij Bansal
2014-05-16sets: fix a bug in model building, another in handling set of setsKshitij Bansal
2014-04-09add testsKshitij Bansal
2014-03-20Merge pull request #22 from kbansal/sets-modelKshitij Bansal
2014-03-20fix for sets/mar2014/..317minimized..Kshitij Bansal
2014-03-12Some standardization of regression Makefiles that got out of sync. Fixes cas...Morgan Deters
2014-02-21add new theory (sets)Kshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback