summaryrefslogtreecommitdiff
path: root/test/regress/regress1/ho
AgeCommit message (Expand)Author
2021-11-11Add lazy approach for handling lambdas in the HO extension (#7625)Andrew Reynolds
2021-11-08sets: Rename kinds with a more consistent naming scheme. (#7595)Aina Niemetz
2021-10-27Fix care graph computation for higher-order (#7474)Andrew Reynolds
2021-10-20Add regressions for fixed issues (#7421)Andrew Reynolds
2021-06-11Better support for HOL parsing and set up (#6697)Haniel Barbosa
2021-05-27Enable new justification heuristic by default (#6613)Andrew Reynolds
2021-04-25More check models (#6439)Andrew Reynolds
2020-12-15Remove bv divide by zero option (#5672)Andrew Reynolds
2020-12-07Do not expand theory definitions at the beginning of preprocessing (#5544)Andrew Reynolds
2020-11-23Change UF ho to ppRewrite instead of expand definition (#5499)Andrew Reynolds
2020-08-19[Regressions] Do not test `--check-proofs` anymore (#4914)Andres Noetzli
2020-05-19Do not eliminate variables that are equal to unevaluatable terms (#4267)Andrew Reynolds
2020-03-22Sort inference does not handle APPLY_UF when higher-order is enabled (#4138)Andrew Reynolds
2020-03-20Do not assign higher-order representative if function does not exist (#4073)Andrew Reynolds
2019-09-16Fix spurious meta-info in regression (#3294)Andrew Reynolds
2019-09-16 Fix HO model construction for functions having Boolean arguments (#3158)Andrew Reynolds
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
2019-07-31Parsing THF and adding several regressions (#3131)Haniel Barbosa
2018-04-09Fix hasSubterm calls for higher-order (#1760)Andrew Reynolds
2018-04-09Fix higher-order term indexing. (#1754)Andrew Reynolds
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-02-15Refactor regressions (#1581)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback