Crate charon_driver

The Charon driver, which calls Rustc with callbacks to compile some Rust crate to LLBC.

Modules

driver 🔒

Run the rustc compiler with our custom options and hooks.

translate 🔒

Enums

CharonFailure

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.