projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Support ackermannization on uninterpreted sorts in BV (#3372)
[cvc5.git] / test / regress / regress0 / rels /
2019-03-29 Andrew ReynoldsFix issues in cvc parser (#2901) tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added regression tests and target make regress. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-03-21 Andres Noetzli Move regression tests to single Makefile.am (#1658) tree | commitdiff
2018-02-15 Andrew ReynoldsRefactor regressions (#1581) tree | commitdiff
2017-12-28 Arjun ViswanathanRel smt parser (#1446) tree | commitdiff
2017-09-10 Andrew ReynoldsEnsure that expand definitions is called on all non... tree | commitdiff
2017-05-17 Clark BarrettMerge pull request #155 from makaimann/conditional_coverage tree | commitdiff
2017-05-16 Andrew ReynoldsMerge pull request #156 from 4tXJ7f/fix_safe_print tree | commitdiff
2017-05-15 Andrew ReynoldsMerge pull request #159 from 4tXJ7f/fix_set_types tree | commitdiff
2017-05-15 Andrew ReynoldsMerge pull request #158 from 4tXJ7f/fix_sets_rewriter tree | commitdiff
2017-05-15 Andres NoetzliFix minor bug in sets rewriter tree | commitdiff
2017-04-21 Clark BarrettMerge pull request #150 from 4tXJ7f/check_exceptions2 tree | commitdiff
2017-04-21 ajreynolFix new relations regressions to use sets-ext. tree | commitdiff
2017-04-21 ajreynolHandle subtypes in sets. Bug fixes for tuples with... tree | commitdiff
2017-04-20 Andrew ReynoldsMerge pull request #149 from PaulMeng/master tree | commitdiff
2017-04-20 Paul MengSupport for relational operators identity and join... tree | commitdiff
2017-04-14 ajreynolActively split for upwards closusure intersection.... tree | commitdiff
2017-04-04 ajreynolDo not solve for 0-ary non-constant symbols (for which... tree | commitdiff
2017-03-29 PaulMengMerge pull request #138 from PaulMeng/master tree | commitdiff
2017-03-29 Paul MengRefactor the standard effort of relational solver tree | commitdiff
2016-11-18 Clark BarrettMerge pull request #110 from 4tXJ7f/fix_makefiles tree | commitdiff
2016-11-18 Andres NotzliFix Makefiles in test tree | commitdiff
2016-10-26 Andrew ReynoldsMerge pull request #98 from 4tXJ7f/fix_dist_build tree | commitdiff
2016-10-26 ajreynolNew implementation of sets+cardinality. Merge Paul... tree | commitdiff