about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/weak_memory
AgeCommit message (Collapse)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; ↵Ralf Jung-0/+58
pre-fill with previous value
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
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
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 ↵Ralf Jung-4/+4
upper-case access types
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
git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 04:28:10 +0000