| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-03-10 | Ignore tests w/ current/next revisions from compare-mode=next-solver | Michael Goulet | -0/+1 |
| 2024-02-27 | when defining opaques, require the hidden type to be well-formed | lcnr | -1/+1 |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -3/+3 |
| 2024-02-13 | use alias-relate to structurally normalize in the solver | lcnr | -1/+3 |
| 2024-01-08 | Make cycle error more resilient to where it starts | Michael Goulet | -0/+21 |
