Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | testsuite: Increase size of T12150 | Ben Gamari | 2020-06-13 | 1 | -0/+410 |
* | PmCheck: Formulate as translation between Clause Trees | Sebastian Graf | 2020-01-25 | 1 | -0/+2 |
* | Refactor the Mighty Simplifier | Simon Peyton Jones | 2017-08-25 | 1 | -0/+103 |