| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -1/+2 |
| 2024-07-05 | Split SolverDelegate back out from InferCtxtLike | Michael Goulet | -1/+1 |
| 2024-06-21 | Rename a bunch of things | Michael Goulet | -16/+16 |
| 2024-06-18 | SolverDelegate | Michael Goulet | -5/+6 |
| 2024-06-06 | Uplift TypeRelation and Relate | Michael Goulet | -4/+4 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -5/+2 |
| 2024-05-20 | Rework var resolution in InferCtxtLike, uplift EagerResolver | Michael Goulet | -0/+83 |
