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

Age	Commit message (Expand)	Author	Lines
2023-02-06	make &mut !Unpin not dereferenceable	Ralf Jung	-54/+0
2023-01-02	tweaks to retag diagnostic handling	Ralf Jung	-4/+4
2022-12-24	fix warnings	Ralf Jung	-2/+2
2022-12-24	Merge from rustc	Ralf Jung	-0/+101
2022-12-23	Mention and number the components of a race in the order the interpreter sees...	Ben Kimock	-7/+7
2022-12-23	attempt to clarify what the backtrace belongs to when there could be ambiguity	Ralf Jung	-61/+61
2022-12-22	Add a (1) and (2) to the data race errors	Ben Kimock	-8/+8
2022-12-21	Fix phrasing	Ben Kimock	-2/+2
2022-12-21	Clean up implementation, deduplicate in errors	Ben Kimock	-16/+6
2022-12-21	Don't run `Drop` terminators on types that do not have drop glue in const eval	Jakob Degen	-2/+2
2022-12-21	Bless tests	Jakob Degen	-3/+3
2022-12-21	Retag argument to `drop_in_place` unconditionally	Jakob Degen	-12/+5
2022-12-21	Retag as FnEntry on `drop_in_place`	Jakob Degen	-0/+108
2022-12-20	Fix span management	Ben Kimock	-2/+2
2022-12-16	Include a Span in VClock	Ben Kimock	-0/+20
2022-12-06	Bless after rebase	Oli Scherer	-4/+4
2022-12-06	Reintroduce the span printing in miri (plus point to spans where possible)	Oli Scherer	-78/+78
2022-12-06	Remove now-redundant file/line info from const backtraces	Oli Scherer	-114/+114
2022-12-03	for now, do not do fake reads on non-Unpin mutable references	Ralf Jung	-45/+0
2022-11-27	make Stacked Borrows retags act like data races	Ralf Jung	-0/+102
2022-11-27	!Unpin retags must still be reads, to check dereferenceable	Ralf Jung	-0/+89
2022-11-20	add a weak form of protection that justifies Box noalias	Ralf Jung	-27/+71
2022-10-29	Stacked Borrows: make scalar field retagging the default	Ralf Jung	-36/+50
2022-10-22	add scalar-abi-only field retagging option	Ralf Jung	-1/+64
2022-09-21	Don't move too far down the call stack when reporting FnEntry diagnostics	Ben Kimock	-2/+51
2022-09-21	Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'	Oli Scherer	-0/+2697