| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-10-15 | stabilize `-Znext-solver=coherence` | lcnr | -6/+2 |
| 2024-09-11 | Revert 'Stabilize -Znext-solver=coherence' | Michael Goulet | -2/+6 |
| 2024-09-05 | stabilize `-Znext-solver=coherence` | lcnr | -6/+2 |
| 2024-05-30 | Fold item bound before checking that they hold | Michael Goulet | -1/+1 |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -5/+5 |
| 2024-02-05 | Stop bailing out from compilation just because there were incoherent traits | Oli Scherer | -7/+7 |
| 2023-12-14 | update use of feature flags | lcnr | -2/+2 |
| 2023-06-06 | bless coherence test | Michael Goulet | -2/+7 |
| 2023-04-26 | add known-bug test for unsound issue 105782 | whtahy | -0/+30 |
