ThalIR - Solidity intermediate representation for smart contract security auditing
Command-line interface for ThalIR - Solidity to IR compiler
Core IR types and builders for ThalIR smart contract analysis
Emitters for ThalIR - textual and annotated output
Parser for ThalIR files
Solidity to ThalIR transformation