| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-10 | move all weak memory tests into their folder | Ralf Jung | -248/+0 | |
| 2025-09-10 | refactor weak-mem test to list all expected executions | Ralf Jung | -101/+110 | |
| 2025-09-10 | ensure we do not see the inconsistent execution from Figure 8 | Ralf Jung | -0/+8 | |
| 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; ↵ | Ralf Jung | -11/+8 | |
| pre-fill with previous value | ||||
| 2024-04-18 | when an address gets reused, establish a happens-before link in the data ↵ | Ralf Jung | -0/+3 | |
| race model | ||||
| 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 | |
| * additional * addresses * aggregates * always * around * beginning * behaviours * borrows * called * canary * deallocated * determine * division * documentation * empty * endianness * ensures * existing * github * hygiene * individual * initialize * instantiate * library * location * miscellaneous * mitigates * needs * nonexistent * occurred * occurring * overridden * parameter * performable * previous * referential * requires * resolved * scenarios * semantics * spurious * structure * subtracting * suppress * synchronization * this * timestamp * to * transferring * unknown * variable * windows Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com> | ||||
| 2022-09-21 | Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573' | Oli Scherer | -0/+270 | |
| git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573 | ||||
