List of all items
Structs
- evm::AbstractStack
- evm::Block
- evm::ConcreteStack
- evm::Disassembly
- evm::Evm
- il::Compiler
- il::Lexer
- il::Parser
- il::Span
- ll::Bytecode
- ll::Offset
- util::Interval
- util::w256
Enums
- evm::ConcreteResult
- il::BinOp
- il::CompilerError
- il::Error
- il::ErrorCode
- il::Region
- il::Term
- il::Token
- ll::Error
- ll::Instruction
Traits
- evm::Stack
- evm::Stepper
- evm::Word
- util::Bottom
- util::Concretizable
- util::FromHexString
- util::IsBottom
- util::IsTop
- util::Join
- util::JoinInto
- util::JoinLattice
- util::JoinSemiLattice
- util::Max
- util::Min
- util::OverflowingAdd
- util::OverflowingSub
- util::ToHexString
- util::Top
Functions
Type Definitions
Constants
- evm::opcode::ADD
- evm::opcode::ADDMOD
- evm::opcode::ADDRESS
- evm::opcode::AND
- evm::opcode::BALANCE
- evm::opcode::BLOCKHASH
- evm::opcode::BYTE
- evm::opcode::CALL
- evm::opcode::CALLCODE
- evm::opcode::CALLDATACOPY
- evm::opcode::CALLDATALOAD
- evm::opcode::CALLDATASIZE
- evm::opcode::CALLER
- evm::opcode::CALLVALUE
- evm::opcode::CHAINID
- evm::opcode::CODECOPY
- evm::opcode::CODESIZE
- evm::opcode::COINBASE
- evm::opcode::CREATE
- evm::opcode::CREATE2
- evm::opcode::DELEGATECALL
- evm::opcode::DIFFICULTY
- evm::opcode::DIV
- evm::opcode::DUP1
- evm::opcode::DUP10
- evm::opcode::DUP11
- evm::opcode::DUP12
- evm::opcode::DUP13
- evm::opcode::DUP14
- evm::opcode::DUP15
- evm::opcode::DUP16
- evm::opcode::DUP2
- evm::opcode::DUP3
- evm::opcode::DUP4
- evm::opcode::DUP5
- evm::opcode::DUP6
- evm::opcode::DUP7
- evm::opcode::DUP8
- evm::opcode::DUP9
- evm::opcode::EOF
- evm::opcode::EQ
- evm::opcode::EXP
- evm::opcode::EXTCODECOPY
- evm::opcode::EXTCODEHASH
- evm::opcode::EXTCODESIZE
- evm::opcode::GAS
- evm::opcode::GASLIMIT
- evm::opcode::GASPRICE
- evm::opcode::GT
- evm::opcode::INVALID
- evm::opcode::ISZERO
- evm::opcode::JUMP
- evm::opcode::JUMPDEST
- evm::opcode::JUMPI
- evm::opcode::KECCAK256
- evm::opcode::LOG0
- evm::opcode::LOG1
- evm::opcode::LOG2
- evm::opcode::LOG3
- evm::opcode::LOG4
- evm::opcode::LT
- evm::opcode::MLOAD
- evm::opcode::MOD
- evm::opcode::MSIZE
- evm::opcode::MSTORE
- evm::opcode::MSTORE8
- evm::opcode::MUL
- evm::opcode::MULMOD
- evm::opcode::NOT
- evm::opcode::NUMBER
- evm::opcode::OR
- evm::opcode::ORIGIN
- evm::opcode::PC
- evm::opcode::POP
- evm::opcode::PUSH1
- evm::opcode::PUSH10
- evm::opcode::PUSH11
- evm::opcode::PUSH12
- evm::opcode::PUSH13
- evm::opcode::PUSH14
- evm::opcode::PUSH15
- evm::opcode::PUSH16
- evm::opcode::PUSH17
- evm::opcode::PUSH18
- evm::opcode::PUSH19
- evm::opcode::PUSH2
- evm::opcode::PUSH20
- evm::opcode::PUSH21
- evm::opcode::PUSH22
- evm::opcode::PUSH23
- evm::opcode::PUSH24
- evm::opcode::PUSH25
- evm::opcode::PUSH26
- evm::opcode::PUSH27
- evm::opcode::PUSH28
- evm::opcode::PUSH29
- evm::opcode::PUSH3
- evm::opcode::PUSH30
- evm::opcode::PUSH31
- evm::opcode::PUSH32
- evm::opcode::PUSH4
- evm::opcode::PUSH5
- evm::opcode::PUSH6
- evm::opcode::PUSH7
- evm::opcode::PUSH8
- evm::opcode::PUSH9
- evm::opcode::RETURN
- evm::opcode::RETURNDATACOPY
- evm::opcode::RETURNDATASIZE
- evm::opcode::REVERT
- evm::opcode::SAR
- evm::opcode::SDIV
- evm::opcode::SELFBALANCE
- evm::opcode::SELFDESTRUCT
- evm::opcode::SGT
- evm::opcode::SHL
- evm::opcode::SHR
- evm::opcode::SIGNEXTEND
- evm::opcode::SLOAD
- evm::opcode::SLT
- evm::opcode::SMOD
- evm::opcode::SSTORE
- evm::opcode::STATICCALL
- evm::opcode::STOP
- evm::opcode::SUB
- evm::opcode::SWAP1
- evm::opcode::SWAP10
- evm::opcode::SWAP11
- evm::opcode::SWAP12
- evm::opcode::SWAP13
- evm::opcode::SWAP14
- evm::opcode::SWAP15
- evm::opcode::SWAP16
- evm::opcode::SWAP2
- evm::opcode::SWAP3
- evm::opcode::SWAP4
- evm::opcode::SWAP5
- evm::opcode::SWAP6
- evm::opcode::SWAP7
- evm::opcode::SWAP8
- evm::opcode::SWAP9
- evm::opcode::TIMESTAMP
- evm::opcode::XOR
- il::ARITHMETIC_COMPARATORS
- il::ARITHMETIC_OPERATORS
- il::BINARY_CONNECTIVES
- il::LOGICAL_CONNECTIVES
- util::MAX_INTERVAL