| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-12-14 | consistently use "next solver" instead of "new solver" | lcnr | -24/+0 |
| 2023-12-12 | refactor writeback: emit normalization errors with new solver | lcnr | -2/+6 |
| 2023-08-26 | Point at appropriate type parameter in more trait bound errors | Esteban Küber | -2/+2 |
| 2023-08-10 | add and move trait solver cycle tests | lcnr | -0/+20 |
