summaryrefslogtreecommitdiff
path: root/test/regress/regress1/quantifiers
AgeCommit message (Expand)Author
2018-08-22More regressions that increase coverage (#2354)Andrew Reynolds
2018-08-20Add regressions that increase coverage (#2337)Andrew Reynolds
2018-08-02Improve CEGQI heuristics involving equality and multiple instantiations (#2254)Andrew Reynolds
2018-08-01Improvements and fixes in cegqi arithmetic (#2247)Andrew Reynolds
2018-07-24Improvements to sets + cardinality + quantifiers (#2200)Andrew Reynolds
2018-06-15Disable solving non-linear BV literals by default (#2070)Andrew Reynolds
2018-06-04Enable cegqi (with model values) for floating point by default (#2023)Andrew Reynolds
2018-06-01Apply preprocessing to counterexample lemmas in CEGQI (#2027)Andrew Reynolds
2018-05-25Reenable repair const (#1983)Andrew Reynolds
2018-05-22Make sygus infer find function definitions (#1951)Andrew Reynolds
2018-05-03Interleave quantifiers checks with ground theory checks at LAST_CALL (#1834)Andrew Reynolds
2018-04-25Add benchmark requiring subgoal generation with induction. Disable option. (#...Andrew Reynolds
2018-04-16Disable check proofs/unsat cores for two regs (#1785)Andres Noetzli
2018-04-06Add define rec fun to cvc parser (#1738)Arjun Viswanathan
2018-04-03Option to turn arbitrary input into sygus (#1704)Andrew Reynolds
2018-03-23Add a few quantifiers regressions to improve coverage (#1702)Andrew Reynolds
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-03-21Fix various regression tests (#1657)Andres Noetzli
2018-02-27Minor fixes for rec-fun (#1616)Andrew Reynolds
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2017-05-15Fix issue in ceg_instantiator related to types and theoryOf, fixes bug 802.ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback