]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b76ee83 428af73)
Auto merge of #55674 - oli-obk:miri_engine_refactoring, r=RalfJung
authorbors <bors@rust-lang.org>
Sun, 11 Nov 2018 14:24:39 +0000 (14:24 +0000)
committerbors <bors@rust-lang.org>
Sun, 11 Nov 2018 14:24:39 +0000 (14:24 +0000)
Miri engine refactoring

r? @RalfJung

split out the "just moves stuff around" part of https://github.com/rust-lang/rust/pull/55293


Trivial merge
Empowering everyone to build reliable and efficient software.