rust - https://github.com/rust-lang/rust

Age	Commit message (Expand)	Author	Lines
2023-11-24	Bless Miri tests	Nilstrieb	-31/+31
2023-11-10	data_race: link to docs for 'unusual' race conditions	Ralf Jung	-0/+4
2023-10-27	give some more help for the unusual data races	Ralf Jung	-6/+10
2023-10-27	data-race: preserve structured access information longer, and don't upper-cas...	Ralf Jung	-89/+89
2023-10-24	fix error read-read reporting when there's also an unsynchronized non-atomic ...	Ralf Jung	-0/+10
2023-10-23	don't talk about 'Data race' when both accesses are atomic	Ralf Jung	-6/+6
2023-10-23	detect mixed-size atomic accesses	Ralf Jung	-0/+90
2023-10-23	data_race: detect races between atomic and non-atomic accesses, even if both ...	Ralf Jung	-0/+84
2023-10-15	don't UB on dangling ptr deref, instead check inbounds on projections	Ralf Jung	-4/+4
2023-08-11	Include spans in use-after-free diagnostics	Ben Kimock	-2/+30
2023-08-01	properly track why we checked whether a pointer is in-bounds	Ralf Jung	-6/+6
2023-07-14	remove compile-flags that are no longer needed	Ralf Jung	-4/+1
2023-05-08	port tests to 2021 edition	Ralf Jung	-1/+50
2022-12-23	Mention and number the components of a race in the order the interpreter sees...	Ben Kimock	-98/+98
2022-12-23	attempt to clarify what the backtrace belongs to when there could be ambiguity	Ralf Jung	-25/+25
2022-12-22	Add a (1) and (2) to the data race errors	Ben Kimock	-102/+102
2022-12-21	Fix phrasing	Ben Kimock	-25/+25
2022-12-21	Clean up implementation, deduplicate in errors	Ben Kimock	-210/+75
2022-12-20	Fix span management	Ben Kimock	-27/+27
2022-12-16	Include a Span in VClock	Ben Kimock	-0/+260
2022-12-06	Reintroduce the span printing in miri (plus point to spans where possible)	Oli Scherer	-27/+27
2022-12-06	Remove now-redundant file/line info from const backtraces	Oli Scherer	-28/+28
2022-11-27	make Stacked Borrows retags act like data races	Ralf Jung	-42/+42
2022-10-28	update ignore-windows comments	Ralf Jung	-1/+0
2022-09-21	Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'	Oli Scherer	-0/+1489