Stream: general

Topic: miri kudos


Jake Goulding (Jan 17 2020 at 16:34, on Zulip):

I am impressed with how easy it easy to run miri on things these days. Bravo! And thanks for the suggestion.

To add to this, :heart: @RalfJ for sending proactive PRs to the playground when something changes about how Miri is built!

RalfJ (Jan 17 2020 at 18:49, on Zulip):

you adding miri to the playground was the first step to miri getting any kind of "official" status, so that's the least I can do :)

Last update: Feb 25 2020 at 04:15UTC