search

rust-lang / miri

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

update 'unsupported' message #3558

Closed RalfJung closed 6 months ago

RalfJung commented 6 months ago

Instead of "the interpreter", just say Miri.

Also be a more more clear about what is expected to be supported and what not (Cc https://github.com/rust-lang/miri/issues/2325).

RalfJung commented 6 months ago

@bors r+

bors commented 6 months ago

:pushpin: Commit 23be20b205251b9277cf5e44917b0190f386aeb0 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 6 months ago

:hourglass: Testing commit 23be20b205251b9277cf5e44917b0190f386aeb0 with merge b25a719b20ccb7d0bb92bcc8234fbdaa56a261b9...

bors commented 6 months ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing b25a719b20ccb7d0bb92bcc8234fbdaa56a261b9 to master...