Age | Commit message (Expand) | Author |
---|---|---|
2020-03-22 | Sort inference does not handle APPLY_UF when higher-order is enabled (#4138) | Andrew Reynolds |
2020-03-20 | Do not assign higher-order representative if function does not exist (#4073) | Andrew Reynolds |
2019-09-16 | Fix 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-06 | Remove SMT1 parser. (#3228) | Mathias Preiner |
2019-07-31 | Parsing THF and adding several regressions (#3131) | Haniel Barbosa |
2018-04-09 | Fix hasSubterm calls for higher-order (#1760) | Andrew Reynolds |
2018-04-09 | Fix higher-order term indexing. (#1754) | Andrew Reynolds |
2018-03-21 | Move regression tests to single Makefile.am (#1658) | Andres Noetzli |
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |