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

/*! EVM-specific operations beyond standard IR.
 *
 * Cranelift doesn't know about storage, delegatecall, or keccak256. These extensions define the
 * EVM-specific operations that make ThalIR suitable for smart contract analysis, keeping them
 * separate from core IR so the abstraction boundary stays clear.
 */

pub mod evm;
pub mod crypto;
pub mod storage;

pub use evm::*;
pub use crypto::*;
pub use storage::*;