| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-03-23 | Obligation::as_goal | Michael Goulet | -4/+4 |
| 2025-03-05 | change definitely non-productive cycles to error | lcnr | -1/+1 |
| 2025-02-28 | normalizing where-clauses is also coinductive, add tests | lcnr | -1/+4 |
| 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 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |