| Age | Commit message (Collapse) | 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 | |
