Documentation

The C2Rust manualarrow-up-right is available online and is our comprehensive documentation for using and developing C2Rust.

Learn More

More information about installing c2rust from crates.ioarrow-up-right is availble in this introductory blog post:

Introduction to C2Rustarrow-up-right

Per Larsen recently presented a talk on C2Rust at RustConf detailing both our approach to translation as well as our cross-checking approach to testing the resulting translations.

RustConf 2018 - C2Rust: Migrating Legacy Code to Rustarrow-up-right

Eric Mertens wrote a blog post describing some of the challenges we encountered during translation of C to Rust and how C2Rust tackles them.

C2Rust Challengesarrow-up-right

Last updated