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

Age	Commit message (Collapse)	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
	Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-11-14	Custom MIR: Support cleanup blocks	Tomasz Miąsko	-3/+3
	Cleanup blocks are declared with `bb (cleanup) = { ... }`. `Call` and `Drop` terminators take an additional argument describing the unwind action, which is one of the following: * `UnwindContinue()` * `UnwindUnreachable()` * `UnwindTerminate(reason)`, where reason is `ReasonAbi` or `ReasonInCleanup` * `UnwindCleanup(block)` Also support unwind resume and unwind terminate terminators: * `UnwindResume()` * `UnwindTerminate(reason)`
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
	value callee-invalid
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
	git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573