summaryrefslogtreecommitdiff
path: root/src/theory/sets
AgeCommit message (Expand)Author
2016-09-14Lemma cache in theory sep. Minor optimization for sets. Minor improvements to...ajreynol
2016-08-31Cleaning up the dead FORIT macros.Tim King
2016-08-31Removing the usage of typeof from theory_sets_private.Tim King
2016-08-31Removing BOOST_FOREACH from theory/sets/scrutinize.h.Tim King
2016-08-31Removing typeof from sets normal form and beautifying the file.Tim King
2016-04-09cardinality operation for finite sets (based on my thesis / ijcar16 paper)Kshitij Bansal
2016-04-03Updating the copyright headers and scripts.Tim King
2016-01-28Adding listeners to Options.Tim King
2016-01-15Type enumerators take optional argument indicating fixed cardinalities of uni...ajreynol
2016-01-08Removing StatisticsRegistry's static functions current() and registerStat().Tim King
2016-01-05Add SmtGlobals ClassTim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-09-21Fix for sets segfault (reported by Ravi Kandhadai)Kshitij Bansal
2015-07-08fix bug 650Kshitij Bansal
2015-03-25change const are triggers from false to true in equality enginesKshitij Bansal
2014-12-26Adding an option to the equality engine constructor to treat all constants asDejan Jovanovic
2014-11-18Set Constant's normal form and other short fixesKshitij Bansal
2014-11-17New, uniform checkTime statistic for all theories (as discussed in meeting).Morgan Deters
2014-11-09Update TheorySets to use CDHashSet<>::key_begin() / key_end().Morgan Deters
2014-10-19Finish sets type enumerator implementation.Kshitij Bansal
2014-10-10Merge remote-tracking branch 'origin/1.4.x'Kshitij Bansal
2014-10-10Fix issue with shared but non-preregistered term setup. Thanks Alvise Rabitti...Kshitij Bansal
2014-10-07Fix portoflio issues (debugging code was being called even when tag was off)Kshitij Bansal
2014-10-07update default Sets optionsKshitij Bansal
2014-10-07whitespace fixesKshitij Bansal
2014-10-07add couple of statsKshitij Bansal
2014-10-07sets stronger equality propagatorKshitij Bansal
2014-10-06Merge branch '1.4.x'Morgan Deters
2014-10-06fix for bug586Kshitij Bansal
2014-10-02fix getModelValue(<non-preregistered term>)Kshitij Bansal
2014-09-03check() optimizationKshitij Bansal
2014-08-24remove some debugging codeKshitij Bansal
2014-08-24improvements to sets sharingKshitij Bansal
2014-07-03change lemma generation behaviorKshitij Bansal
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback