| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -2/+2 |
| 2024-08-29 | Add `warn(unreachable_pub)` to `rustc_next_trait_solver`. | Nicholas Nethercote | -21/+28 |
| 2024-08-12 | do not use the global solver cache for proof trees | lcnr | -92/+14 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -3/+2 |
| 2024-07-12 | rustc_next_trait_solver: derivative -> derive-where | Pavel Grigorenko | -14/+8 |
| 2024-07-12 | enable fuzzing of `SearchGraph` | lcnr | -19/+50 |
| 2024-06-25 | Rename tcx to cx | Michael Goulet | -2/+2 |
| 2024-06-24 | Replace Deref bounds on Interner in favor of a SliceLike trait | Michael Goulet | -0/+1 |
| 2024-06-21 | Rename a bunch of things | Michael Goulet | -29/+26 |
| 2024-06-18 | Fix impl for SolverDelegate | Michael Goulet | -0/+2 |
| 2024-06-18 | Uplift the new trait solver | Michael Goulet | -0/+579 |
