]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: bc969f1 67d3779)
Auto merge of #802 - RalfJung:machine, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 29 Jun 2019 11:52:02 +0000 (11:52 +0000)
committerbors <bors@rust-lang.org>
Sat, 29 Jun 2019 11:52:02 +0000 (11:52 +0000)
commit9e424753ba4a9532d7f28660d317c99efc074f50
tree4c52de35b96406ec5d464982cc50f9a25ca08ec4tree | snapshot
parentbc969f1a4c24dcd9a2c3a4ce6e55faef7b711062commit | diff
parent67d3779b0ce5a1f2e735e4497af5321a9000105acommit | diff
Auto merge of #802 - RalfJung:machine, r=RalfJung

some lib.rs refactoring

Taken out of https://github.com/rust-lang/miri/pull/799 so that we can land it now and resolve merge conflicts instead of dragging them along.

Splits lib.rs into machine.rs for the machine state and trait impl, and eval.rs for the main evaluator loop and setting up the initial stack frame.
Empowering everyone to build reliable and efficient software.