| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback