]> git.lizzy.rs Git - rust.git/commit
Auto merge of #50967 - oli-obk:miri_api_refactor, r=eddyb
authorbors <bors@rust-lang.org>
Fri, 25 May 2018 13:59:48 +0000 (13:59 +0000)
committerbors <bors@rust-lang.org>
Fri, 25 May 2018 13:59:48 +0000 (13:59 +0000)
commit990d8aa743b1dda3cc0f68fe09524486261812c6
tree76b57fd8f2eed340185b4714f0b2e98368519396
parent9823cb99c5779c0910a0d0a232966b37dfda73fd
parent5f599bb490ad7b44d6130213e635c3912f1978d5
Auto merge of #50967 - oli-obk:miri_api_refactor, r=eddyb

Miri api refactor

r? @eddyb

cc @Zoxc

based on https://github.com/rust-lang/rust/pull/50916
src/librustc/lib.rs