| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2018-04-23 | in unit tests, use `note` to dump multiple program clauses | Niko Matsakis | -4/+8 | |
| (rather than issuing multiple errors) Also, reorder so that the annotations are considered "used" when the lint runs. | ||||
| 2018-04-15 | Stop duplicating where clauses from impl's. | Fabian Zaiser | -1/+1 | |
| 2018-04-15 | Implement Chalk lowering rule Normalize-From-Impl | Fabian Zaiser | -1/+7 | |
| 2018-03-14 | Address niko's nits | scalexm | -1/+1 | |
| 2018-03-14 | Add MVP for chalkification | scalexm | -0/+8 | |
