search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.64k stars 349 forks source link

Preparing for merge from rustc #4023

Closed RalfJung closed 2 weeks ago

RalfJung commented 2 weeks ago

Updates to a version of rustc that is no longer affected by https://github.com/rust-lang/rust/issues/132845