(arxiv.org)

278 points love2read | 3 comments | 20 Dec 24 23:30 UTC | HN request time: 0s | source

1. Alifatisk ◴[21 Dec 24 00:21 UTC] No.42476456[source]▶

c2rust.com, but it uses things like libc::c_int

replies(1): >>42476478 #

2. 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 #

3. rat87 ◴[21 Dec 24 07:11 UTC] No.42478012[source]▶

How is c2rust doing these days? For practical codebases?

Compiling C to Safe Rust, Formalized