summaryrefslogtreecommitdiff
path: root/src/theory/sets
AgeCommit message (Expand)Author
2014-07-01Update copyrights.Morgan Deters
2014-06-29sets: "insert" operatorKshitij Bansal
2014-06-25fix sets eager lemmasKshitij Bansal
2014-06-25mv default care graph function inside the theory implementationKshitij Bansal
2014-06-22Renaming of SMT2 operator names, kinds for set theoryKshitij Bansal
2014-06-21Sets kinds documentationMorgan Deters
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-06-03Support E-matching/QCF for Set operators.ajreynol
2014-05-26Fix bug 567Kshitij Bansal
2014-05-16sets: fix a bug in model building, another in handling set of setsKshitij Bansal
2014-04-28nodemanager robust skolem numberingKshitij Bansal
2014-04-24optimizationKshitij Bansal
2014-04-17use internal skolem numberingKshitij Bansal
2014-04-09fixKshitij Bansal
2014-04-09prep for fixKshitij Bansal
2014-04-09try foreach on CD datastructureKshitij Bansal
2014-04-09moreKshitij Bansal
2014-04-09some debugging changesKshitij Bansal
2014-03-28add construles, type_rules rm redundant, kinds cleanupKshitij 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-20rewriter fix, weaken an assertionKshitij Bansal
2014-03-20constant normal form and rewriteKshitij Bansal
2014-03-20fix a sharing issues with setsKshitij Bansal
2014-03-20work on set modelKshitij Bansal
2014-02-28theory/sets: cleanupKshitij Bansal
2014-02-28rename kind::IN to kind::MEMBER (fixes some windows build conflicts)Kshitij Bansal
2014-02-21disable test cvc3_main, attempt to fix dist_checkKshitij Bansal
2014-02-21add new theory (sets)Kshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback