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

Age	Commit message (Expand)	Author	Lines
2024-08-27	miri: Remove feature(new_uninit)	Jubilee Young	-1/+0
2024-08-12	miri weak memory emulation: initialize store buffer only on atomic writes; pr...	Ralf Jung	-0/+58
2024-04-18	when reusing an address, most of the time only reuse from the current thread	Ralf Jung	-2/+4
2024-03-02	print thread name in miri error backtraces	Ralf Jung	-8/+8
2023-11-24	Bless Miri tests	Nilstrieb	-2/+2
2023-11-10	data_race: link to docs for 'unusual' race conditions	Ralf Jung	-0/+2
2023-10-27	give some more help for the unusual data races	Ralf Jung	-6/+8
2023-10-27	data-race: preserve structured access information longer, and don't upper-cas...	Ralf Jung	-4/+4
2023-10-23	don't talk about 'Data race' when both accesses are atomic	Ralf Jung	-4/+4
2023-10-23	clean up imperfect overlap detection in weak-mem emulation	Ralf Jung	-12/+24
2022-09-21	Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'	Oli Scherer	-0/+106