3 ms·
There are discussions of round-trip between Rust and C; Would this be useful for this too? From https://news.ycombinator.com/item?id=46265855 https://news.yco
by westurner 4mo ago
There are discussions of round-trip between Rust and C;
Would this be useful for this too?
From https://news.ycombinator.com/item?id=46265855 https://news.ycombinator.com/item?id=46265855 :
> To better port C to Rust: 3C (Checked C), c2rust, Crown ownership analysis, RustMap, c2saferrust (LLM), Laertes
C -> Checked C -> Rust
Because Checked C will annotate the raw and other C pointers first.