Compiling Rust to readable C with Eurydice(lwn.net)
127 points by peter_d_sherman | 37 comments
LWN article describing Eurydice, a project that compiles Rust code into readable C for use with verification tools and platforms lacking a Rust compiler.
127 points by peter_d_sherman | 37 comments
LWN article describing Eurydice, a project that compiles Rust code into readable C for use with verification tools and platforms lacking a Rust compiler.
158 points by todsacerdoti | 107 comments
160 points by wofo | 110 comments
398 points by ridruejo | 99 comments
LWN article on Cranelift, the Wasmtime code-generation backend now available as an optional faster debug-build backend for the Rust compiler.