Age | Commit message (Expand) | Author |
---|---|---|
2019-12-04 | Fix the subtyping relation for functions (#3494) | Andrew Reynolds |
2019-07-31 | Parsing THF and adding several regressions (#3131) | Haniel Barbosa |
2019-03-15 | New beta-reduction for HOL solving (#2869) | Haniel Barbosa |
2018-04-12 | Fix alpha equivalence for higher-order (#1769) | Andrew Reynolds |
2018-04-10 | Properly implement function extensionality based on cardinality (#1765) | Andrew Reynolds |
2018-04-04 | Fix for corner case of higher-order matching (#1708) | Andrew Reynolds |
2018-03-21 | Move regression tests to single Makefile.am (#1658) | Andres Noetzli |
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |
2017-11-25 | Fixes for higher-order (#1405) | Andrew Reynolds |
2017-11-23 | Ho parsing and regressions (#1350) | Andrew Reynolds |