| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-02-01 | Remove or_patterns from INCOMPLETE_FEATURES | Matthew Jasper | -1/+0 |
| 2019-09-05 | resolve: test consistent or-patterns being allowed. | Mazdak Farrokhzad | -1/+1 |
| 2019-09-05 | resolve: account for general or-patterns in consistency checking. | Mazdak Farrokhzad | -0/+1 |
| 2019-09-05 | resolve: add tests for already-bound check. | Mazdak Farrokhzad | -0/+45 |
