| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-01-09 | readd the provisional cache | lcnr | -1/+2 |
| 2023-12-18 | track the source of nested goals | lcnr | -1/+1 |
| 2023-11-21 | Fix `clippy::needless_borrow` in the compiler | Nilstrieb | -1/+1 |
| 2023-11-17 | Auto merge of #117278 - lcnr:try-normalize-ty, r=compiler-errors | bors | -2/+5 |
| 2023-11-13 | Fix overflow and cycle bound for ProofTreeVisitor. | Gavin Gray | -1/+1 |
| 2023-11-09 | `try_normalize_ty` end with rigid alias on failure | lcnr | -2/+5 |
| 2023-11-02 | use global cache when computing proof trees | lcnr | -7/+5 |
| 2023-09-21 | w | lcnr | -1/+1 |
| 2023-09-21 | slight refactor, add comment | lcnr | -11/+20 |
| 2023-09-21 | proof trees: use for `intercrate_ambiguity_causes` | lcnr | -0/+226 |
