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	-56/+56
2024-03-02	print thread name in miri error backtraces	Ralf Jung	-7/+7
2024-01-02	Allow unused tuple struct fields in Miri tests	Jake Goulding	-2/+2
2023-11-24	Bless Miri tests	Nilstrieb	-62/+62
2023-10-27	data-race: preserve structured access information longer, and don't upper-cas...	Ralf Jung	-5/+5
2023-10-06	Fix problems of Reserved -> Frozen	Neven Villani	-89/+15
2023-09-21	adjust how closure/generator types and rvalues are printed	Ralf Jung	-4/+4
2023-08-16	on out-of-bounds error, show where the allocation was created	Ralf Jung	-2/+12
2023-08-05	tree borrows: consider some retags as writes for the purpose of data races	Ralf Jung	-0/+157
2023-08-02	Auto merge of #112431 - Urgau:cast_ref_to_mut_improvments, r=Nilstrieb	bors	-0/+2
2023-07-29	Auto merge of #114211 - RalfJung:miri, r=RalfJung	bors	-14/+14
2023-07-29	Adjust some tests for invalid_reference_casting improvements	Urgau	-0/+2
2023-07-29	Auto merge of #113422 - Urgau:cast_ref_to_mut-pre-beta, r=Nilstrieb	bors	-1/+1
2023-07-28	exract a perform_access, check read-read commutation exhaustively	Neven Villani	-14/+14
2023-07-26	fix protectors so that all reads actually commute	Neven Villani	-14/+14
2023-07-21	ask people to reach out if we declare too much UB	Ralf Jung	-2/+7
2023-07-21	SB: track whether a retag occurred nested inside a field	Ralf Jung	-5/+5
2023-07-21	make full field retagging the default	Ralf Jung	-7/+15
2023-07-13	Rename cast_ref_to_mut lint to invalid_reference_casting	Urgau	-1/+1
2023-06-19	bless new tests	Ralf Jung	-2/+2
2023-06-10	box_exclusive_violation	Neven Villani	-0/+118
2023-06-05	Differentiate between explicit accesses and accesses inserted by TB	Neven Villani	-87/+87
2023-06-03	Select more TB fail tests	Neven Villani	-0/+2377