←back to thread

Compiling C to Safe Rust, Formalized

(arxiv.org)
278 points love2read | 1 comments | 20 Dec 24 23:30 UTC | HN request time: 0.504s | source
Show context
ljlolel ◴[21 Dec 24 00:14 UTC] No.42476421[source]▶
I wonder how well O3 can do just compiling C to rust in one shot
replies(2): >>42476600 #>>42476636 #
1. saagarjha ◴[21 Dec 24 00:49 UTC] No.42476600[source]▶
Probably pretty bad.
replies(2): >>42476647 #>>42476692 #