projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Frontend support for the choice operator (#4175)
[cvc5.git] / test / regress / regress0 / ho /
2019-12-05 Andrew ReynoldsFix the subtyping relation for functions (#3494) tree | commitdiff
2019-07-31 Haniel BarbosaParsing THF and adding several regressions (#3131) tree | commitdiff
2019-03-15 Haniel BarbosaNew beta-reduction for HOL solving (#2869) tree | commitdiff
2018-04-13 Andrew ReynoldsFix alpha equivalence for higher-order (#1769) tree | commitdiff
2018-04-11 Andrew ReynoldsProperly implement function extensionality based on... tree | commitdiff
2018-04-04 Andrew ReynoldsFix for corner case of higher-order matching (#1708) 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-11-25 Andrew ReynoldsFixes for higher-order (#1405) tree | commitdiff
2017-11-24 Andrew ReynoldsHo parsing and regressions (#1350) tree | commitdiff