| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-05-24 | remove proof tree formatter, make em shallow | lcnr | -3/+3 |
| 2024-05-20 | move global cache lookup into fn | lcnr | -16/+18 |
| 2024-05-18 | Uplift inspect into rustc_type_ir | Michael Goulet | -3/+3 |
| 2023-12-14 | update use of feature flags | lcnr | -1/+1 |
| 2023-11-02 | use global cache when computing proof trees | lcnr | -11/+36 |
| 2023-08-03 | rewrite stack dependent overflow handling | lcnr | -0/+100 |
