logoalt Hacker News

malisperyesterday at 11:35 AM0 repliesview on HN

This is correct. We first used c2rust to translate the C into unsafe Rust. The generated Rust code had one crate per C compilation unit. We then took the unsafe unidiomatic Rust and one crate at a time converted it to safe Rust.