Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Overhaul the Overhauled Pattern Match Checker | George Karachalias | 2016-02-04 | 1 | -10/+24 |
* | pmcheck: Comments about undecidability of literal equality | George Karachalias | 2015-12-05 | 1 | -0/+2 |
* | pmcheck: Comments about term equality representation | George Karachalias | 2015-12-05 | 1 | -1/+2 |
* | Remove unused import in deSugar/TmOracle.hs | George Karachalias | 2015-12-04 | 1 | -1/+0 |
* | Improve performance for PM check on literals (Fixes #11160 and #11161) | George Karachalias | 2015-12-04 | 1 | -230/+17 |
* | Major Overhaul of Pattern Match Checking (Fixes #595) | George Karachalias | 2015-12-03 | 1 | -0/+455 |