| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-04-10 | Rollup merge of #110124 - Nilstrieb:📎-told-me-so, r=compiler-errors | Dylan DPC | -1/+1 |
| 2023-04-10 | review + some small stuff | lcnr | -3/+13 |
| 2023-04-09 | Fix some clippy::complexity | Nilstrieb | -1/+1 |
| 2023-04-05 | Tweak debug outputs to make debugging new solver easier | Michael Goulet | -2/+2 |
| 2023-03-21 | woops | lcnr | -1/+1 |
| 2023-03-21 | new solver cleanup + coherence | lcnr | -6/+5 |
| 2023-03-10 | Move some solver stuff to middle | Michael Goulet | -2/+94 |
| 2023-03-03 | canonicalization | lcnr | -5/+11 |
| 2023-02-24 | Rename many interner functions. | Nicholas Nethercote | -11/+9 |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -7/+9 |
| 2023-02-13 | Rename folder traits' `tcx` method to `interner` | Alan Egerton | -2/+2 |
| 2023-02-13 | Make folding traits generic over the Interner | Alan Egerton | -1/+1 |
| 2023-02-13 | Make visiting traits generic over the Interner | Alan Egerton | -2/+2 |
| 2023-02-13 | Alias folding/visiting traits instead of re-export | Alan Egerton | -10/+15 |
| 2023-02-03 | intern external constraints | Michael Goulet | -0/+55 |
