| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-07-15 | Make spin function naming more consistent | Patrick-6 | -4/+4 |
| 2025-07-15 | Add std::hint::spin_loop() | Patrick-6 | -2/+2 |
| 2025-04-29 | Added random scheduling | geetanshjuneja | -1/+1 |
| 2024-09-21 | fmt (with a huge diff for some reason) | Ralf Jung | -1/+1 |
| 2024-08-12 | miri weak memory emulation: initialize store buffer only on atomic writes; pr... | Ralf Jung | -11/+8 |
| 2024-04-18 | when an address gets reused, establish a happens-before link in the data race... | Ralf Jung | -0/+3 |
| 2024-02-07 | Update tests | r0cky | -0/+1 |
| 2023-10-23 | detect mixed-size atomic accesses | Ralf Jung | -40/+0 |
| 2023-04-14 | Fix spelling | Josh Soref | -2/+2 |
| 2022-09-21 | Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573' | Oli Scherer | -0/+270 |
