Mastodon Feed
I want a version of MIRI (the #RustLang interpreter/checker) that makes noise whenever it executes undefined behavior. So I can listen to the silence... of soundness.
Mastodon FeedMastodon FeedMastodon FeedI want a version of MIRI (the #RustLang interpreter/checker) that makes noise whenever it executes undefined behavior. So I can listen to the silence... of soundness.