Age | Commit message (Expand) | Author |
2021-11-10 | sets: Rename set.intersection to set.inter. (#7622) | Aina Niemetz |
2021-11-08 | sets: Rename kinds with a more consistent naming scheme. (#7595) | Aina Niemetz |
2021-09-29 | Update the syntax for tuples in smt2 (#7265) | Andrew Reynolds |
2021-09-22 | Remove CVC language support (#7219) | Mathias Preiner |
2021-07-29 | Integrate central equality engine approach into theory engine, add option and... | Andrew Reynolds |
2021-06-02 | Remove redundant logic ALL_SUPPORTED. (#6664) | Aina Niemetz |
2020-12-09 | Remove obsolete regressions (#5633) | Andrew Reynolds |
2020-10-05 | Remove subtyping for sets (#5205) | mudathirmahgoub |
2020-10-04 | Remove subtyping for sets theory (#5179) | mudathirmahgoub |
2020-03-31 | Rename checkValid/query to checkEntailed. (#4191) | Aina Niemetz |
2019-12-13 | Add support for set comprehension (#3312) | Andrew Reynolds |
2019-06-04 | Add check that result matches benchmark status (#3028) | Andres Noetzli |
2018-12-14 | Fix extended rewriter for binary associative operators. (#2751) | Andrew Reynolds |
2018-09-22 | cmake: Added regression tests and target make regress. | Aina Niemetz |
2018-09-22 | cmake: Added initial build infrastructure. | Aina Niemetz |
2018-05-03 | Sets subtypes (#1095) | Andrew Reynolds |
2018-03-21 | Move regression tests to single Makefile.am (#1658) | Andres Noetzli |
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |
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 |