Say this was merged into rustc

[tmandry]

It looks like miri was merged into librustc. Is this repository in use anymore? If not, it should say so in the README.

[oli-obk]

Only part of it. This repo is still the full blown interpreter, while rustc just contains the core that is shared with const eval

[tmandry]

Ah, okay. Thanks for the clarification. There was a reddit thread saying that miri was merged into rustc, hence my confusion. Closing this.