summaryrefslogtreecommitdiff
path: root/src/theory/sets/kinds
AgeCommit message (Expand)Author
2021-11-13Add operator set.map to theory of sets (#7641)mudathirmahgoub
2021-11-10sets: Rename set.intersection to set.inter. (#7622)Aina Niemetz
2021-11-08sets: Rename kinds with a more consistent naming scheme. (#7595)Aina Niemetz
2021-05-26 More precise includes of `Node` constants (#6617)Andres Noetzli
2021-04-15Rename occurrences of CVC4 to CVC5. (#6351)Aina Niemetz
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2020-10-04Remove subtyping for sets theory (#5179)mudathirmahgoub
2020-09-09Add is_singleton operator to the theory of sets (#5033)mudathirmahgoub
2020-08-21Remove spurious theory methods calls (#4931)Andrew Reynolds
2020-04-08Added CHOOSE operator for sets (#4211)mudathirmahgoub
2019-12-13Add support for set comprehension (#3312)Andrew Reynolds
2017-04-20Support for relational operators identity and join imagePaul Meng
2017-04-12Add nullary operator metakind.ajreynol
2017-03-07More fixes for printing/parsing sets, fix kind name.ajreynol
2017-03-06Support for set compliment and universe set. Simplify approach for sep.nil no...ajreynol
2016-10-26New implementation of sets+cardinality. Merge Paul Meng's relation solver as...ajreynol
2016-10-13Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git"Tim King
2016-07-05Merge branch 'master' of https://github.com/CVC4/CVC4.gitPaulMeng
2016-04-20update from the masterPaulMeng
2016-04-15change transitive closure operator name to TCLOUSREPaulMeng
2016-04-09cardinality operation for finite sets (based on my thesis / ijcar16 paper)Kshitij Bansal
2016-02-09- extend cvc4 frontend parser to accept relational operators (product,PaulMeng
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2014-06-29sets: "insert" operatorKshitij Bansal
2014-06-22Renaming of SMT2 operator names, kinds for set theoryKshitij Bansal
2014-06-21Sets kinds documentationMorgan Deters
2014-03-28add construles, type_rules rm redundant, kinds cleanupKshitij Bansal
2014-03-20cleanupKshitij Bansal
2014-03-20constant normal form and rewriteKshitij Bansal
2014-03-20fix a sharing issues with setsKshitij Bansal
2014-02-28rename kind::IN to kind::MEMBER (fixes some windows build conflicts)Kshitij Bansal
2014-02-21add new theory (sets)Kshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback