Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Massively simplified the exhaustiveness checker... | Paul Phillips | 2010-10-05 | 1 | -0/+1 |
Massively simplified the exhaustiveness checker with no measurable loss of fidelity. I might be the only one who can be unsurprised by such a bloody diff: anyone else would rightly say "how on earth..." No review. |