Stream: t-compiler/const-eval

Topic: Where's miri-engine?


Christian Poveda (Mar 07 2019 at 16:17, on Zulip):

on the compiler lecture about miri and const-eval, @oli mentioned miri-engine, where's the code for miri-engine?

RalfJ (Mar 07 2019 at 16:20, on Zulip):

@Christian Poveda src/librustc_mir/interpret

RalfJ (Mar 07 2019 at 16:20, on Zulip):

with some definitions in src/librustc/mir/interpret

Christian Poveda (Mar 07 2019 at 20:03, on Zulip):

but then miri has somehow rustc as a dependency?

oli (Mar 07 2019 at 20:44, on Zulip):

Yes. It does extern crate rustc_mir and uses some unstable feature gates

Last update: Nov 15 2019 at 20:30UTC