| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2020-05-07 | Reintegrate chalk using chalk-solve | Jack Huey | -0/+17 | |
| 2020-03-02 | Remove chalk integration | CAD97 | -19/+0 | |
| 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 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |