| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-06-28 | cleaned up some tests | Kivooeo | -69/+0 |
| 2024-10-15 | stabilize `-Znext-solver=coherence` | lcnr | -20/+26 |
| 2024-09-11 | Revert 'Stabilize -Znext-solver=coherence' | Michael Goulet | -26/+20 |
| 2024-09-05 | stabilize `-Znext-solver=coherence` | lcnr | -20/+26 |
| 2023-10-24 | Merge impl_wf_inference into coherence checking | Michael Goulet | -2/+3 |
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+62 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |