search

rust-lang / miri

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

README: update introduction #3583

Closed RalfJung closed 1 month ago

RalfJung commented 1 month ago

For some time now, we have (to my knowledge) been able to detect all the UB that rustc actually exploits. I think it's time to advertise that.

We also haven't had the problem of "not every nightly has Miri" for a while.

@rust-lang/miri what do you think?

RalfJung commented 1 month ago

I'm now happy with this PR overall

All right, thanks! @bors r=saethlin

bors commented 1 month ago

:pushpin: Commit abaa47f843d6c27ccfa9c06fe518a2d92bd05b6d has been approved by saethlin

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit abaa47f843d6c27ccfa9c06fe518a2d92bd05b6d with merge 9ecb74268050998aed1657c8eaec289e6dde1b24...

bors commented 1 month ago

:hourglass: Testing commit abaa47f843d6c27ccfa9c06fe518a2d92bd05b6d with merge 28ab963bc9abe6999f4acd126c865ec59bf4a503...

bors commented 1 month ago

:sunny: Test successful - checks-actions Approved by: saethlin Pushing 28ab963bc9abe6999f4acd126c865ec59bf4a503 to master...