summaryrefslogtreecommitdiff
path: root/test/regress/regress0/sets
AgeCommit message (Expand)Author
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-09-13refactored the code, added more benchmarks and minor fixesPaul Meng
2016-09-12fixed capitalized "kind"Paul Meng
2016-08-30added more benchmarksPaul Meng
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-04-20update from the masterPaulMeng
2016-04-12added more benchmarksPaulMeng
2016-04-09cardinality operation for finite sets (based on my thesis / ijcar16 paper)Kshitij Bansal
2016-03-10fixed the transpose-occur rulePaulMeng
2016-03-08make skolems and tuple reduction terms as shared termsPaulMeng
2016-03-04refactored the codePaulMeng
2016-02-29Added more benchmarksPaulMeng
2016-02-28implemented a basic solving procedure for finite relations (only forPaulMeng
2016-02-17added rules for join and transpose operatorsPaulMeng
2016-02-15extended smt parser for the finite relationsPaulMeng
2014-07-10membership cvc token changed to `IS_IN' to avoid conflict with IN used for letKshitij Bansal
2014-07-09sets cvc parserKshitij Bansal
2014-07-09sets cvc printerKshitij Bansal
2014-06-30Use FS as the set-logic string for theory of setsKshitij Bansal
2014-06-29sets: "insert" operatorKshitij Bansal
2014-06-25rename subseteq to subset in smtlib, all kinds and smt operator names are now...Kshitij Bansal
2014-06-22Renaming of SMT2 operator names, kinds for set theoryKshitij 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-25Improve quantifier instantiation: always use original terms when matching (wa...Andrew Reynolds
2014-05-16sets: fix a bug in model building, another in handling set of setsKshitij Bansal
2014-04-09add testsKshitij Bansal
2014-04-09inputs to trigger bugKshitij Bansal
2014-03-28add construles, type_rules rm redundant, kinds cleanupKshitij Bansal
2014-03-20Merge pull request #22 from kbansal/sets-modelKshitij Bansal
2014-03-20cleanupKshitij Bansal
2014-03-20fix for sets/mar2014/..317minimized..Kshitij Bansal
2014-03-20Fix for registration issues of term appearing in a shared lemmaKshitij Bansal
2014-03-20fix a sharing issues with setsKshitij Bansal
2014-03-20enable check-models for sets/ regressionsKshitij Bansal
2014-03-20testlemma regressionsKshitij 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