summaryrefslogtreecommitdiff
path: root/src/theory/sets
AgeCommit message (Expand)Author
2020-04-15Always flush lemmas from downwards closure in sets (#4297)Andrew Reynolds
2020-04-08Added CHOOSE operator for sets (#4211)mudathirmahgoub
2020-04-08Perform theory widening eagerly (#4044)Andres Noetzli
2020-04-03Update theory rewriter ownership, add stats to strings (#4202)Andres Noetzli
2020-04-01Initialize theory rewriters in theories (#4197)Andres Noetzli
2020-03-06Minor refactor for theory of sets (#3924)Andrew Reynolds
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2020-03-03Refactoring and cleaning the type enumerator for sets (#3908)mudathirmahgoub
2020-03-02Fix `TheorySetsPrive::eqNotifyPostMerge()` (#3901)Andres Noetzli
2020-03-02Fix variable shadowing bug in sets. (#3898)Mathias Preiner
2020-02-26Initial work towards -Wshadow (#3817)Andrew Reynolds
2020-02-07Univeset Cardinality constraints for infinite types (#3712)mudathirmahgoub
2020-02-03Fix cardinality of uninterpreted types when univset is not used (#3663)mudathirmahgoub
2020-01-07Universe set cardinality for finite types with finite cardinality (#3392)mudathirmahgoub
2019-12-13Add support for set comprehension (#3312)Andrew Reynolds
2019-12-12Use the node-level datatypes API (#3556)Andrew Reynolds
2019-12-09Make theory rewriters non-static (#3547)Andres Noetzli
2019-11-09Fixes in relations related to datatypes not passed by reference (#3449)Andrew Reynolds
2019-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
2019-10-22Refactoring skolems for sets (#3381)Andrew Reynolds
2019-10-08prefer prefix ++ operator for iteratorsPiotr Trojanek
2019-09-16Initialize fields in sets inference manager (#3289)Andrew Reynolds
2019-09-13Split, refactor and document the theory of sets (#3085)Andrew Reynolds
2019-08-28Removing comments related to issues (#3232)Andrew Reynolds
2019-07-08Towards refactoring relations (#3078)Andrew Reynolds
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-04-01Modify strategy in sets+cardinality (#2909)Andrew Reynolds
2019-03-29Apply empty splits more aggressively in sets+cardinality (#2907)Andrew Reynolds
2019-03-26Update copyright headers.Aina Niemetz
2018-12-14 Fix extended rewriter for binary associative operators. (#2751)Andrew Reynolds
2018-12-03 Skip non-cardinality types in sets min card inference (#2734)Andrew Reynolds
2018-11-27Make (T)NodeTrie a general utility (#2489)Andrew Reynolds
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-10-03Fix stale op list in sets (#2572)Andrew Reynolds
2018-09-22cmake: Remove unused CMakeLists.txtMathias Preiner
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-08-24 Fix more simple coverity warnings (#2372)Andrew Reynolds
2018-08-22Wrapping TheorySetsPrivate in a unique_ptr. (#2356)Tim King
2018-08-22Fix invalid iterator comparisons (#2349)Andrew Reynolds
2018-08-17Remove miscellaneous unused code (#2333)Andrew Reynolds
2018-08-16Move node algorithms to separate file (#2311)Andres Noetzli
2018-07-25Removing support for CDHashMap::iterator's postfix increment. (#2208)Tim King
2018-07-24Improvements to sets + cardinality + quantifiers (#2200)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-03Sets subtypes (#1095)Andrew Reynolds
2018-03-06Make statistics output consistent. (#1647)Mathias Preiner
2018-03-05Enable -Wsuggest-override by default. (#1643)Mathias Preiner
2018-02-06Resolving warnings from -Winconsistent-missing-override on clang. (#1563)Tim King
2018-01-10Removing throw specifiers for TypeRules. (#1501)Tim King
2018-01-10Removing throw specifiers from type enumerators. (#1502)Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback