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

Age	Commit message (Expand)	Author	Lines
2024-04-24	avoid 'let _' in tests where we actually want the value to be computed	Ralf Jung	-1/+1
2024-04-18	when reusing an address, most of the time only reuse from the current thread	Ralf Jung	-0/+2
2024-04-17	Rollup merge of #124030 - RalfJung:adjust_alloc_base_pointer, r=oli-obk	Matthias Krüger	-1/+1
2024-04-17	interpret: rename base_pointer -> root_pointer	Ralf Jung	-1/+1
2024-04-16	Box::into_raw: make Miri understand that this is a box-to-raw cast	Ralf Jung	-2/+2
2024-03-23	Auto merge of #3385 - Zoxc:read-types, r=RalfJung	bors	-5/+11
2024-03-23	Report retags as distinct from real memory accesses for data races	John Kåre Alsaker	-5/+11
2024-03-18	add_retag: ensure box-to-raw-ptr casts are preserved for Miri	Ralf Jung	-2/+2
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