| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-10-22 | Move tests | Michael Goulet | -16/+0 |
| 2024-06-30 | Migrate tests to use `-Znext-solver` | Deadbeef | -2/+3 |
| 2024-06-22 | Make `effects` an incomplete feature | Deadbeef | -1/+1 |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -1/+1 |
| 2023-12-04 | Use default params until effects in desugaring | Deadbeef | -0/+15 |
