Building the manual Adding to the manual Generated docs Building the manual cargo install —git https://github.com/immunant/mdBook.git —branch installable (May require —for...

qsort qsort This tiny project provides an example of how to useCMake to build a C project and to generate the clang"compile_commands.json" file which is used by toolslike the c...

C2Rust Vagrant environment Installing Prerequisites Running with Virtualbox Running with VMWare Fusion C2Rust Vagrant environment Ubuntu 18.04 (GNU/Linux 4.15.0-12-generic ...

C2Rust-Bitfields Crate Requirements Example Tests Acknowledgements C2Rust-Bitfields Crate C2Rust-Bitfields enables you to write structs containing bitfields. It has three p...

Example translations Example translations The following example translations illustrate how to run C2Rust on realcodebases. Each example has been modified if necessary to prepa...

grabc Getting Started Transpiling grabc Getting Started If the repo submodule appears to be empty or out of date, you may need to run git submodule update —init path/to/rep...

Adding a test case Running the tests What happens under the hood Adding a test case To add a new test case, simply create a new .c file. For example: void example ( unsign...

Snudown Snudown To build snudown with the C2Rust translator and/or cross-checks, initialize the git submodule by running git submodule update —init path/to/repo . Make sure to...

url parser Getting Started Transpiling url parser Getting Started If the repo submodule appears to be empty or out of date, you may need to run git submodule update —init p...

lil (Little Interpreted Language) Getting Started Transpiling lil (Little Interpreted Language) Getting Started If the repo submodule appears to be empty or out of date, yo...