summaryrefslogtreecommitdiff
path: root/src/theory/sets/kinds
AgeCommit message (Expand)Author
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