| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-10-22 | Move tests | Michael Goulet | -50/+0 |
| 2024-06-30 | Migrate tests to use `-Znext-solver` | Deadbeef | -1/+6 |
| 2024-06-28 | bless UI tests | Deadbeef | -14/+5 |
| 2024-06-22 | Make `effects` an incomplete feature | Deadbeef | -1/+10 |
| 2024-03-07 | Merge `check_mod_impl_wf` and `check_mod_type_wf` | Oli Scherer | -2/+25 |
| 2024-02-23 | Revert some `span_bug`s to `span_delayed_bug`. | Nicholas Nethercote | -0/+22 |
