Module translate

Modules

get_mir

Various utilities to load MIR. Allow to easily load the MIR code generated by a specific pass.

resolve_path

Machinery to resolve a string path into a DefId. Based on clippy_utils::def_path_res.

translate_bodies

Translate functions from the rust compiler MIR to our internal representation. Our internal representation is very close to MIR, but is more convenient for us to handle, and easier to maintain - rustc’s representation can evolve independently.

translate_constants

Functions to translate constants to LLBC.

translate_crate_to_ullbc

translate_ctx

The translation contexts.

translate_functions_to_ullbc

Translate functions from the rust compiler MIR to our internal representation. Our internal representation is very close to MIR, but is more convenient for us to handle, and easier to maintain - rustc’s representation can evolve independently.

translate_predicates

translate_traits

translate_types