Expand description
The Charon driver, which calls Rustc with callbacks to compile some Rust crate to LLBC.
Modulesยง
Enumsยง
Functionsยง
- main ๐
- run_
charon ๐ - Run charon. Returns the number of warnings generated.
- transformation_
passes - Calculate the list of passes we will run on the crate before outputting it.