| 2019-12-13 |
Andrew Reynolds | Add support for set comprehension (#3312) |
tree | commitdiff |
| 2019-06-04 |
Andres Noetzli | Add check that result matches benchmark status (#3028) |
tree | commitdiff |
| 2018-12-14 |
Andrew Reynolds | Fix extended rewriter for binary associative operators... |
tree | commitdiff |
| 2018-09-22 |
Aina Niemetz | cmake: Added regression tests and target make regress. |
tree | commitdiff |
| 2018-09-22 |
Aina Niemetz | cmake: Added initial build infrastructure. |
tree | commitdiff |
| 2018-05-04 |
Andrew Reynolds | Sets subtypes (#1095) |
tree | commitdiff |
| 2018-03-21 |
Andres Noetzli | Move regression tests to single Makefile.am (#1658) |
tree | commitdiff |
| 2018-02-15 |
Andrew Reynolds | Refactor regressions (#1581) |
tree | commitdiff |
| 2017-09-14 |
Andrew Reynolds | Remove unhandled subtypes (#1098) |
tree | commitdiff |
| 2017-09-10 |
Andrew Reynolds | Ensure that expand definitions is called on all non... |
tree | commitdiff |
| 2017-08-24 |
Andrew Reynolds | Merge pull request #191 from timothy-king/cleanup-regexp |
tree | commitdiff |
| 2017-08-04 |
ajreynol | Set default language to smt lib 2.6 (including as a... |
tree | commitdiff |
| 2017-06-30 |
ajreynol | Minor change to trigger selection, fixes related to... |
tree | commitdiff |
| 2017-04-24 |
Andrew Reynolds | Merge pull request #152 from timothy-king/delta-rationa... |
tree | commitdiff |
| 2017-04-23 |
Tim King | Changing spaces to tabs in Makefile. |
tree | commitdiff |
| 2017-04-21 |
Clark Barrett | Merge pull request #150 from 4tXJ7f/check_exceptions2 |
tree | commitdiff |
| 2017-04-21 |
ajreynol | Handle subtypes in sets. Bug fixes for tuples with... |
tree | commitdiff |
| 2017-04-19 |
ajreynol | Fixes for handling set universe: restrict upwards rule... |
tree | commitdiff |
| 2017-04-14 |
ajreynol | Actively split for upwards closusure intersection.... |
tree | commitdiff |
| 2017-03-20 |
Andrew Reynolds | Merge pull request #135 from PaulMeng/master |
tree | commitdiff |
| 2017-03-20 |
Paul Meng | fixed cvc4 parser for set complement |
tree | commitdiff |
| 2017-03-07 |
ajreynol | More fixes for printing/parsing sets, fix kind name. |
tree | commitdiff |
| 2017-03-07 |
ajreynol | Fix cvc parser for set compliment. |
tree | commitdiff |
| 2017-03-06 |
ajreynol | Support for set compliment and universe set. Simplify... |
tree | commitdiff |
| 2017-03-03 |
ajreynol | Fix for collectModelInfo related to finite types +... |
tree | commitdiff |
| 2017-03-03 |
ajreynol | Another minor fix for sets related to sharing + finite... |
tree | commitdiff |
| 2017-03-02 |
ajreynol | Fixes related to sets. |
tree | commitdiff |
| 2016-12-08 |
ajreynol | Enable remaining cardinality benchmarks |
tree | commitdiff |
| 2016-12-08 |
ajreynol | Add missing regression |
tree | commitdiff |
| 2016-12-07 |
ajreynol | Add sets regression, fixes bug 754. Minor fix to regex... |
tree | commitdiff |
| 2016-12-07 |
ajreynol | Added cardinality to cvc language, fixes bug 753. Throw... |
tree | commitdiff |
| 2016-11-18 |
Clark Barrett | Merge pull request #110 from 4tXJ7f/fix_makefiles |
tree | commitdiff |
| 2016-11-18 |
Andres Notzli | Fix Makefiles in test |
tree | commitdiff |
| 2016-10-21 |
ajreynol | Move slow regress0 benchmarks to regress1, increment... |
tree | commitdiff |
| 2016-10-13 |
Tim King | Revert "Merge branch 'origin' of https://github.com... |
tree | commitdiff |
| 2016-10-11 |
Paul Meng | Merge branch 'origin' of https://github.com/CVC4/CVC4.git |
tree | commitdiff |
| 2016-10-01 |
Tim King | Merge pull request #93 from timothy-king/clang-format |
tree | commitdiff |
| 2016-09-28 |
Kshitij Bansal | Fix the merge of kbansal/card branch (2039eab). |
tree | commitdiff |
| 2016-09-13 |
Paul Meng | refactored the code, added more benchmarks and minor... |
tree | commitdiff |
| 2016-09-12 |
Paul Meng | fixed capitalized "kind" |
tree | commitdiff |
| 2016-08-30 |
Paul Meng | added more benchmarks |
tree | commitdiff |
| 2016-08-24 |
PaulMeng | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
| 2016-08-12 |
ajreynol | Add a few more regressions. |
tree | commitdiff |
| 2016-08-12 |
ajreynol | Minor fixes to model construction to take singleton... |
tree | commitdiff |
| 2016-07-05 |
PaulMeng | Merge branch 'master' of https://github.com/CVC4/CVC4.git |
tree | commitdiff |
| 2016-04-20 |
PaulMeng | update from the master |
tree | commitdiff |
| 2016-04-12 |
PaulMeng | added more benchmarks |
tree | commitdiff |
| 2016-04-09 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2016-04-09 |
Kshitij Bansal | cardinality operation for finite sets (based on my... |
tree | commitdiff |
| 2016-03-10 |
PaulMeng | fixed the transpose-occur rule |
tree | commitdiff |
| 2016-03-09 |
PaulMeng | make skolems and tuple reduction terms as shared terms |
tree | commitdiff |
| 2016-03-04 |
PaulMeng | refactored the code |
tree | commitdiff |
| 2016-02-29 |
PaulMeng | Added more benchmarks |
tree | commitdiff |
| 2016-02-28 |
PaulMeng | implemented a basic solving procedure for finite relati... |
tree | commitdiff |
| 2016-02-17 |
PaulMeng | added rules for join and transpose operators |
tree | commitdiff |
| 2016-02-15 |
PaulMeng | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
| 2016-02-15 |
PaulMeng | extended smt parser for the finite relations |
tree | commitdiff |
| 2014-07-11 |
Kshitij Bansal | Merge pull request #48 from kbansal/segfaultfix |
tree | commitdiff |
| 2014-07-11 |
Kshitij Bansal | Merge pull request #49 from kbansal/cvcparser |
tree | commitdiff |
| 2014-07-10 |
Kshitij Bansal | membership cvc token changed to `IS_IN' to avoid confli... |
tree | commitdiff |
| 2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
tree | commitdiff |
| 2014-07-09 |
Kshitij Bansal | sets cvc parser |
tree | commitdiff |
| 2014-07-09 |
Kshitij Bansal | sets cvc printer |
tree | commitdiff |
| 2014-07-01 |
Morgan Deters | Merge pull request #44 from mdeters/prio-queue-updates |
tree | commitdiff |
| 2014-07-01 |
Morgan Deters | Merge pull request #45 from mdeters/turn-off-strings-exp |
tree | commitdiff |
| 2014-06-30 |
Kshitij Bansal | Merge pull request #47 from kbansal/sets |
tree | commitdiff |
| 2014-06-30 |
Kshitij Bansal | Use FS as the set-logic string for theory of sets |
tree | commitdiff |
| 2014-06-29 |
Kshitij Bansal | sets: "insert" operator |
tree | commitdiff |
| 2014-06-25 |
Kshitij Bansal | rename subseteq to subset in smtlib, all kinds and... |
tree | commitdiff |
| 2014-06-22 |
Kshitij Bansal | Renaming of SMT2 operator names, kinds for set theory |
tree | commitdiff |
| 2014-06-11 |
Kshitij Bansal | Merge pull request #31 from kbansal/sets |
tree | commitdiff |
| 2014-06-11 |
Kshitij Bansal | disable another test, after recent merges taking too... |
tree | commitdiff |
| 2014-06-11 |
Kshitij Bansal | sets: comment out an assertion too strong |
tree | commitdiff |
| 2014-06-11 |
Kshitij Bansal | user/sat context issue in sets |
tree | commitdiff |
| 2014-06-11 |
Kshitij Bansal | fix in sets rewriter |
tree | commitdiff |
| 2014-06-06 |
Kshitij Bansal | Merge pull request #28 from kbansal/sets |
tree | commitdiff |
| 2014-06-06 |
Kshitij Bansal | sets: fix equality propagation |
tree | commitdiff |
| 2014-05-25 |
Andrew Reynolds | Improve quantifier instantiation: always use original... |
tree | commitdiff |
| 2014-05-17 |
Kshitij Bansal | Merge pull request #26 from kbansal/sets |
tree | commitdiff |
| 2014-05-16 |
Kshitij Bansal | sets: fix a bug in model building, another in handling... |
tree | commitdiff |
| 2014-04-10 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2014-04-09 |
Kshitij Bansal | Merge pull request #24 from kbansal/sets-model |
tree | commitdiff |
| 2014-04-09 |
Kshitij Bansal | add tests |
tree | commitdiff |
| 2014-04-09 |
Kshitij Bansal | inputs to trigger bug |
tree | commitdiff |
| 2014-04-06 |
Tim King | Merge pull request #21 from pcc/ite-fix |
tree | commitdiff |
| 2014-04-01 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-03-30 |
Kshitij Bansal | Merge pull request #23 from kbansal/sets-model |
tree | commitdiff |
| 2014-03-28 |
Kshitij Bansal | add construles, type_rules rm redundant, kinds cleanup |
tree | commitdiff |
| 2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-03-21 |
Kshitij Bansal | Merge pull request #22 from kbansal/sets-model |
tree | commitdiff |
| 2014-03-20 |
Kshitij Bansal | cleanup |
tree | commitdiff |
| 2014-03-20 |
Kshitij Bansal | fix for sets/mar2014/..317minimized.. |
tree | commitdiff |
| 2014-03-20 |
Kshitij Bansal | Fix for registration issues of term appearing in a... |
tree | commitdiff |
| 2014-03-20 |
Kshitij Bansal | fix a sharing issues with sets |
tree | commitdiff |
| 2014-03-20 |
Kshitij Bansal | enable check-models for sets/ regressions |
tree | commitdiff |
| 2014-03-20 |
Kshitij Bansal | testlemma regressions |
tree | commitdiff |
| 2014-03-12 |
Morgan Deters | Some standardization of regression Makefiles that got... |
tree | commitdiff |
| 2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| next |
projects / cvc5.git / history