summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/data_race
AgeCommit message (Expand)AuthorLines
2023-05-08port tests to 2021 editionRalf Jung-1/+50
2022-12-23Mention and number the components of a race in the order the interpreter sees...Ben Kimock-98/+98
2022-12-23attempt to clarify what the backtrace belongs to when there could be ambiguityRalf Jung-25/+25
2022-12-22Add a (1) and (2) to the data race errorsBen Kimock-102/+102
2022-12-21Fix phrasingBen Kimock-25/+25
2022-12-21Clean up implementation, deduplicate in errorsBen Kimock-210/+75
2022-12-20Fix span managementBen Kimock-27/+27
2022-12-16Include a Span in VClockBen Kimock-0/+260
2022-12-06Reintroduce the span printing in miri (plus point to spans where possible)Oli Scherer-27/+27
2022-12-06Remove now-redundant file/line info from const backtracesOli Scherer-28/+28
2022-11-27make Stacked Borrows retags act like data racesRalf Jung-42/+42
2022-10-28update ignore-windows commentsRalf Jung-1/+0
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+1489