Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-5900 Fix pattern inference regression | Jason Zaugg | 2014-02-12 | 1 | -1/+1 |
* | SI-7886 unsoundness in pattern matcher. | Paul Phillips | 2013-10-01 | 1 | -1/+1 |
* | Test case closes SI-4818 | Jason Zaugg | 2012-05-25 | 1 | -0/+6 |