| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-08-14 | ignore head usages of ignored candidates | lcnr | -1/+17 |
| 2025-05-07 | detect additional uses of opaques after writeback | lcnr | -19/+20 |
| 2025-02-28 | rework cycle handling | lcnr | -1/+1 |
| 2025-02-05 | Pass spans around new solver | Michael Goulet | -0/+1 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -1/+1 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -2/+3 |
| 2024-07-05 | Split SolverDelegate back out from InferCtxtLike | Michael Goulet | -1/+1 |
| 2024-06-21 | Rename a bunch of things | Michael Goulet | -27/+22 |
| 2024-06-18 | Explicitly import tracing macros | Michael Goulet | -0/+1 |
| 2024-06-18 | Uplift the new trait solver | Michael Goulet | -0/+123 |
