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

Age	Commit message (Expand)	Author	Lines
2023-11-30	move some validity-related tests into subdir	Ralf Jung	-0/+105
2023-11-24	Bless Miri tests	Nilstrieb	-26/+26
2023-11-14	Custom MIR: Support cleanup blocks	Tomasz Miąsko	-3/+3
2023-10-28	add some tests specifically for validity checks arising from match binders	Ralf Jung	-0/+59
2023-09-06	miri: catch function calls where the argument is caller-invalid / the return ...	Ralf Jung	-4/+101
2023-08-02	const validation: point at where we found a pointer but expected an integer	Ralf Jung	-4/+4
2023-07-14	remove compile-flags that are no longer needed	Ralf Jung	-2/+0
2023-02-20	basic dyn* support for Miri	Ralf Jung	-3/+3
2022-09-21	Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'	Oli Scherer	-0/+552