| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-04-14 | move tests | lcnr | -12/+0 |
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -1/+1 |
| 2024-10-15 | stabilize `-Znext-solver=coherence` | lcnr | -0/+12 |
| 2024-09-11 | Revert 'Stabilize -Znext-solver=coherence' | Michael Goulet | -12/+0 |
| 2024-09-05 | stabilize `-Znext-solver=coherence` | lcnr | -0/+12 |
