mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

explain Miri engine vs Miri-the-tool

This commit is contained in:
Ralf Jung 2021-05-29 21:21:49 +02:00 committed by Oli Scherer
parent faaaaf955c
commit f4e82623b2
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/miri.md
View File

@ -2,8 +2,13 @@
<!-- toc -->
Miri (**MIR** **I**nterpreter) is a virtual machine for executing MIR without
The Miri (**MIR** **I**nterpreter) engine is a virtual machine for executing MIR without
compiling to machine code. It is usually invoked via `tcx.const_eval_*` functions.
In the following, we will refer to the Miri engine as just "Miri", but note that
there also is a stand-alone
[tool called "Miri"](https://github.com/rust-lang/miri/) that is based on the
engine (sometimes referred to as Miri-the-tool to disambiguate it from the
engine).
If you start out with a constant: