4 ms·
There has been work to verify a subset of Rust's logic - https://plv.mpi-sws.org/rustbelt/popl18/ https://plv.mpi-sws.org/rustbelt/popl18/ - but the compiler it
by strangecasts 8y ago
There has been work to verify a subset of Rust's logic - https://plv.mpi-sws.org/rustbelt/popl18/ https://plv.mpi-sws.org/rustbelt/popl18/ - but the compiler itself is not verified, no.