| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-02-13 | adjust derive_error | lcnr | -25/+103 |
| 2025-02-08 | Rustfmt | bjorn3 | -4/+4 |
| 2025-02-05 | Pass spans around new solver | Michael Goulet | -1/+5 |
| 2025-01-31 | Manually walk into WF obligations in BestObligation proof tree visitor | Michael Goulet | -16/+44 |
| 2025-01-31 | Move fulfillment error derivation into new module | Michael Goulet | -0/+499 |
