about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/weak_memory
AgeCommit message (Expand)AuthorLines
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-1/+1
2025-05-08remove stray stderr fileRalf Jung-22/+0
2025-04-29Added random schedulinggeetanshjuneja-1/+1
2024-09-28allow mixed-size atomic readsRalf Jung-102/+0
2024-09-16Bump ui testOli Scherer-8/+8
2024-08-27miri: Remove feature(new_uninit)Jubilee Young-1/+0
2024-08-12miri weak memory emulation: initialize store buffer only on atomic writes; pr...Ralf Jung-0/+58
2024-04-18when reusing an address, most of the time only reuse from the current threadRalf Jung-2/+4
2024-03-02print thread name in miri error backtracesRalf Jung-8/+8
2023-11-24Bless Miri testsNilstrieb-2/+2
2023-11-10data_race: link to docs for 'unusual' race conditionsRalf Jung-0/+2
2023-10-27give some more help for the unusual data racesRalf Jung-6/+8
2023-10-27data-race: preserve structured access information longer, and don't upper-cas...Ralf Jung-4/+4
2023-10-23don't talk about 'Data race' when both accesses are atomicRalf Jung-4/+4
2023-10-23clean up imperfect overlap detection in weak-mem emulationRalf Jung-12/+24
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+106