module greed.TAC.special_ops


class TAC_Sha3


method handle

handle(state: SymbolicEVMState)

class TAC_Stop


method handle

handle(state: SymbolicEVMState)

class TAC_Address


method handle

handle(state: SymbolicEVMState)

class TAC_Balance


method handle

handle(state: SymbolicEVMState)

class TAC_Origin


method handle

handle(state: SymbolicEVMState)

class TAC_Caller


method handle

handle(state: SymbolicEVMState)

class TAC_Callvalue


method handle

handle(state: SymbolicEVMState)

class TAC_Calldataload


method handle

handle(state: SymbolicEVMState)

class TAC_Calldatasize


method handle

handle(state: SymbolicEVMState)

class TAC_Calldatacopy


method handle

handle(state: SymbolicEVMState)

class TAC_Codesize


method handle

handle(state: SymbolicEVMState)

class TAC_Codecopy


method handle

handle(state: SymbolicEVMState)

class TAC_Gasprice


method handle

handle(state: SymbolicEVMState)

class TAC_Extcodesize


method handle

handle(state: SymbolicEVMState)

class TAC_Extcodecopy


method handle

handle(state: SymbolicEVMState)

class TAC_Returndatasize


method handle

handle(state: SymbolicEVMState)

class TAC_Returndatacopy


method handle

handle(state: SymbolicEVMState)

class TAC_Extcodehash


method handle

handle(state: SymbolicEVMState)

class TAC_Blockhash


method handle

handle(state: SymbolicEVMState)

class TAC_Coinbase


method handle

handle(state: SymbolicEVMState)

class TAC_Timestamp


method handle

handle(state: SymbolicEVMState)

class TAC_Number


method handle

handle(state: SymbolicEVMState)

class TAC_Difficulty


method handle

handle(state: SymbolicEVMState)

class TAC_Gaslimit


method handle

handle(state: SymbolicEVMState)

class TAC_Chainid


method handle

handle(state: SymbolicEVMState)

class TAC_Selfbalance


method handle

handle(state: SymbolicEVMState)

class TAC_Basefee


method handle

handle(state: SymbolicEVMState)

class TAC_Return


method handle

handle(state: SymbolicEVMState)

class TAC_Revert


method handle

handle(state: SymbolicEVMState)

class TAC_Create


method handle

handle(state: SymbolicEVMState)

class TAC_Create2


method handle

handle(state: SymbolicEVMState)

class TAC_Pc


method handle

handle(state: SymbolicEVMState)

class TAC_Invalid


method handle

handle(state: SymbolicEVMState)

class TAC_Selfdestruct


method handle

handle(state: SymbolicEVMState)

class TAC_Gas


method handle

handle(state: SymbolicEVMState)

This file was automatically generated via lazydocs.