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

Age	Commit message (Expand)	Author	Lines
2024-03-02	Tree Borrows: print where the forbidden access happens; make tag tracking les...	Ralf Jung	-30/+30
2024-03-02	print thread name in miri error backtraces	Ralf Jung	-1/+1
2023-11-29	explain tests that disable the provenance GC	Ralf Jung	-0/+2
2023-11-24	Manual find replace updates	Nilstrieb	-1/+1
2023-11-24	Bless Miri tests	Nilstrieb	-16/+16
2023-11-19	tag-gc -> provenance-gc	Ben Kimock	-2/+2
2023-10-06	Fix problems of Reserved -> Frozen	Neven Villani	-14/+175
2023-09-23	Merge from rustc	The Miri Conjob Bot	-1/+1
2023-09-21	adjust how closure/generator types and rvalues are printed	Ralf Jung	-1/+1
2023-09-19	Issue of the current model: spurious reads are not possible	Neven Villani	-2/+2
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