Repository navigation
Miri wanted features & bugfixes #397
Description
Features that we would like to see
Required (we almost certainly want them)
Nice to have (not critical, we could workaround if needed, etc.)
- Using Miri without Cargo.
Low priority (we will likely not use them in the end)
Done (stabilized, fixed, not needed anymore, etc.)
Bugs that we would like to see fixed
Required (we almost certainly want them)
Nice to have (probably not critical, we could workaround if needed, etc.)
Low priority (we will likely not use them in the end)
Done (stabilized, fixed, or not needed anymore, etc.)
- Improve errors when invoked directly.
Activity
RalfJung commentedon Jul 25, 2021
The issues you listed here are all closed now. :)
If there are other ways Miri can help Rust-for-Linux, I'm happy to see what I can do. :D
ojeda commentedon Jul 26, 2021
Thanks! We have not started using Miri yet (I found those two in a very quick test), so it is possible we find out new bits when we do. I will be updating this list as needed (i.e. this and related lists at #2 are "live" lists to keep track of things).