summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/data_race
AgeCommit message (Expand)AuthorLines
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