| Age | Commit message (Expand) | Author |
|---|
| 2017-03-20 | fixed cvc4 parser for set complement | Paul Meng |
| 2017-03-07 | More fixes for printing/parsing sets, fix kind name. | ajreynol |
| 2017-03-07 | Fix cvc parser for set compliment. | ajreynol |
| 2017-03-06 | Support for set compliment and universe set. Simplify approach for sep.nil no... | ajreynol |
| 2017-03-03 | Fix for collectModelInfo related to finite types + preregistration. Generaliz... | ajreynol |
| 2017-03-03 | Another minor fix for sets related to sharing + finite element types. | ajreynol |
| 2017-03-02 | Fixes related to sets. | ajreynol |
| 2016-12-08 | Enable remaining cardinality benchmarks | ajreynol |
| 2016-12-07 | Add missing regression | ajreynol |
| 2016-12-07 | Add sets regression, fixes bug 754. Minor fix to regexp in strings. | ajreynol |
| 2016-12-07 | Added cardinality to cvc language, fixes bug 753. Throw logic exception when ... | ajreynol |
| 2016-11-17 | Fix Makefiles in test | Andres Notzli |
| 2016-10-21 | Move slow regress0 benchmarks to regress1, increment regress1 through regress3. | ajreynol |
| 2016-10-13 | Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git" | Tim King |
| 2016-10-11 | Merge branch 'origin' of https://github.com/CVC4/CVC4.git | Paul Meng |
| 2016-09-28 | Fix the merge of kbansal/card branch (2039eab). | Kshitij Bansal |
| 2016-09-13 | refactored the code, added more benchmarks and minor fixes | Paul Meng |
| 2016-09-12 | fixed capitalized "kind" | Paul Meng |
| 2016-08-30 | added more benchmarks | Paul Meng |
| 2016-08-24 | Merge remote-tracking branch 'origin/master' | PaulMeng |
| 2016-08-12 | Add a few more regressions. | ajreynol |
| 2016-08-12 | Minor fixes to model construction to take singleton equivalence classes into ... | ajreynol |
| 2016-04-20 | update from the master | PaulMeng |
| 2016-04-12 | added more benchmarks | PaulMeng |
| 2016-04-09 | cardinality operation for finite sets (based on my thesis / ijcar16 paper) | Kshitij Bansal |
| 2016-03-10 | fixed the transpose-occur rule | PaulMeng |
| 2016-03-08 | make skolems and tuple reduction terms as shared terms | PaulMeng |
| 2016-03-04 | refactored the code | PaulMeng |
| 2016-02-29 | Added more benchmarks | PaulMeng |
| 2016-02-28 | implemented a basic solving procedure for finite relations (only for | PaulMeng |
| 2016-02-17 | added rules for join and transpose operators | PaulMeng |
| 2016-02-15 | extended smt parser for the finite relations | PaulMeng |
| 2014-07-10 | membership cvc token changed to `IS_IN' to avoid conflict with IN used for let | Kshitij Bansal |
| 2014-07-09 | sets cvc parser | Kshitij Bansal |
| 2014-07-09 | sets cvc printer | Kshitij Bansal |
| 2014-06-30 | Use FS as the set-logic string for theory of sets | Kshitij Bansal |
| 2014-06-29 | sets: "insert" operator | Kshitij Bansal |
| 2014-06-25 | rename subseteq to subset in smtlib, all kinds and smt operator names are now... | Kshitij Bansal |
| 2014-06-22 | Renaming of SMT2 operator names, kinds for set theory | Kshitij Bansal |
| 2014-06-11 | disable another test, after recent merges taking too long | Kshitij Bansal |
| 2014-06-11 | sets: comment out an assertion too strong | Kshitij Bansal |
| 2014-06-11 | user/sat context issue in sets | Kshitij Bansal |
| 2014-06-11 | fix in sets rewriter | Kshitij Bansal |
| 2014-06-06 | sets: fix equality propagation | Kshitij Bansal |
| 2014-05-25 | Improve quantifier instantiation: always use original terms when matching (wa... | Andrew Reynolds |
| 2014-05-16 | sets: fix a bug in model building, another in handling set of sets | Kshitij Bansal |
| 2014-04-09 | add tests | Kshitij Bansal |
| 2014-04-09 | inputs to trigger bug | Kshitij Bansal |
| 2014-03-28 | add construles, type_rules rm redundant, kinds cleanup | Kshitij Bansal |
| 2014-03-20 | Merge pull request #22 from kbansal/sets-model | Kshitij Bansal |
