about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/data_race
AgeCommit message (Expand)AuthorLines
2025-06-07make better use of label for data-race and some other errorsRalf Jung-68/+68
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-55/+55
2025-05-22interpret: do not force_allocate all return placesRalf Jung-11/+5
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-94/+45
2025-04-29Added random schedulinggeetanshjuneja-33/+33
2025-03-17Fix miribjorn3-0/+12
2024-10-03make sure we also detect mixed-size races that begin at different addressesRalf Jung-1/+47
2024-10-03fmtRalf Jung-2/+2
2024-09-30Auto merge of #131036 - RalfJung:miri-sync, r=RalfJungbors-6/+3
2024-09-29let rustfmt format importsRalf Jung-6/+3
2024-09-28allow mixed-size atomic readsRalf Jung-38/+154
2024-09-28miri: no longer complain about read-read racesRalf Jung-104/+0
2024-09-21fmt (with a huge diff for some reason)Ralf Jung-3/+3
2024-09-16Bump ui testOli Scherer-105/+105
2024-09-16fmtThe Miri Cronjob Bot-2/+2
2024-09-10miri: treat non-memory local variables properly for data race detectionRalf Jung-0/+192
2024-08-27miri: Remove feature(new_uninit)Jubilee Young-2/+0
2024-04-18when reusing an address, most of the time only reuse from the current threadRalf Jung-0/+68
2024-03-02print thread name in miri error backtracesRalf Jung-117/+117
2023-11-24Bless Miri testsNilstrieb-31/+31
2023-11-10data_race: link to docs for 'unusual' race conditionsRalf Jung-0/+4
2023-10-27give some more help for the unusual data racesRalf Jung-6/+10
2023-10-27data-race: preserve structured access information longer, and don't upper-cas...Ralf Jung-89/+89
2023-10-24fix error read-read reporting when there's also an unsynchronized non-atomic ...Ralf Jung-0/+10
2023-10-23don't talk about 'Data race' when both accesses are atomicRalf Jung-6/+6
2023-10-23detect mixed-size atomic accessesRalf Jung-0/+90
2023-10-23data_race: detect races between atomic and non-atomic accesses, even if both ...Ralf Jung-0/+84
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-4/+4
2023-08-11Include spans in use-after-free diagnosticsBen Kimock-2/+30
2023-08-01properly track why we checked whether a pointer is in-boundsRalf Jung-6/+6
2023-07-14remove compile-flags that are no longer neededRalf Jung-4/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 06:49:20 +0000