| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 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 |
