| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-02-08 | Rustfmt | bjorn3 | -4/+4 |
| 2024-10-12 | Swap PredicateObligation to ThinVec | GnomedDev | -32/+36 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -4/+4 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -2/+2 |
| 2023-12-10 | remove redundant imports | surechen | -1/+0 |
| 2022-09-19 | Make cycle errors recoverable | Joshua Nelson | -1/+6 |
| 2022-09-19 | Make `OUT` an associated type instead of a generic parameter | Joshua Nelson | -0/+1 |
| 2022-06-06 | Split `process_obligation` in two. | Nicholas Nethercote | -0/+4 |
| 2022-06-06 | Handle stalling within `ObligationForest`. | Nicholas Nethercote | -10/+1 |
| 2020-10-15 | Turn Outcome into an opaque type to remove some runtime checks | Dániel Buga | -298/+261 |
| 2020-08-30 | mv compiler to compiler/ | mark | -0/+521 |
