| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-04-24 | Error on using `yield` without also using `#[coroutine]` on the closure | Oli Scherer | -4/+5 |
| 2024-04-04 | unconstrained `NormalizesTo` term for opaques | lcnr | -6/+22 |
| 2024-03-10 | Ignore tests w/ current/next revisions from compare-mode=next-solver | Michael Goulet | -2/+2 |
| 2024-02-27 | when defining opaques, require the hidden type to be well-formed | lcnr | -5/+5 |
| 2024-02-13 | use alias-relate to structurally normalize in the solver | lcnr | -0/+23 |
