| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-12-14 | consistently use "next solver" instead of "new solver" | lcnr | -16/+0 |
| 2023-12-14 | update use of feature flags | lcnr | -1/+1 |
| 2023-12-12 | refactor writeback: emit normalization errors with new solver | lcnr | -1/+1 |
| 2023-08-10 | add and move trait solver cycle tests | lcnr | -0/+16 |
