Compiling C to Safe Rust, Formalized
arxiv.org
Compiling C to Safe Rust, Formalized
1–10 of 173 posts
Re: Compiling C to Safe Rust, Formalized
#2I wonder how well O3 can do just compiling C to rust in one shot
Re: Compiling C to Safe Rust, Formalized
#3[flagged]
Re: Compiling C to Safe Rust, Formalized
#4c2rust.com, but it uses things like libc::c_int
Re: Compiling C to Safe Rust, Formalized
#5c2rust.com, but it uses things like libc::c_int
C2Rust is mentioned in the second paragraph of the related work section.
Re: Compiling C to Safe Rust, Formalized
#6Note that this is done for “existing formally verified C codebases” which is a lot different from typical systems C code which is not formally verified.
Re: Compiling C to Safe Rust, Formalized
#7I wonder how well O3 can do just compiling C to rust in one shot
Probably pretty bad.
Re: Compiling C to Safe Rust, Formalized
#8Note that this is done for “existing formally verified C codebases” which is a lot different from typical systems C code which is not formally verified.
[deleted]
Re: Compiling C to Safe Rust, Formalized
#9I wonder how well O3 can do just compiling C to rust in one shot
Funny, I came here to say just the opposite, that I'm glad algorithmic computing is still a thing in research and that not everything is AI.
Ironically, AI is able to produce research-grade algorithms and will probably become an authority on the subject, helping take more traditional CS to the next level.