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

Age	Commit message (Expand)	Author	Lines
2025-04-29	add -Zmiri-deterministic-concurrency flag and use it for concurrency tests	Ralf Jung	-3/+1
2025-04-29	Added random scheduling	geetanshjuneja	-1/+1
2025-03-17	Fix miri	bjorn3	-0/+3
2024-04-18	when reusing an address, most of the time only reuse from the current thread	Ralf Jung	-0/+2
2024-03-02	print thread name in miri error backtraces	Ralf Jung	-1/+1
2023-10-27	data-race: preserve structured access information longer, and don't upper-cas...	Ralf Jung	-1/+1
2023-08-01	properly track why we checked whether a pointer is in-bounds	Ralf Jung	-1/+1
2023-05-08	port tests to 2021 edition	Ralf Jung	-0/+2
2022-12-23	Mention and number the components of a race in the order the interpreter sees...	Ben Kimock	-1/+1
2022-12-22	Add a (1) and (2) to the data race errors	Ben Kimock	-1/+1
2022-11-27	make Stacked Borrows retags act like data races	Ralf Jung	-2/+2
2022-09-21	Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'	Oli Scherer	-0/+38