Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #7620: [ssr] rewrite: turn anomaly into regular error | 2018-06-25 | |
|\ | |||
* \ | Merge PR #7236: [ssr] simpler semantics for delayed clears | 2018-06-23 | |
|\ \ | |||
| * | | [ssr] implement {}/v as a short hand for {v}/v when v is an id | 2018-06-22 | |
* | | | [ssr] test case for rewrite and set on univ poly keys | 2018-06-22 | |
|/ / | |||
| * | [ssr] test case for rewrite (setoid) making the goal illtyped | 2018-06-20 | |
|/ | |||
* | [ssr] import ssreflect test suite from math-comp | 2018-05-15 |