Age | Commit message (Expand) | Author |
---|---|---|
2020-10-12 | Ensure uninterpreted sort owner is UF if uf-ho or finite-model-find is enable... | Andrew Reynolds |
2020-08-21 | Simplify and fix care graph for ufHo (#4924) | Andrew Reynolds |
2020-06-01 | Do not parse ->/lambda unless --uf-ho enabled (#4544) | Andres Noetzli |
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 |