Age | Commit message (Expand) | Author |
2017-09-14 | Remove unhandled subtypes (#1098) | Andrew Reynolds |
2017-09-10 | Ensure that expand definitions is called on all non-variable expressi… (#1070) | Andrew Reynolds |
2017-08-04 | Set default language to smt lib 2.6 (including as a base language for sygus),... | ajreynol |
2017-06-30 | Minor change to trigger selection, fixes related to subtypes (in macros, cbqi... | ajreynol |
2017-04-23 | Changing spaces to tabs in Makefile. | Tim King |
2017-04-21 | Handle subtypes in sets. Bug fixes for tuples with subtypes. | ajreynol |
2017-04-19 | Fixes for handling set universe: restrict upwards rule for universe to member... | ajreynol |
2017-04-14 | Actively split for upwards closusure intersection. Minor clean up, add regres... | ajreynol |
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 |