|
|
|
|
|
|
by westurner
28 days 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 : > 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. |
|
|