3 ms·
Do you know if there's a "rust2c" tool?
by mister_hn 7y ago
Do you know if there's a "rust2c" tool?
- monocasa 7y agomrustc can compile Rust to C.
- nickpsecurity 7y agoThe verification ecosystem for C is the last reason that tool-augmented C is safer than Rust. A Rust-to-C compiler might let Rust leverage that. So, thanks for the tip.
- monocasa 7y agoI don't think mrustc speaks the C dialects that are friendly to tool augmented verification currently, FWIW. The focus of that project is from source boot strapping, and support for archs that don't have LLVM backends.