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.

hax

toolchain 🔒

translate 🔒

Macros

sinto_as_usize

sinto_reexport

sinto_todo

Enums

CharonFailure

Functions

main 🔒

run_charon 🔒

Run charon. Returns the number of warnings generated.