| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-04-24 | norm nested aliases before evaluating the parent goal | lcnr | -1/+1 |
| 2025-04-10 | Deeply normalize obligations in BestObligation | Michael Goulet | -2/+1 |
| 2025-04-08 | UI tests: add missing diagnostic kinds where possible | Vadim Petrochenkov | -2/+2 |
| 2025-02-18 | Add reference annotations for the `do_not_recommend` attribute | Eric Huss | -0/+1 |
| 2025-01-31 | Manually walk into WF obligations in BestObligation proof tree visitor | Michael Goulet | -2/+2 |
| 2024-12-18 | Stabilize `#[diagnostic::do_not_recommend]` | Georg Semmler | -2/+0 |
| 2024-05-28 | eagerly normalize when adding goals | lcnr | -2/+3 |
| 2024-05-21 | Move `#[do_not_recommend]` to the `#[diagnostic]` namespace | Georg Semmler | -1/+1 |
| 2024-05-19 | Actually use the `#[do_not_recommend]` attribute if present | Georg Semmler | -0/+60 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |