git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

author	bors <bors@rust-lang.org>
	Thu, 6 Oct 2022 00:00:29 +0000 (00:00 +0000)
committer	bors <bors@rust-lang.org>
	Thu, 6 Oct 2022 00:00:29 +0000 (00:00 +0000)
commit	27579a214dc2a918e67bffb51a0825005e8bd42e
tree	2f61e982831c65eaf3dc69ef001c8b94278664d7	tree \| snapshot
parent	c97d02cdb5ca5f5e9eff1fa9e4560d220d1fd2a0	commit \| diff
parent	9cc11e262f1c8313ec11154a2d5440ff5664aec4	commit \| diff

Auto merge of #102573 - RalfJung:mirisync, r=oli-obk

Miri sync

This is a Miri sync created with my experimental fork of josh. We should probably not merge this yet, but we can use this to check if the sync looks the way it should.

r? `@oli-obk`

Empowering everyone to build reliable and efficient software.

RSS Atom

Cargo.lock	diff1 \|	diff2 \|	blob \| history
src/bootstrap/test.rs	diff1 \|	diff2 \|	blob \| history
src/tools/miri/cargo-miri/src/main.rs	diff1 \|	diff2 \|	blob \| history
src/tools/miri/src/lib.rs	diff1 \|	diff2 \|	blob \| history
src/tools/miri/src/stacked_borrows/stack.rs	diff1 \|	diff2 \|	blob \| history