thalir-core 0.1.0

Core IR types and builders for ThalIR smart contract analysis
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

/*! Lower high-level IR to Cranelift for compilation.
 *
 * ThalIR preserves Solidity semantics at a high level, but actual execution requires lower-level IR.
 * This bridges the gap by lowering to Cranelift, mapping storage operations and external calls to
 * runtime functions while keeping native arithmetic fast.
 */

pub mod context;
pub mod lowering;
pub mod module;

pub use context::CodegenContext;
pub use lowering::lower_instruction;
pub use module::ModuleBuilder;