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

Age	Commit message (Expand)	Author	Lines
2023-08-05	tree borrows: consider some retags as writes for the purpose of data races	Ralf Jung	-127/+0
2023-07-30	refactor tests/utils a bit, and move some FS functions there	Ralf Jung	-2/+2
2023-07-28	exract a perform_access, check read-read commutation exhaustively	Neven Villani	-6/+6
2023-07-26	fix protectors so that all reads actually commute	Neven Villani	-6/+6
2023-07-26	normalize tree borrow diagnostics across targets	Ralf Jung	-4/+4
2023-07-10	Do not set up wrong span for adjustments	Michael Goulet	-10/+3
2023-06-28	Unique gets special treatment when -Zmiri-unique-is-unique	Neven Villani	-0/+208
2023-06-18	Merge from rustc	Ralf Jung	-1/+1
2023-06-05	Differentiate between explicit accesses and accesses inserted by TB	Neven Villani	-33/+33
2023-06-03	Select more TB fail tests	Neven Villani	-0/+839