| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2018-12-25 | Remove licenses | Mark Rousskov | -10/+0 | |
| 2018-04-23 | in unit tests, use `note` to dump multiple program clauses | Niko Matsakis | -2/+2 | |
| (rather than issuing multiple errors) Also, reorder so that the annotations are considered "used" when the lint runs. | ||||
| 2018-04-15 | Implement Chalk lowering rule Normalize-From-Impl | Fabian Zaiser | -0/+9 | |
| 2018-03-14 | Add MVP for chalkification | scalexm | -0/+20 | |
