| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-12-14 | consistently use "next solver" instead of "new solver" | lcnr | -599/+0 |
| 2023-12-14 | update use of feature flags | lcnr | -11/+11 |
| 2023-12-09 | add test for inductive cycle hangs | lcnr | -4/+57 |
| 2023-11-24 | Show number in error message even for one error | Nilstrieb | -4/+4 |
| 2023-10-04 | Reorder fullfillment errors to keep more interesting ones first | Esteban Küber | -11/+3 |
| 2023-09-18 | remove provisional cache | lcnr | -2/+78 |
| 2023-08-26 | Point at appropriate type parameter in more trait bound errors | Esteban Küber | -8/+8 |
| 2023-08-10 | add and move trait solver cycle tests | lcnr | -0/+416 |
| 2023-08-10 | make the provisional cache slightly less broken | lcnr | -15/+2 |
| 2023-08-08 | add test from chalk#788 for new solver | lcnr | -0/+75 |
