←back to thread

Compiling C to Safe Rust, Formalized

(arxiv.org)
278 points love2read | 2 comments | 20 Dec 24 23:30 UTC | HN request time: 0.428s | source
Show context
Alifatisk ◴[21 Dec 24 00:21 UTC] No.42476456[source]▶
c2rust.com, but it uses things like libc::c_int
replies(1): >>42476478 #
1. love2read ◴[21 Dec 24 00:24 UTC] No.42476478[source]▶
C2Rust is mentioned in the second paragraph of the related work section.
replies(1): >>42478012 #
2. rat87 ◴[21 Dec 24 07:11 UTC] No.42478012[source]▶
How is c2rust doing these days? For practical codebases?