| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-05-22 | Remove ReScope | Matthew Jasper | -1/+0 |
| 2020-05-20 | introduce newtype'd `Predicate<'tcx>` | Bastian Kauschke | -36/+39 |
| 2020-05-17 | chalk | Bastian Kauschke | -7/+6 |
| 2020-05-14 | Rollup merge of #72150 - jackh726:unnorm_projection, r=nikomatsakis | Ralf Jung | -1/+0 |
| 2020-05-12 | Remove ty::UnnormalizedProjection | Jack Huey | -1/+0 |
| 2020-05-11 | Fix clippy warnings | Matthias Krüger | -40/+36 |
| 2020-05-07 | Fix nit and cargo.lock | Jack Huey | -1/+1 |
| 2020-05-07 | Reintegrate chalk using chalk-solve | Jack Huey | -0/+1470 |
