| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-07-09 | Port `#[marker]` to the new attribute system | Pavel Grigorenko | -6/+16 |
| 2024-03-31 | Always make inductive cycles as ambig during typeck | Michael Goulet | -3/+19 |
| 2024-03-07 | Merge `check_mod_impl_wf` and `check_mod_type_wf` | Oli Scherer | -12/+12 |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -5/+5 |
| 2024-02-05 | Stop bailing out from compilation just because there were incoherent traits | Oli Scherer | -4/+19 |
| 2023-11-24 | Show number in error message even for one error | Nilstrieb | -3/+3 |
| 2023-10-08 | remove trailing dots | Ali MJ Al-Nasrawy | -1/+1 |
| 2023-10-08 | always show and explain sub region | Ali MJ Al-Nasrawy | -1/+4 |
| 2023-03-22 | stop special-casing `'static` in evaluate | lcnr | -4/+61 |
| 2023-01-12 | Point at impl self type for impl wf obligations | Michael Goulet | -8/+8 |
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+479 |
