summaryrefslogtreecommitdiff
path: root/src/theory/sets/theory_sets_private.cpp
AgeCommit message (Expand)Author
2020-09-02(new theory) Update TheorySets to the new interface (#4951)Andrew Reynolds
2020-08-31Simplify interface for computing relevant terms. (#4966)Andrew Reynolds
2020-08-21Remove spurious theory methods calls (#4931)Andrew Reynolds
2020-08-19Simplify trigger notifications in equality engine (#4921)Andrew Reynolds
2020-08-19Make sets and strings solver states inherit from TheoryState (#4918)Andrew Reynolds
2020-08-14Simplify equality engine notifications (#4896)Andrew Reynolds
2020-08-11Prepare theory of sets for dynamic allocation of equality engine (#4868)Andrew Reynolds
2020-07-14Use TypeNode in EmptySet (#4740)Andres Noetzli
2020-07-10(proof-new) Update Theory interface for proof-new (#4648)Andrew Reynolds
2020-06-16Update copyright headers.Aina Niemetz
2020-05-23remove unused field d_emp_exp in TheorySetsPrivate (#4521)mudathirmahgoub
2020-05-19Do not eliminate variables that are equal to unevaluatable terms (#4267)Andrew Reynolds
2020-05-19Renamed operator CHOICE to WITNESS (#4207)mudathirmahgoub
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-03-06Minor refactor for theory of sets (#3924)Andrew Reynolds
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2020-03-02Fix `TheorySetsPrive::eqNotifyPostMerge()` (#3901)Andres Noetzli
2020-02-26Initial work towards -Wshadow (#3817)Andrew Reynolds
2020-02-07Univeset Cardinality constraints for infinite types (#3712)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-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
2019-10-22Refactoring skolems for sets (#3381)Andrew Reynolds
2019-09-13Split, refactor and document the theory of sets (#3085)Andrew Reynolds
2019-07-08Towards refactoring relations (#3078)Andrew Reynolds
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-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-03Fix stale op list in sets (#2572)Andrew Reynolds
2018-08-24 Fix more simple coverity warnings (#2372)Andrew Reynolds
2018-08-22Fix invalid iterator comparisons (#2349)Andrew Reynolds
2018-08-16Move node algorithms to separate file (#2311)Andres Noetzli
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
2017-12-08Make collect model info return a Bool (#1421)Andrew Reynolds
2017-09-10Ensure that expand definitions is called on all non-variable expressi… (#1070)Andrew Reynolds
2017-07-14Removing BOOST_FOREACH usage.Tim King
2017-07-07Update copyright headers.Mathias Preiner
2017-05-15Fix condition in upwards closure check for setsAndres Noetzli
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-04-12Add nullary operator metakind.ajreynol
2017-04-04Simplify Theory::collectModelInfo interface to not take deprecated fullModel ...ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback