| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-04-29 | add -Zmiri-deterministic-concurrency flag and use it for concurrency tests | Ralf Jung | -1/+1 |
| 2025-04-29 | Added random scheduling | geetanshjuneja | -1/+1 |
| 2024-10-17 | data-race test: disable address reuse that can incur accidental sync | Ralf Jung | -1/+1 |
| 2024-10-08 | fix behavior of release_clock() | Ralf Jung | -0/+31 |
