about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/weak_memory
AgeCommit message (Collapse)AuthorLines
2025-09-10move all weak memory tests into their folderRalf Jung-248/+0
2025-09-10refactor weak-mem test to list all expected executionsRalf Jung-101/+110
2025-09-10ensure we do not see the inconsistent execution from Figure 8Ralf Jung-0/+8
2025-07-15Make spin function naming more consistentPatrick-6-4/+4
2025-07-15Add std::hint::spin_loop()Patrick-6-2/+2
2025-04-29Added random schedulinggeetanshjuneja-1/+1
2024-09-21fmt (with a huge diff for some reason)Ralf Jung-1/+1
2024-08-12miri weak memory emulation: initialize store buffer only on atomic writes; ↵Ralf Jung-11/+8
pre-fill with previous value
2024-04-18when an address gets reused, establish a happens-before link in the data ↵Ralf Jung-0/+3
race model
2024-02-07Update testsr0cky-0/+1
2023-10-23detect mixed-size atomic accessesRalf Jung-40/+0
2023-04-14Fix spellingJosh 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-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+270
git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573