| Age | Commit message (Collapse) | 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 | |
