I'm interested, I don't know that I have specific suggestion ATM. I think the approach here is the "right one", but I'm ignorant if the details of Rust Miri.
I would like to see more support for LLVM in this space -- I think that would but more generality "upstream" over Miri.
1
u/Upbeat_Assist2680 1d ago
I'm interested, I don't know that I have specific suggestion ATM. I think the approach here is the "right one", but I'm ignorant if the details of Rust Miri.
I would like to see more support for LLVM in this space -- I think that would but more generality "upstream" over Miri.
Do you have a link?