about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/weak_memory
AgeCommit message (Expand)AuthorLines
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; pr...Ralf Jung-11/+8
2024-04-18when an address gets reused, establish a happens-before link in the data race...Ralf Jung-0/+3
2024-02-07Update testsr0cky-0/+1
2023-10-23detect mixed-size atomic accessesRalf Jung-40/+0
2023-04-14Fix spellingJosh Soref-2/+2
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+270