| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-05-05 | Deeply normalize in the new solver in WF | Michael Goulet | -1/+7 |
| 2025-03-05 | change definitely non-productive cycles to error | lcnr | -1/+1 |
| 2024-07-19 | LTA: Diag: Detect bivariant ty params that are only used recursively | León Orell Valerian Liehr | -2/+2 |
| 2024-03-10 | Ignore tests w/ current/next revisions from compare-mode=next-solver | Michael Goulet | -6/+7 |
| 2024-02-22 | overflow errors: change source to a concrete enum | lcnr | -5/+9 |
| 2024-02-17 | Support weak alias types as self type of inherent impls | León Orell Valerian Liehr | -0/+20 |
