Index
| $sel:abi:CreationContext | EVM.Types |
| $sel:abiMap:DappInfo | EVM.Dapp |
| $sel:abiMap:SolcContract | EVM.Solidity |
| $sel:abstRefineArith:Config | EVM.Effects |
| $sel:abstRefineMem:Config | EVM.Effects |
| $sel:accessedAddresses:SubState | EVM.Types |
| $sel:accessedStorageKeys:SubState | EVM.Types |
| $sel:accessList:Transaction | EVM.Transaction |
| $sel:addr:UnexpectedSymbolicArg | EVM.Types |
| $sel:address:AccessListEntry | EVM.Transaction |
| $sel:address:CreationContext | EVM.Types |
| $sel:address:TestVMParams | EVM.UnitTest |
| $sel:address:VMOpts | EVM.Types |
| $sel:addressWord160:Addr | EVM.Types |
| $sel:addrs:CexVars | EVM.SMT |
| $sel:addrs:CollectStorage | EVM.Fuzz |
| $sel:addrs:SMTCex | EVM.SMT |
| $sel:allowFFI:RuntimeConfig | EVM.Types |
| $sel:allowFFI:VMOpts | EVM.Types |
| $sel:args:UnexpectedSymbolicArg | EVM.Types |
| $sel:askSmtIters:UnitTestOptions | EVM.UnitTest |
| $sel:askSmtIters:VeriOpts | EVM.SymExec |
| $sel:astIdMap:DappInfo | EVM.Dapp |
| $sel:asts:SourceCache | EVM.Solidity |
| $sel:astSrcMap:DappInfo | EVM.Dapp |
| $sel:balance:Contract | EVM.Types |
| $sel:balance:Lit | EVM.Types |
| $sel:balanceCreate:TestVMParams | EVM.UnitTest |
| $sel:baseFee:Block | EVM.Types |
| $sel:baseFee:TestVMParams | EVM.UnitTest |
| $sel:baseFee:VMOpts | EVM.Types |
| $sel:baseState:RuntimeConfig | EVM.Types |
| $sel:baseState:VMOpts | EVM.Types |
| $sel:block:ForkState | EVM.Types |
| $sel:block:VM | EVM.Types |
| $sel:blockContext:CexVars | EVM.SMT |
| $sel:blockContext:SMTCex | EVM.SMT |
| $sel:blockGaslimit:VMOpts | EVM.Types |
| $sel:buffers:CexVars | EVM.SMT |
| $sel:buffers:SMTCex | EVM.SMT |
| $sel:bufs:CollectBufs | EVM.Fuzz |
| $sel:burned:VM | EVM.Types |
| $sel:byte:Base | EVM.SMT |
| $sel:cache:ForkState | EVM.Types |
| $sel:cache:VM | EVM.Types |
| $sel:calldata:CexVars | EVM.SMT |
| $sel:calldata:CreationContext | EVM.Types |
| $sel:calldata:FrameState | EVM.Types |
| $sel:calldata:VMOpts | EVM.Types |
| $sel:caller:FrameState | EVM.Types |
| $sel:caller:TestVMParams | EVM.UnitTest |
| $sel:caller:VMOpts | EVM.Types |
| $sel:callreversion:CreationContext | EVM.Types |
| $sel:callvalue:FrameState | EVM.Types |
| $sel:canBeSat:ConstState | EVM.Expr |
| $sel:chainId:Env | EVM.Types |
| $sel:chainId:TestVMParams | EVM.UnitTest |
| $sel:chainId:Transaction | EVM.Transaction |
| $sel:chainId:VMOpts | EVM.Types |
| $sel:code:Contract | EVM.Types |
| $sel:code:FrameState | EVM.Types |
| $sel:code:Lit | EVM.Types |
| $sel:codeContract:FrameState | EVM.Types |
| $sel:codehash:Contract | EVM.Types |
| $sel:codehash:CreationContext | EVM.Types |
| $sel:codeOps:Contract | EVM.Types |
| $sel:coinbase:Block | EVM.Types |
| $sel:coinbase:TestVMParams | EVM.UnitTest |
| $sel:coinbase:VMOpts | EVM.Types |
| $sel:config:Env | EVM.Effects |
| $sel:config:VM | EVM.Types |
| $sel:constraints:VM | EVM.Types |
| $sel:constructorInputs:SolcContract | EVM.Solidity |
| $sel:context:CreationContext | EVM.Types |
| $sel:context:Frame | EVM.Types |
| $sel:contract:FrameState | EVM.Types |
| $sel:contract:Trace | EVM.Types |
| $sel:contract:VMOpts | EVM.Types |
| $sel:contractName:SolcContract | EVM.Solidity |
| $sel:contracts:BuildOutput | EVM.Solidity |
| $sel:contracts:Env | EVM.Types |
| $sel:contracts:Traces | EVM.Types |
| $sel:count:AbstState | EVM.SMT |
| $sel:create:VMOpts | EVM.Types |
| $sel:createreversion:CreationContext | EVM.Types |
| $sel:creationCode:SolcContract | EVM.Solidity |
| $sel:creationCodehash:SolcContract | EVM.Solidity |
| $sel:creationSrcmap:SolcContract | EVM.Solidity |
| $sel:currentFork:VM | EVM.Types |
| $sel:dapp:UnitTestOptions | EVM.UnitTest |
| $sel:debug:Config | EVM.Effects |
| $sel:dumpEndStates:Config | EVM.Effects |
| $sel:dumpExprs:Config | EVM.Effects |
| $sel:dumpQueries:Config | EVM.Effects |
| $sel:dumpTrace:Config | EVM.Effects |
| $sel:env:DappContext | EVM.Dapp |
| $sel:env:ForkState | EVM.Types |
| $sel:env:VM | EVM.Types |
| $sel:errorMap:DappInfo | EVM.Dapp |
| $sel:errorMap:SolcContract | EVM.Solidity |
| $sel:eventMap:DappInfo | EVM.Dapp |
| $sel:eventMap:SolcContract | EVM.Solidity |
| $sel:external:Contract | EVM.Types |
| $sel:fetched:Cache | EVM.Types |
| $sel:ffiAllowed:UnitTestOptions | EVM.UnitTest |
| $sel:file:SM | EVM.Solidity |
| $sel:files:SourceCache | EVM.Solidity |
| $sel:forks:VM | EVM.Types |
| $sel:frames:VM | EVM.Types |
| $sel:freshAddresses:Env | EVM.Types |
| $sel:freshGasVals:Env | EVM.Types |
| $sel:gas:FrameState | EVM.Types |
| $sel:gas:VMOpts | EVM.Types |
| $sel:gasCall:TestVMParams | EVM.UnitTest |
| $sel:gasCreate:TestVMParams | EVM.UnitTest |
| $sel:gaslimit:Block | EVM.Types |
| $sel:gaslimit:TestVMParams | EVM.UnitTest |
| $sel:gasLimit:Transaction | EVM.Transaction |
| $sel:gaslimit:TxState | EVM.Types |
| $sel:gaslimit:VMOpts | EVM.Types |
| $sel:gasprice:TestVMParams | EVM.UnitTest |
| $sel:gasPrice:Transaction | EVM.Transaction |
| $sel:gasprice:TxState | EVM.Types |
| $sel:gasprice:VMOpts | EVM.Types |
| $sel:g_access_list_address:FeeSchedule | EVM.FeeSchedule |
| $sel:g_access_list_storage_key:FeeSchedule | EVM.FeeSchedule |
| $sel:g_balance:FeeSchedule | EVM.FeeSchedule |
| $sel:g_base:FeeSchedule | EVM.FeeSchedule |
| $sel:g_blockhash:FeeSchedule | EVM.FeeSchedule |
| $sel:g_call:FeeSchedule | EVM.FeeSchedule |
| $sel:g_callstipend:FeeSchedule | EVM.FeeSchedule |
| $sel:g_callvalue:FeeSchedule | EVM.FeeSchedule |
| $sel:g_codedeposit:FeeSchedule | EVM.FeeSchedule |
| $sel:g_cold_account_access:FeeSchedule | EVM.FeeSchedule |
| $sel:g_cold_sload:FeeSchedule | EVM.FeeSchedule |
| $sel:g_copy:FeeSchedule | EVM.FeeSchedule |
| $sel:g_create:FeeSchedule | EVM.FeeSchedule |
| $sel:g_ecadd:FeeSchedule | EVM.FeeSchedule |
| $sel:g_ecmul:FeeSchedule | EVM.FeeSchedule |
| $sel:g_exp:FeeSchedule | EVM.FeeSchedule |
| $sel:g_expbyte:FeeSchedule | EVM.FeeSchedule |
| $sel:g_extcode:FeeSchedule | EVM.FeeSchedule |
| $sel:g_extcodehash:FeeSchedule | EVM.FeeSchedule |
| $sel:g_fround:FeeSchedule | EVM.FeeSchedule |
| $sel:g_high:FeeSchedule | EVM.FeeSchedule |
| $sel:g_initcodeword:FeeSchedule | EVM.FeeSchedule |
| $sel:g_jumpdest:FeeSchedule | EVM.FeeSchedule |
| $sel:g_log:FeeSchedule | EVM.FeeSchedule |
| $sel:g_logdata:FeeSchedule | EVM.FeeSchedule |
| $sel:g_logtopic:FeeSchedule | EVM.FeeSchedule |
| $sel:g_low:FeeSchedule | EVM.FeeSchedule |
| $sel:g_memory:FeeSchedule | EVM.FeeSchedule |
| $sel:g_mid:FeeSchedule | EVM.FeeSchedule |
| $sel:g_newaccount:FeeSchedule | EVM.FeeSchedule |
| $sel:g_pairing_base:FeeSchedule | EVM.FeeSchedule |
| $sel:g_pairing_point:FeeSchedule | EVM.FeeSchedule |
| $sel:g_quaddivisor:FeeSchedule | EVM.FeeSchedule |
| $sel:g_selfdestruct:FeeSchedule | EVM.FeeSchedule |
| $sel:g_selfdestruct_newaccount:FeeSchedule | EVM.FeeSchedule |
| $sel:g_sha3:FeeSchedule | EVM.FeeSchedule |
| $sel:g_sha3word:FeeSchedule | EVM.FeeSchedule |
| $sel:g_sload:FeeSchedule | EVM.FeeSchedule |
| $sel:g_sreset:FeeSchedule | EVM.FeeSchedule |
| $sel:g_sset:FeeSchedule | EVM.FeeSchedule |
| $sel:g_transaction:FeeSchedule | EVM.FeeSchedule |
| $sel:g_txcreate:FeeSchedule | EVM.FeeSchedule |
| $sel:g_txdatanonzero:FeeSchedule | EVM.FeeSchedule |
| $sel:g_txdatazero:FeeSchedule | EVM.FeeSchedule |
| $sel:g_verylow:FeeSchedule | EVM.FeeSchedule |
| $sel:g_warm_storage_read:FeeSchedule | EVM.FeeSchedule |
| $sel:g_zero:FeeSchedule | EVM.FeeSchedule |
| $sel:idx:Base | EVM.SMT |
| $sel:immutableLocations:Code | EVM.Dapp |
| $sel:immutableReferences:SolcContract | EVM.Solidity |
| $sel:info:DappContext | EVM.Dapp |
| $sel:inputs:Method | EVM.Solidity |
| $sel:isCreate:TxState | EVM.Types |
| $sel:iterations:VM | EVM.Types |
| $sel:jump:SM | EVM.Solidity |
| $sel:jumpDst:UnexpectedSymbolicArg | EVM.Types |
| $sel:keys:CollectStorage | EVM.Fuzz |
| $sel:length:Base | EVM.SMT |
| $sel:length:Reference | EVM.Solidity |
| $sel:length:SM | EVM.Solidity |
| $sel:lines:SourceCache | EVM.Solidity |
| $sel:logs:VM | EVM.Types |
| $sel:loopHeuristic:VeriOpts | EVM.SymExec |
| $sel:match:UnitTestOptions | EVM.UnitTest |
| $sel:maxCodeSize:Block | EVM.Types |
| $sel:maxCodeSize:TestVMParams | EVM.UnitTest |
| $sel:maxCodeSize:VMOpts | EVM.Types |
| $sel:maxFeePerGas:Transaction | EVM.Transaction |
| $sel:maxIter:UnitTestOptions | EVM.UnitTest |
| $sel:maxIter:VeriOpts | EVM.SymExec |
| $sel:maxPriorityFeeGas:Transaction | EVM.Transaction |
| $sel:memory:FrameState | EVM.Types |
| $sel:memorySize:FrameState | EVM.Types |
| $sel:methodSignature:Method | EVM.Solidity |
| $sel:modifierDepth:SM | EVM.Solidity |
| $sel:msg:UnexpectedSymbolicArg | EVM.Types |
| $sel:mutability:Method | EVM.Solidity |
| $sel:name:Method | EVM.Solidity |
| $sel:next:Base | EVM.SMT |
| $sel:nonce:Contract | EVM.Types |
| $sel:nonce:Lit | EVM.Types |
| $sel:nonce:Transaction | EVM.Transaction |
| $sel:number:Block | EVM.Types |
| $sel:number:TestVMParams | EVM.UnitTest |
| $sel:number:VMOpts | EVM.Types |
| $sel:numCexFuzz:Config | EVM.Effects |
| $sel:offset:CreationContext | EVM.Types |
| $sel:offset:SM | EVM.Solidity |
| $sel:offset:StorageItem | EVM.Solidity |
| $sel:onlyCexFuzz:Config | EVM.Effects |
| $sel:opIx:Trace | EVM.Types |
| $sel:opIxMap:Contract | EVM.Types |
| $sel:origin:TestVMParams | EVM.UnitTest |
| $sel:origin:TxState | EVM.Types |
| $sel:origin:VMOpts | EVM.Types |
| $sel:origStorage:Contract | EVM.Types |
| $sel:otherContracts:VMOpts | EVM.Types |
| $sel:output:Method | EVM.Solidity |
| $sel:overrideCaller:RuntimeConfig | EVM.Types |
| $sel:path:Cache | EVM.Types |
| $sel:pc:FrameState | EVM.Types |
| $sel:pc:UnexpectedSymbolicArg | EVM.Types |
| $sel:prevRandao:Block | EVM.Types |
| $sel:prevrandao:TestVMParams | EVM.UnitTest |
| $sel:prevRandao:VMOpts | EVM.Types |
| $sel:priorityFee:TestVMParams | EVM.UnitTest |
| $sel:priorityFee:TxState | EVM.Types |
| $sel:priorityFee:VMOpts | EVM.Types |
| $sel:process:SolverInstance | EVM.Solvers |
| $sel:r:Transaction | EVM.Transaction |
| $sel:raw:Code | EVM.Dapp |
| $sel:refunds:SubState | EVM.Types |
| $sel:result:VM | EVM.Types |
| $sel:resultChan:Task | EVM.Solvers |
| $sel:returndata:FrameState | EVM.Types |
| $sel:root:DappInfo | EVM.Dapp |
| $sel:rpcInfo:UnitTestOptions | EVM.UnitTest |
| $sel:rpcInfo:VeriOpts | EVM.SymExec |
| $sel:runtimeCode:SolcContract | EVM.Solidity |
| $sel:runtimeCodehash:SolcContract | EVM.Solidity |
| $sel:runtimeSrcmap:SolcContract | EVM.Solidity |
| $sel:r_block:FeeSchedule | EVM.FeeSchedule |
| $sel:r_sclear:FeeSchedule | EVM.FeeSchedule |
| $sel:r_selfdestruct:FeeSchedule | EVM.FeeSchedule |
| $sel:s:Transaction | EVM.Transaction |
| $sel:schedule:Block | EVM.Types |
| $sel:schedule:VMOpts | EVM.Types |
| $sel:script:Task | EVM.Solvers |
| $sel:selfdestructs:SubState | EVM.Types |
| $sel:simp:VeriOpts | EVM.SymExec |
| $sel:size:CreationContext | EVM.Types |
| $sel:slot:StorageItem | EVM.Solidity |
| $sel:slotType:StorageItem | EVM.Solidity |
| $sel:smtTimeout:UnitTestOptions | EVM.UnitTest |
| $sel:solcByCode:DappInfo | EVM.Dapp |
| $sel:solcByHash:DappInfo | EVM.Dapp |
| $sel:solcByName:DappInfo | EVM.Dapp |
| $sel:solver:UnitTestOptions | EVM.UnitTest |
| $sel:solvers:UnitTestOptions | EVM.UnitTest |
| $sel:solvertype:SolverInstance | EVM.Solvers |
| $sel:sources:BuildOutput | EVM.Solidity |
| $sel:sources:DappInfo | EVM.Dapp |
| $sel:stack:FrameState | EVM.Types |
| $sel:start:Reference | EVM.Solidity |
| $sel:state:Frame | EVM.Types |
| $sel:state:VM | EVM.Types |
| $sel:static:FrameState | EVM.Types |
| $sel:stdin:SolverInstance | EVM.Solvers |
| $sel:stdout:SolverInstance | EVM.Solvers |
| $sel:storage:Contract | EVM.Types |
| $sel:storage:Lit | EVM.Types |
| $sel:storageKeys:AccessListEntry | EVM.Transaction |
| $sel:storageLayout:SolcContract | EVM.Solidity |
| $sel:store:SMTCex | EVM.SMT |
| $sel:storeReads:CexVars | EVM.SMT |
| $sel:subState:CreationContext | EVM.Types |
| $sel:substate:CreationContext | EVM.Types |
| $sel:substate:TxState | EVM.Types |
| $sel:target:CreationContext | EVM.Types |
| $sel:testParams:UnitTestOptions | EVM.UnitTest |
| $sel:timestamp:Block | EVM.Types |
| $sel:timestamp:TestVMParams | EVM.UnitTest |
| $sel:timestamp:VMOpts | EVM.Types |
| $sel:toAddr:Transaction | EVM.Transaction |
| $sel:toAddr:TxState | EVM.Types |
| $sel:touchedAccounts:SubState | EVM.Types |
| $sel:tracedata:Trace | EVM.Types |
| $sel:traces:Traces | EVM.Types |
| $sel:traces:VM | EVM.Types |
| $sel:tx:VM | EVM.Types |
| $sel:txAccessList:VMOpts | EVM.Types |
| $sel:txContext:CexVars | EVM.SMT |
| $sel:txContext:SMTCex | EVM.SMT |
| $sel:txdata:Transaction | EVM.Transaction |
| $sel:txReversion:TxState | EVM.Types |
| $sel:txtype:Transaction | EVM.Transaction |
| $sel:unFunctionSelector:FunctionSelector | EVM.Types |
| $sel:unitTests:DappInfo | EVM.Dapp |
| $sel:urlOrAlias:ForkState | EVM.Types |
| $sel:v:Transaction | EVM.Transaction |
| $sel:vals:CollectStorage | EVM.Fuzz |
| $sel:vals:CollectVars | EVM.Fuzz |
| $sel:value:Transaction | EVM.Transaction |
| $sel:value:TxState | EVM.Types |
| $sel:value:VMOpts | EVM.Types |
| $sel:values:ConstState | EVM.Expr |
| $sel:vars:CollectVars | EVM.Fuzz |
| $sel:vars:SMTCex | EVM.SMT |
| $sel:verbose:UnitTestOptions | EVM.UnitTest |
| $sel:words:AbstState | EVM.SMT |
| .&& | EVM.Types |
| ./= | EVM.Types |
| .< | EVM.Types |
| .<= | EVM.Types |
| .== | EVM.Types |
| .> | EVM.Types |
| .>= | EVM.Types |
| .|| | EVM.Types |
| AbiAddress | EVM.ABI |
| AbiAddressType | EVM.ABI |
| AbiArray | EVM.ABI |
| AbiArrayDynamic | EVM.ABI |
| AbiArrayDynamicType | EVM.ABI |
| AbiArrayType | EVM.ABI |
| AbiBool | EVM.ABI |
| AbiBoolType | EVM.ABI |
| AbiBytes | EVM.ABI |
| AbiBytesDynamic | EVM.ABI |
| AbiBytesDynamicType | EVM.ABI |
| AbiBytesType | EVM.ABI |
| abiCall | EVM.UnitTest |
| AbiFunction | EVM.ABI |
| AbiFunctionType | EVM.ABI |
| AbiInt | EVM.ABI |
| AbiIntType | EVM.ABI |
| abiKeccak | EVM.Types |
| AbiKind | EVM.ABI |
| abiKind | EVM.ABI |
| ABIMethod | EVM.UnitTest |
| abiMethod | EVM.ABI |
| AbiString | EVM.ABI |
| AbiStringType | EVM.ABI |
| AbiTuple | EVM.ABI |
| AbiTupleType | EVM.ABI |
| AbiType | EVM.ABI |
| abiTypeSolidity | EVM.ABI |
| AbiUInt | EVM.ABI |
| AbiUIntType | EVM.ABI |
| AbiVals | EVM.ABI |
| AbiValue | EVM.ABI |
| abiValueType | EVM.ABI |
| abstractAwayProps | EVM.SMT |
| AbstractBase | EVM.Types |
| AbstractBuf | EVM.Types |
| abstractContract | EVM |
| AbstractStore | EVM.Types |
| abstractVM | EVM.SymExec |
| AbstState | |
| 1 (Type/Class) | EVM.SMT |
| 2 (Data Constructor) | EVM.SMT |
| accessAccountForGas | EVM |
| accessAndBurn | EVM |
| AccessListEntry | |
| 1 (Type/Class) | EVM.Transaction |
| 2 (Data Constructor) | EVM.Transaction |
| accessListPrice | EVM.Transaction |
| AccessListTransaction | EVM.Transaction |
| accessMemoryRange | EVM |
| accessMemoryWord | EVM |
| accessStorage | EVM |
| accessStorageForGas | EVM |
| accessUnboundedMemoryRange | EVM |
| accountAt | EVM.Transaction |
| accountEmpty | EVM |
| accountExists | EVM |
| Action | EVM.Stepper |
| Add | EVM.Types |
| add | EVM.Expr |
| AddMod | EVM.Types |
| addmod | EVM.Expr |
| Addr | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| addrField | EVM.Types |
| addrFieldMaybe | EVM.Types |
| allBranchRev | EVM.UnitTest |
| allButOne64th | EVM |
| allLit | EVM.Expr |
| allPanicCodes | EVM.SymExec |
| And | EVM.Types |
| and | EVM.Expr |
| Anonymity | EVM.ABI |
| Anonymous | EVM.ABI |
| App | EVM.Effects |
| Array | EVM.Expr |
| ArraySlotWithOffset | EVM.Expr |
| ArraySlotZero | EVM.Expr |
| asBE | EVM.Types |
| asInteger | EVM |
| Ask | EVM.Stepper |
| ask | EVM.Stepper |
| askSmtItersReached | EVM.SymExec |
| assemble | EVM.Assembler |
| assertProps | EVM.SMT |
| assertPropsNoSimp | EVM.SMT |
| assertReads | EVM.SMT |
| astIdMap | EVM.Solidity |
| astSrcMap | EVM.Solidity |
| BadCheatCode | EVM.Types |
| BadJumpDestination | EVM.Types |
| Balance | EVM.Types |
| BalanceTooLow | EVM.Types |
| Base | EVM.SMT |
| BaseFee | EVM.Types |
| BaseState | EVM.Types |
| Bitwuzla | EVM.Solvers |
| blankState | EVM |
| Block | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| BlockHash | EVM.Types |
| BlockNumber | |
| 1 (Data Constructor) | EVM.Types |
| 2 (Type/Class) | EVM.Fetch |
| 3 (Data Constructor) | EVM.Fetch |
| bool | EVM.SymExec |
| both' | EVM.SymExec |
| branch | EVM.Types |
| BranchCondition | EVM.Types |
| BS | EVM.RLP |
| bssToBs | EVM.Types |
| bsToHex | EVM.Format |
| Buf | EVM.Types |
| BufEnv | EVM.CSE |
| BufLength | EVM.Types |
| bufLength | EVM.Expr |
| bufLengthEnv | EVM.Expr |
| BufModel | EVM.SMT |
| BufVar | EVM.Types |
| BuildOutput | |
| 1 (Type/Class) | EVM.Solidity |
| 2 (Data Constructor) | EVM.Solidity |
| burn | EVM |
| burn' | EVM.Types |
| burnCalldatacopy | EVM.Types |
| burnCodecopy | EVM.Types |
| burnExp | EVM.Types |
| burnExtcodecopy | EVM.Types |
| burnLog | EVM.Types |
| burnReturndatacopy | EVM.Types |
| burnSha3 | EVM.Types |
| Byte | EVM.Types |
| bytecode | EVM |
| bytesToW256 | EVM.Expr |
| ByteStringS | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| byteStringSliceWithDefaultZeroes | EVM.Concrete |
| C | EVM.Types |
| CAbi | EVM.ABI |
| Cache | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| callChecks | EVM |
| CallContext | EVM.Types |
| CalldataFragment | EVM.SymExec |
| CallDepthLimitReached | EVM.Types |
| Case | EVM.Types |
| cdLen | EVM.SymExec |
| ceilDiv | EVM |
| Cex | EVM.SymExec |
| CexVars | |
| 1 (Type/Class) | EVM.SMT |
| 2 (Data Constructor) | EVM.SMT |
| ChainId | EVM.Types |
| cheat | EVM |
| CheatAction | EVM |
| cheatActions | EVM |
| cheatCode | EVM |
| checkAssert | EVM.SymExec |
| checkAssertions | EVM.SymExec |
| checkBranch | EVM.Fetch |
| checkCommand | EVM.Solvers |
| checkJump | EVM |
| checkSat | EVM.Solvers |
| CheckSatResult | EVM.Solvers |
| checkSymFailures | EVM.UnitTest |
| Choose | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| choose | EVM |
| Code | |
| 1 (Type/Class) | EVM.Dapp |
| 2 (Data Constructor) | EVM.Dapp |
| CodeHash | EVM.Types |
| codelen | EVM |
| codeloc | EVM |
| CodeLocation | EVM.Types |
| CodeSize | EVM.Types |
| CodeType | EVM.Solidity |
| Coinbase | EVM.Types |
| collapse | EVM.SMT |
| CollectBufs | |
| 1 (Type/Class) | EVM.Fuzz |
| 2 (Data Constructor) | EVM.Fuzz |
| CollectStorage | |
| 1 (Type/Class) | EVM.Fuzz |
| 2 (Data Constructor) | EVM.Fuzz |
| CollectVars | |
| 1 (Type/Class) | EVM.Fuzz |
| 2 (Data Constructor) | EVM.Fuzz |
| collision | EVM |
| CombinedJSON | EVM.Solidity |
| combineFragments | EVM.SymExec |
| Comp | |
| 1 (Data Constructor) | EVM.SMT |
| 2 (Data Constructor) | EVM.SymExec |
| compareCode | EVM.Dapp |
| CompressedBuf | EVM.SMT |
| concatBytes | EVM.SMT |
| concatMapM | EVM.Types |
| concKeccakOnePass | EVM.Expr |
| concKeccakProps | EVM.Expr |
| concKeccakSimpExpr | EVM.Expr |
| Concrete | EVM.Types |
| ConcreteBuf | EVM.Types |
| ConcreteMemory | EVM.Types |
| concreteModexpGasFee | EVM |
| concretePrefix | EVM.Expr |
| ConcreteRuntimeCode | EVM.Types |
| ConcreteStore | EVM.Types |
| Config | |
| 1 (Type/Class) | EVM.Effects |
| 2 (Data Constructor) | EVM.Effects |
| constFoldProp | EVM.Expr |
| ConstState | |
| 1 (Type/Class) | EVM.Expr |
| 2 (Data Constructor) | EVM.Expr |
| containsLinkerHole | EVM.Solidity |
| containsNode | EVM.Expr |
| Contract | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| ContractCode | EVM.Types |
| contractNamePart | EVM.Format |
| contractPathPart | EVM.Format |
| Contracts | |
| 1 (Type/Class) | EVM.Solidity |
| 2 (Data Constructor) | EVM.Solidity |
| copyBytesToMemory | EVM |
| copyCallBytesToMemory | EVM |
| CopySlice | EVM.Types |
| copySlice | |
| 1 (Function) | EVM.Expr |
| 2 (Function) | EVM.SMT |
| costOfCall | EVM.Types |
| costOfCreate | EVM.Types |
| costOfPrecompile | EVM |
| create | EVM |
| create2Address | |
| 1 (Function) | EVM.Concrete |
| 2 (Function) | EVM |
| createAddress | |
| 1 (Function) | EVM.Concrete |
| 2 (Function) | EVM |
| Creation | EVM.Solidity |
| CreationContext | EVM.Types |
| currentContract | EVM |
| Custom | EVM.Solvers |
| CVC5 | EVM.Solvers |
| DappContext | |
| 1 (Type/Class) | EVM.Dapp |
| 2 (Data Constructor) | EVM.Dapp |
| DappInfo | |
| 1 (Type/Class) | EVM.Dapp |
| 2 (Data Constructor) | EVM.Dapp |
| dappInfo | EVM.Dapp |
| DappTools | EVM.Solidity |
| declareAbstractStores | EVM.SMT |
| declareAddrs | EVM.SMT |
| declareBlockContext | EVM.SMT |
| declareBufs | EVM.SMT |
| declareFrameContext | EVM.SMT |
| declareIntermediates | EVM.SMT |
| declareVars | EVM.SMT |
| decodeAbiValue | EVM.ABI |
| decodeBuf | EVM.ABI |
| decodeStaticArgs | EVM.ABI |
| decomposeStorage | EVM.Expr |
| defaultBalanceForTestContract | EVM.UnitTest |
| defaultConfig | EVM.Effects |
| defaultEnv | EVM.Effects |
| defaultGasForCreating | EVM.UnitTest |
| defaultGasForInvoking | EVM.UnitTest |
| defaultMaxCodeSize | EVM.UnitTest |
| defaultPanicCodes | EVM.SymExec |
| defaultSymbolicValues | EVM.SymExec |
| defaultVeriOpts | EVM.SymExec |
| delegateCall | EVM |
| deriveAddr | EVM.Sign |
| discoverMaxReads | EVM.SMT |
| Div | EVM.Types |
| div | EVM.Expr |
| drop | EVM.Expr |
| Dy | EVM.SymExec |
| Dynamic | EVM.ABI |
| EAddr | EVM.Types |
| EContract | EVM.Types |
| ecrec | EVM.Sign |
| Effect | EVM.Types |
| EIP1559Transaction | EVM.Transaction |
| eliminateExpr | EVM.CSE |
| eliminateProps | EVM.CSE |
| emptyAbi | EVM.ABI |
| EmptyBase | EVM.Types |
| emptyContract | EVM |
| emptyDapp | EVM.Dapp |
| emptyTransaction | EVM.Transaction |
| encodeAbiValue | EVM.ABI |
| encodeConcreteStore | EVM.SMT |
| encodeLen | EVM.RLP |
| End | EVM.Types |
| enoughGas | EVM.Types |
| ensureGas | EVM.Types |
| enter | EVM.Stepper |
| EntryTrace | EVM.Types |
| Env | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| 3 (Type/Class) | EVM.Effects |
| 4 (Data Constructor) | EVM.Effects |
| Eq | EVM.Types |
| eq | EVM.Expr |
| EqByte | EVM.Types |
| eqByte | EVM.Expr |
| equivalenceCheck | EVM.SymExec |
| equivalenceCheck' | EVM.SymExec |
| EquivResult | EVM.SymExec |
| Error | EVM.Solvers |
| ErrorTrace | EVM.Types |
| ethrunAddress | EVM.Exec |
| ethsign | EVM.Sign |
| EType | EVM.Types |
| Event | |
| 1 (Type/Class) | EVM.ABI |
| 2 (Data Constructor) | EVM.ABI |
| EventTrace | EVM.Types |
| EVM | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Stepper |
| evm | EVM.Stepper |
| EvmError | EVM.Types |
| evmIO | EVM.Stepper |
| EWord | EVM.Types |
| Exec | EVM.Stepper |
| exec | |
| 1 (Function) | EVM.Exec |
| 2 (Function) | EVM.Stepper |
| exec1 | EVM |
| execFully | EVM.Stepper |
| execSymTest | EVM.UnitTest |
| execute | EVM.Precompiled |
| executePrecompile | EVM |
| execWhile | EVM.Exec |
| Exp | EVM.Types |
| exp | EVM.Expr |
| expandCex | EVM.SymExec |
| expandExp | EVM.SMT |
| Expr | EVM.Types |
| exprToAddr | EVM.Expr |
| exprToSMT | EVM.SMT |
| extractBufs | EVM.Fuzz |
| extractCex | EVM.SymExec |
| extractProps | EVM.SymExec |
| extractStorage | EVM.Fuzz |
| extractVars | EVM.Fuzz |
| failOutput | EVM.UnitTest |
| Failure | EVM.Types |
| FeeSchedule | |
| 1 (Type/Class) | EVM.FeeSchedule |
| 2 (Data Constructor) | EVM.FeeSchedule |
| feeSchedule | EVM.FeeSchedule |
| fetchAccount | EVM |
| fetchBlockFrom | EVM.Fetch |
| fetchBlockWithSession | EVM.Fetch |
| fetchChainIdFrom | EVM.Fetch |
| fetchContractFrom | EVM.Fetch |
| fetchContractWithSession | EVM.Fetch |
| Fetcher | EVM.Fetch |
| fetchQuery | EVM.Fetch |
| fetchSlotFrom | EVM.Fetch |
| fetchSlotWithSession | EVM.Fetch |
| fetchWithSession | EVM.Fetch |
| filterCorrectKeccak | EVM.Fuzz |
| finalize | EVM |
| findAllUnitTests | EVM.Dapp |
| findBufferAccess | EVM.SMT |
| findBufProp | EVM.Fuzz |
| findSrc | EVM.Dapp |
| findStoragePropComp | EVM.Fuzz |
| findStoragePropInner | EVM.Fuzz |
| findStorageReads | EVM.SMT |
| findUnitTests | EVM.Dapp |
| findVarProp | EVM.Fuzz |
| finishFrame | EVM |
| Flat | EVM.SMT |
| flattenBufs | EVM.SMT |
| flattenExpr | EVM.SymExec |
| flattenProps | EVM.Expr |
| foldCode | EVM.Traversals |
| foldContract | EVM.Traversals |
| foldEContract | EVM.Traversals |
| foldExpr | EVM.Traversals |
| foldProp | EVM.Traversals |
| foldTerm | EVM.Traversals |
| forceAddr | EVM |
| forceConcrete | EVM |
| forceConcrete2 | EVM |
| forceConcreteAddr | EVM |
| forceConcreteAddr2 | EVM |
| forceConcreteBuf | EVM |
| forceLit | EVM |
| ForkState | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| formatBinary | EVM.Format |
| formatBytes | EVM.Format |
| formatCex | EVM.SymExec |
| formatEAddr | EVM.SMT |
| formatExpr | EVM.Format |
| formatPartial | EVM.Format |
| formatProp | EVM.Format |
| formatSMT2 | EVM.SMT |
| formatSomeExpr | EVM.Format |
| formatString | EVM.Types, EVM.ABI |
| formatTestLog | EVM.UnitTest |
| formatTestLogs | EVM.UnitTest |
| Foundry | EVM.Solidity |
| FoundryStdLib | EVM.Solidity |
| Frame | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| FrameContext | EVM.Types |
| FrameErrored | EVM |
| FrameResult | EVM |
| FrameReturned | EVM |
| FrameReverted | EVM |
| FrameState | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| FrameTrace | EVM.Types |
| freezeMemory | EVM |
| freshSymAddr | EVM |
| fromBE | EVM.Types |
| fromList | EVM.Expr |
| fromWord512 | EVM.Types |
| functionAbi | EVM.Solidity |
| FunctionSelector | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| Gas | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| GasLimit | EVM.Types |
| gasTryFrom | EVM.Types |
| genAbiValue | EVM.ABI |
| GenericOp | EVM.Types, EVM.Op |
| GEq | EVM.Types |
| geq | EVM.Expr |
| getAbi | EVM.ABI |
| getAbiSeq | EVM.ABI |
| getAddr | EVM.Expr |
| getAddrs | EVM.SMT |
| getBufs | |
| 1 (Function) | EVM.SMT |
| 2 (Function) | EVM.Fuzz |
| getCex | EVM.SymExec |
| getCodeLocation | EVM |
| getExpr | EVM.SymExec |
| getLogicalIdx | EVM.Expr |
| getModel | EVM.Solvers |
| getOne | EVM.SMT |
| getOp | EVM.Op |
| getPartials | EVM.SymExec |
| getRndW256 | EVM.Fuzz |
| getSExpr | EVM.Solvers |
| getStore | EVM.SMT |
| getStores | EVM.Fuzz |
| getTimeout | EVM.SymExec |
| getvals | EVM.Fuzz |
| getValue | EVM.Solvers |
| getVar | EVM.SMT |
| getVars | EVM.SMT |
| GT | EVM.Types |
| gt | EVM.Expr |
| GVar | |
| 1 (Data Constructor) | EVM.Types |
| 2 (Type/Class) | EVM.Types |
| HandleEffect | EVM.Types |
| hashcode | EVM |
| hexByteString | EVM.Format |
| hexText | EVM.Format |
| hi | EVM.Types |
| http | EVM.Fetch |
| idsDontMatch | EVM.Expr |
| IllegalOverflow | EVM.Types |
| indent | EVM.Format |
| indentLines | EVM.UnitTest |
| Indexed | |
| 1 (Type/Class) | EVM.ABI |
| 2 (Data Constructor) | EVM.ABI |
| IndexWord | EVM.Types |
| indexWord | EVM.Expr |
| initBufsState | EVM.Fuzz |
| InitCode | EVM.Types |
| initialContract | EVM |
| initialGas | EVM.Types |
| initializeUnitTest | EVM.UnitTest |
| initialUnitTestVm | EVM.UnitTest |
| initStorageState | EVM.Fuzz |
| initTx | EVM.Transaction |
| initVarsState | EVM.Fuzz |
| inRange | EVM.Expr |
| insertTrace | EVM |
| Int512 | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| internalError | EVM.Types |
| interpret | |
| 1 (Function) | EVM.Stepper |
| 2 (Function) | EVM.SymExec |
| interpret1DArray | EVM.SMT |
| interpretNDArray | EVM.SMT |
| intToOpName | EVM.Op |
| InvalidFormat | EVM.Types |
| InvalidMemoryAccess | EVM.Types |
| IOAct | EVM.Stepper |
| isCex | EVM.SymExec |
| isCreation | EVM |
| isErr | EVM.Solvers |
| isFailure | EVM.Expr |
| isLitByte | EVM.Expr |
| isLitWord | EVM.Expr |
| isLoopHead | EVM.SymExec |
| isPartial | |
| 1 (Function) | EVM.Expr |
| 2 (Function) | EVM.SymExec |
| isPBool | EVM.Types |
| isPrecompileAddr | EVM |
| isQed | EVM.SymExec |
| isSat | EVM.Solvers |
| isSt | EVM.SymExec |
| isSuccess | EVM.Expr |
| isTimeout | EVM.SymExec |
| isUnsat | EVM.Solvers |
| isValidJumpDest | EVM |
| IsZero | EVM.Types |
| isZero | EVM |
| iszero | EVM.Expr |
| ITE | EVM.Types |
| itemInfo | EVM.RLP |
| JoinBytes | EVM.Types |
| joinBytes | EVM.Expr |
| JumpFrom | EVM.Solidity |
| JumpInto | EVM.Solidity |
| JumpIntoSymbolicCode | EVM.Types |
| JumpRegular | EVM.Solidity |
| JumpType | EVM.Solidity |
| Keccak | EVM.Types |
| keccak | EVM.Types |
| keccak' | EVM.Types |
| Keccak64Bytes | EVM.Expr |
| keccakAssumptions | EVM.Keccak |
| keccakBytes | EVM.Types |
| keccakCompute | EVM.Keccak |
| Language | EVM.Solidity |
| Latest | EVM.Fetch |
| lazySlice | EVM |
| LegacyTransaction | EVM.Transaction |
| LEq | EVM.Types |
| leq | EVM.Expr |
| limitStack | EVM |
| lineSubrange | EVM.Solidity |
| List | EVM.RLP |
| Lit | EVM.Types |
| LitAddr | EVM.Types |
| litAddr | EVM.Expr |
| LitByte | EVM.Types |
| litCode | EVM.Expr |
| litToArrayPreimage | EVM.Expr |
| lo | EVM.Types |
| loadContract | EVM |
| loadSymVM | EVM.SymExec |
| Log | EVM.Types |
| log2 | EVM |
| LogEntry | EVM.Types |
| lookupCode | EVM.Dapp |
| LoopHeuristic | EVM.SymExec |
| LPar | EVM.Solvers |
| LT | EVM.Types |
| lt | EVM.Expr |
| makeAbiValue | EVM.ABI |
| makeSourceCache | EVM.Solidity |
| makeSrcMaps | EVM.Solidity |
| makeTxCall | EVM.UnitTest |
| makeVeriOpts | EVM.UnitTest |
| makeVm | EVM |
| Map | EVM.Expr |
| mapCodeM | EVM.Traversals |
| mapContractM | EVM.Traversals |
| mapEContractM | EVM.Traversals |
| mapExpr | EVM.Traversals |
| mapExprM | EVM.Traversals |
| MappingSlot | EVM.Expr |
| mapProp | EVM.Traversals |
| mapProp' | EVM.Traversals |
| mapPropM | EVM.Traversals |
| mapTerm | EVM.Traversals |
| Max | EVM.Types |
| max | EVM.Expr |
| maxBytes | EVM.Expr |
| MaxCodeSizeExceeded | EVM.Types |
| MaxInitCodeSizeExceeded | EVM.Types |
| MaxIterationsReached | EVM.Types |
| maxIterationsReached | EVM.SymExec |
| maxLit | EVM.Expr |
| maybeConcreteStore | EVM.Types |
| maybeLitAddr | EVM.Types |
| maybeLitByte | EVM.Types |
| maybeLitWord | EVM.Types |
| Memory | EVM.Types |
| memoryCost | EVM |
| Method | |
| 1 (Type/Class) | EVM.Solidity |
| 2 (Data Constructor) | EVM.Solidity |
| Min | EVM.Types |
| min | EVM.Expr |
| minLength | EVM.Expr |
| Mixed | EVM.Expr |
| mkCalldata | EVM.SymExec |
| mkCodeOps | EVM |
| mkOpIxMap | EVM |
| mkSig | EVM.Dapp |
| mkTimeout | EVM.Solvers |
| Mod | EVM.Types |
| mod | EVM.Expr |
| Mul | EVM.Types |
| mul | EVM.Expr |
| MulMod | EVM.Types |
| mulmod | EVM.Expr |
| Mutability | EVM.Solidity |
| MutableMemory | EVM.Types |
| Naive | EVM.SymExec |
| newAccount | EVM.Transaction |
| next | EVM |
| Nibble | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| noJumpIntoInitData | EVM |
| NonceOverflow | EVM.Types |
| NonexistentFork | EVM.Types |
| NonPayable | EVM.Solidity |
| noop | EVM |
| normArgs | EVM.Expr |
| Not | EVM.Types |
| not | EVM.Expr |
| NotAnonymous | EVM.ABI |
| NotIndexed | EVM.ABI |
| notStatic | EVM |
| NoVals | EVM.ABI |
| numBranches | EVM.Expr |
| octets | EVM.RLP |
| octets160 | EVM.RLP |
| octetsFull | EVM.RLP |
| one | EVM.SMT |
| Op | EVM.Types, EVM.Op |
| op1 | EVM.Expr |
| op2 | EVM.Expr |
| op3 | EVM.Expr |
| OpAdd | EVM.Types, EVM.Op |
| OpAddmod | EVM.Types, EVM.Op |
| OpAddress | EVM.Types, EVM.Op |
| OpAnd | EVM.Types, EVM.Op |
| OpBalance | EVM.Types, EVM.Op |
| OpBaseFee | EVM.Types, EVM.Op |
| OpBlockhash | EVM.Types, EVM.Op |
| OpByte | EVM.Types, EVM.Op |
| OpCall | EVM.Types, EVM.Op |
| OpCallcode | EVM.Types, EVM.Op |
| OpCalldatacopy | EVM.Types, EVM.Op |
| OpCalldataload | EVM.Types, EVM.Op |
| OpCalldatasize | EVM.Types, EVM.Op |
| OpCaller | EVM.Types, EVM.Op |
| OpCallvalue | EVM.Types, EVM.Op |
| OpChainid | EVM.Types, EVM.Op |
| OpCodecopy | EVM.Types, EVM.Op |
| OpCodesize | EVM.Types, EVM.Op |
| OpCoinbase | EVM.Types, EVM.Op |
| OpCreate | EVM.Types, EVM.Op |
| OpCreate2 | EVM.Types, EVM.Op |
| OpDelegatecall | EVM.Types, EVM.Op |
| OpDiv | EVM.Types, EVM.Op |
| OpDup | EVM.Types, EVM.Op |
| OpEq | EVM.Types, EVM.Op |
| OpExp | EVM.Types, EVM.Op |
| OpExtcodecopy | EVM.Types, EVM.Op |
| OpExtcodehash | EVM.Types, EVM.Op |
| OpExtcodesize | EVM.Types, EVM.Op |
| OpGas | EVM.Types, EVM.Op |
| OpGaslimit | EVM.Types, EVM.Op |
| OpGasprice | EVM.Types, EVM.Op |
| OpGt | EVM.Types, EVM.Op |
| OpIszero | EVM.Types, EVM.Op |
| OpJump | EVM.Types, EVM.Op |
| OpJumpdest | EVM.Types, EVM.Op |
| OpJumpi | EVM.Types, EVM.Op |
| OpLog | EVM.Types, EVM.Op |
| OpLt | EVM.Types, EVM.Op |
| OpMload | EVM.Types, EVM.Op |
| OpMod | EVM.Types, EVM.Op |
| OpMsize | EVM.Types, EVM.Op |
| OpMstore | EVM.Types, EVM.Op |
| OpMstore8 | EVM.Types, EVM.Op |
| OpMul | EVM.Types, EVM.Op |
| OpMulmod | EVM.Types, EVM.Op |
| OpNot | EVM.Types, EVM.Op |
| OpNumber | EVM.Types, EVM.Op |
| OpOr | EVM.Types, EVM.Op |
| OpOrigin | EVM.Types, EVM.Op |
| OpPc | EVM.Types, EVM.Op |
| OpPop | EVM.Types, EVM.Op |
| OpPrevRandao | EVM.Types, EVM.Op |
| OpPush | EVM.Types, EVM.Op |
| OpPush0 | EVM.Types, EVM.Op |
| OpReturn | EVM.Types, EVM.Op |
| OpReturndatacopy | EVM.Types, EVM.Op |
| OpReturndatasize | EVM.Types, EVM.Op |
| OpRevert | EVM.Types, EVM.Op |
| OpSar | EVM.Types, EVM.Op |
| OpSdiv | EVM.Types, EVM.Op |
| OpSelfbalance | EVM.Types, EVM.Op |
| OpSelfdestruct | EVM.Types, EVM.Op |
| OpSgt | EVM.Types, EVM.Op |
| OpSha3 | EVM.Types, EVM.Op |
| OpShl | EVM.Types, EVM.Op |
| OpShr | EVM.Types, EVM.Op |
| OpSignextend | EVM.Types, EVM.Op |
| opSize | EVM |
| opslen | EVM |
| OpSload | EVM.Types, EVM.Op |
| OpSlt | EVM.Types, EVM.Op |
| OpSmod | EVM.Types, EVM.Op |
| OpSstore | EVM.Types, EVM.Op |
| OpStaticcall | EVM.Types, EVM.Op |
| OpStop | EVM.Types, EVM.Op |
| opString | EVM.Op |
| OpSub | EVM.Types, EVM.Op |
| OpSwap | EVM.Types, EVM.Op |
| OpTimestamp | EVM.Types, EVM.Op |
| OpUnknown | EVM.Types, EVM.Op |
| OpXor | EVM.Types, EVM.Op |
| Or | EVM.Types |
| or | EVM.Expr |
| oracle | EVM.Fetch |
| Origin | EVM.Types |
| OutOfGas | EVM.Types |
| packNibbles | EVM.Types |
| padByte | EVM.Expr |
| padBytesLeft | EVM.Expr |
| paddedShowHex | EVM.Types |
| padLeft | EVM.Types |
| padLeft' | EVM.Types |
| padRight | EVM.Types |
| padRight' | EVM.Types |
| PAnd | EVM.Types |
| pand | EVM.Types |
| panicMsg | EVM.SymExec |
| Par | EVM.Solvers |
| paramsFromRpc | EVM.UnitTest |
| parenthesise | EVM.Format |
| parseAbiValue | EVM.ABI |
| parseAddr | EVM.SMT |
| parseBlock | EVM.Fetch |
| parseBlockCtx | EVM.SMT |
| parseEAddr | EVM.SMT |
| parseErr | EVM.SMT |
| parseInitCode | EVM |
| parseInteger | EVM.SMT |
| parseMethodInput | EVM.Solidity |
| parseModexpLength | EVM |
| parseSC | EVM.SMT |
| parseTxCtx | EVM.SMT |
| parseTypeName | EVM.ABI |
| parseVar | EVM.SMT |
| parseW256 | EVM.SMT |
| parseW8 | EVM.SMT |
| Partial | EVM.Types |
| partial | EVM.Types |
| PartialExec | EVM.Types |
| passOutput | EVM.UnitTest |
| Payable | EVM.Solidity |
| payRefunds | EVM.Types |
| PBool | EVM.Types |
| PEq | EVM.Types |
| PGEq | EVM.Types |
| PGT | EVM.Types |
| PImpl | EVM.Types |
| PleaseAskSMT | EVM.Types |
| PleaseChoosePath | EVM.Types |
| PleaseDoFFI | EVM.Types |
| PleaseFetchContract | EVM.Types |
| PleaseFetchSlot | EVM.Types |
| PLEq | EVM.Types |
| PLT | EVM.Types |
| PNeg | EVM.Types |
| popTrace | EVM |
| POr | EVM.Types |
| por | EVM.Types |
| Postcondition | EVM.SymExec |
| precompiledContract | EVM |
| PrecompileFailure | EVM.Types |
| Precondition | EVM.SymExec |
| preImages | EVM.Expr |
| prelude | EVM.SMT |
| prettyCalldata | EVM.SymExec |
| prettyIfConcreteWord | EVM.Format |
| prettyvmresult | EVM.Format |
| PrevRandao | EVM.Types |
| produceModels | EVM.SymExec |
| ProjectType | EVM.Solidity |
| ProofResult | EVM.SymExec |
| Prop | EVM.Types |
| propToSMT | EVM.SMT |
| Pure | EVM.Solidity |
| push | EVM |
| pushAddr | EVM |
| pushGas | EVM.Types |
| pushSym | EVM |
| pushTo | EVM |
| pushToSequence | EVM |
| pushTrace | EVM |
| putAbi | EVM.ABI |
| Qed | EVM.SymExec |
| Query | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| query | EVM |
| QueryBalance | EVM.Fetch |
| QueryBlock | EVM.Fetch |
| QueryChainId | EVM.Fetch |
| QueryCode | EVM.Fetch |
| queryMaxReads | EVM.SMT |
| QueryNonce | EVM.Fetch |
| QuerySlot | EVM.Fetch |
| queryValue | EVM.SMT |
| reachable | EVM.SymExec |
| readBuildOutput | EVM.Solidity |
| ReadByte | EVM.Types |
| readByte | EVM.Expr |
| readBytes | EVM.Expr |
| ReadConfig | EVM.Effects |
| readConfig | EVM.Effects |
| readJSON | EVM.Solidity |
| readMemory | EVM |
| readNull | EVM.Types |
| readOp | EVM.Op |
| readSExpr | EVM.Solvers |
| readSolc | EVM.Solidity |
| readStdJSON | EVM.Solidity |
| readStorage | EVM.Expr |
| readStorage' | EVM.Expr |
| readText | EVM.Fetch |
| ReadWord | EVM.Types |
| readWord | EVM.Expr |
| readWordFromBytes | EVM.Expr |
| reclaimRemainingGasAllowance | EVM.Types |
| Reference | |
| 1 (Type/Class) | EVM.Solidity |
| 2 (Data Constructor) | EVM.Solidity |
| referencedAbstractStores | EVM.SMT |
| referencedBlockContext | EVM.SMT |
| referencedBufs | EVM.SMT |
| referencedFrameContext | EVM.SMT |
| referencedVars | EVM.SMT |
| referencedWAddrs | EVM.SMT |
| RefinementEqs | |
| 1 (Type/Class) | EVM.SMT |
| 2 (Data Constructor) | EVM.SMT |
| refund | EVM |
| regexMatches | EVM.Types |
| remRedundantProps | EVM.Expr |
| replaceCode | EVM |
| replaceCodeOfSelf | EVM |
| resetState | EVM |
| ReturnDataOutOfBounds | EVM.Types |
| ReturnTrace | EVM.Types |
| Revert | EVM.Types |
| RLP | EVM.RLP |
| rlpAddrFull | EVM.RLP |
| rlpdecode | EVM.RLP |
| rlpencode | EVM.RLP |
| rlplengths | EVM.RLP |
| rlpList | EVM.RLP |
| rlpWord160 | EVM.RLP |
| rlpWord256 | EVM.RLP |
| rlpWordFull | EVM.RLP |
| RPar | EVM.Solvers |
| rpc | EVM.Fetch |
| RpcInfo | EVM.Fetch |
| RpcQuery | EVM.Fetch |
| rpcVeriOpts | EVM.SymExec |
| run | |
| 1 (Function) | EVM.Exec |
| 2 (Function) | EVM.Stepper |
| runApp | EVM.Effects |
| runEnv | EVM.Effects |
| runExpr | EVM.SymExec |
| runFully | EVM.Stepper |
| Runtime | EVM.Solidity |
| RuntimeCode | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| RuntimeConfig | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| runUnitTestContract | EVM.UnitTest |
| SAbi | EVM.ABI |
| safeToDecompose | EVM.Expr |
| SAR | EVM.Types |
| sar | EVM.Expr |
| Sat | EVM.Solvers |
| SDiv | EVM.Types |
| sdiv | EVM.Expr |
| selector | EVM.ABI |
| selfdestruct | EVM |
| SelfDestruction | EVM.Types |
| sendCommand | EVM.Solvers |
| sender | EVM.Transaction |
| sendLine | EVM.Solvers |
| sendLine' | EVM.Solvers |
| sendScript | EVM.Solvers |
| setupTx | EVM.Transaction |
| SEx | EVM.Types |
| sex | EVM.Expr |
| SGT | EVM.Types |
| sgt | EVM.Expr |
| SHA256 | EVM.Types |
| SHL | EVM.Types |
| shl | EVM.Expr |
| showAbiValue | EVM.Format |
| showCall | EVM.Format |
| showError | EVM.Format |
| showModel | EVM.SymExec |
| showTraceLocation | EVM.Dapp |
| showTraceTree | EVM.Format |
| showTraceTree' | EVM.Format |
| showTree | EVM.Format |
| showVal | EVM.Format |
| showValue | EVM.Format |
| showValues | EVM.Format |
| showWordExact | EVM.Format |
| showWordExplanation | EVM.Format |
| SHR | EVM.Types |
| shr | EVM.Expr |
| Sig | |
| 1 (Type/Class) | EVM.ABI |
| 2 (Data Constructor) | EVM.ABI |
| sign | |
| 1 (Function) | EVM.Sign |
| 2 (Function) | EVM.Transaction |
| signature | EVM.Solidity |
| signingData | EVM.Transaction |
| simplify | EVM.Expr |
| simplifyProp | EVM.Expr |
| simplifyProps | EVM.Expr |
| simplifyReads | EVM.Expr |
| slice | |
| 1 (Function) | EVM.RLP |
| 2 (Function) | EVM.Expr |
| sliceMemory | EVM.Concrete |
| SLoad | EVM.Types |
| slotPos | EVM.Expr |
| SlotType | EVM.Solidity |
| SLT | EVM.Types |
| slt | EVM.Expr |
| SM | EVM.Solidity |
| SmallSlot | EVM.Expr |
| SMod | EVM.Types |
| smod | EVM.Expr |
| SMT2 | |
| 1 (Type/Class) | EVM.SMT |
| 2 (Data Constructor) | EVM.SMT |
| smt2Line | EVM.SMT |
| SMTCex | |
| 1 (Type/Class) | EVM.SMT |
| 2 (Data Constructor) | EVM.SMT |
| solc | EVM.Solidity |
| SolcContract | |
| 1 (Type/Class) | EVM.Solidity |
| 2 (Data Constructor) | EVM.Solidity |
| solcRuntime | EVM.Solidity |
| SolError | |
| 1 (Type/Class) | EVM.ABI |
| 2 (Data Constructor) | EVM.ABI |
| Solidity | EVM.Solidity |
| solidity | EVM.Solidity |
| Solver | EVM.Solvers |
| solverArgs | EVM.Solvers |
| SolverGroup | |
| 1 (Type/Class) | EVM.Solvers |
| 2 (Data Constructor) | EVM.Solvers |
| SolverInstance | |
| 1 (Type/Class) | EVM.Solvers |
| 2 (Data Constructor) | EVM.Solvers |
| SomeExpr | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| SourceCache | |
| 1 (Type/Class) | EVM.Solidity |
| 2 (Data Constructor) | EVM.Solidity |
| sp | EVM.SMT |
| spawnSolver | EVM.Solvers |
| splitSExpr | EVM.Solvers |
| SrcMap | EVM.Solidity |
| srcMap | EVM.Dapp |
| srcMapCode | EVM.Dapp |
| srcMapCodePos | EVM.Dapp |
| SStore | EVM.Types |
| St | EVM.SymExec |
| StackBased | EVM.SymExec |
| StackLimitExceeded | EVM.Types |
| stackOp1 | EVM |
| stackOp2 | EVM |
| stackOp3 | EVM |
| StackUnderrun | EVM.Types |
| StateChangeWhileStatic | EVM.Types |
| Static | EVM.ABI |
| stdjson | EVM.Solidity |
| Stepper | EVM.Stepper |
| stopSolver | EVM.Solvers |
| Storage | EVM.Types |
| StorageItem | |
| 1 (Type/Class) | EVM.Solidity |
| 2 (Data Constructor) | EVM.Solidity |
| StorageMapping | EVM.Solidity |
| StorageType | EVM.Expr |
| StorageValue | EVM.Solidity |
| StoreEnv | EVM.CSE |
| storeName | EVM.SMT |
| StoreVar | EVM.Types |
| strip0x | EVM.Format |
| strip0x' | EVM.Format |
| stripBytecodeMetadata | EVM.Solidity |
| stripBytecodeMetadataSym | EVM.Solidity |
| stripWrites | EVM.Expr |
| structureArraySlots | EVM.Expr |
| Sub | EVM.Types |
| sub | EVM.Expr |
| subAddrs | EVM.SymExec |
| subBufs | EVM.SymExec |
| subGas | EVM.Types |
| subModel | EVM.SymExec |
| SubState | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| substituteBuf | EVM.Fuzz |
| substituteEWord | EVM.Fuzz |
| substituteStores | EVM.Fuzz |
| subStores | EVM.SymExec |
| subVars | EVM.SymExec |
| Success | EVM.Types |
| symAbiArg | EVM.SymExec |
| SymAddr | EVM.Types |
| Symbolic | EVM.Types |
| SymbolicMemory | EVM.Types |
| SymbolicRuntimeCode | EVM.Types |
| symbolify | EVM |
| symbolifyFrame | EVM |
| symbolifyFrameState | EVM |
| symbolifyResult | EVM |
| symCalldata | EVM.SymExec |
| symFailure | EVM.UnitTest |
| symRun | EVM.UnitTest |
| take | EVM.Expr |
| Task | |
| 1 (Type/Class) | EVM.Solvers |
| 2 (Data Constructor) | EVM.Solvers |
| TestVMParams | |
| 1 (Type/Class) | EVM.UnitTest |
| 2 (Data Constructor) | EVM.UnitTest |
| textValues | EVM.Format |
| tick | EVM.UnitTest |
| Timeout | EVM.SymExec |
| Timestamp | EVM.Types |
| to512 | EVM.Expr |
| toBuf | EVM |
| toByte | EVM.Types |
| toChecksumAddress | EVM.Types |
| toEContract | EVM.SymExec |
| toGas | EVM.Types |
| toInt | EVM.Types |
| toList | EVM.Expr |
| toNum | EVM.Types |
| ToRPC | EVM.Fetch |
| toRPC | EVM.Fetch |
| touchAccount | |
| 1 (Function) | EVM |
| 2 (Function) | EVM.Transaction |
| toWord512 | EVM.Types |
| toWord64 | EVM.Types |
| Trace | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| traceContext | EVM |
| TraceData | EVM.Types |
| traceForest | EVM |
| traceForest' | EVM |
| Traces | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| traceSrcMap | EVM.Dapp |
| traceTopLog | EVM |
| Transaction | |
| 1 (Type/Class) | EVM.Transaction |
| 2 (Data Constructor) | EVM.Transaction |
| transfer | EVM |
| TraversableTerm | EVM.Traversals |
| truncateToAddr | EVM.Types |
| truncpadlit | EVM |
| tryCexFuzz | EVM.Fuzz |
| TTY | EVM.Effects |
| txAccessMap | EVM.Transaction |
| txGasCost | EVM.Transaction |
| TxState | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| TxType | EVM.Transaction |
| TxValue | EVM.Types |
| underrun | EVM |
| UnexpectedSymbolicArg | EVM.Types |
| Unfinished | EVM.Types |
| unifyCachedContract | EVM.Types |
| unitTest | EVM.UnitTest |
| unitTestMarkerAbi | EVM.Dapp |
| unitTestMethods | EVM.Dapp |
| unitTestMethodsFiltered | EVM.Dapp |
| UnitTestOptions | |
| 1 (Type/Class) | EVM.UnitTest |
| 2 (Data Constructor) | EVM.UnitTest |
| UNK | EVM.Expr |
| Unknown | |
| 1 (Data Constructor) | EVM.Types |
| 2 (Data Constructor) | EVM.Solvers |
| UnknownCode | EVM.Types |
| unknownContract | EVM |
| unpackNibbles | EVM.Types |
| UnrecognizedOpcode | EVM.Types |
| unRefund | EVM |
| Unsat | EVM.Solvers |
| UnsatCache | EVM.SymExec |
| untilFixpoint | EVM.Types |
| Var | EVM.Types |
| verify | EVM.SymExec |
| verifyContract | EVM.SymExec |
| VerifyResult | EVM.SymExec |
| VeriOpts | |
| 1 (Type/Class) | EVM.SymExec |
| 2 (Data Constructor) | EVM.SymExec |
| View | EVM.Solidity |
| VM | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| vmError | EVM |
| VMFailure | EVM.Types |
| vmForEthrunCreation | EVM.Exec |
| vmOp | EVM |
| vmOpIx | EVM |
| VMOps | EVM.Types |
| VMOpts | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| VMResult | EVM.Types |
| VMSuccess | EVM.Types |
| VMType | EVM.Types |
| W256 | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| W64 | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| WAddr | EVM.Types |
| Wait | EVM.Stepper |
| wait | EVM.Stepper |
| whenSymbolicElse | EVM.Types |
| withSolvers | EVM.Solvers |
| withTraceLocation | EVM |
| word | EVM.Types |
| word160Bytes | EVM.Types |
| word256 | EVM.Types |
| word256At | EVM.Expr |
| word256Bytes | EVM.Types |
| word32 | EVM.Types |
| Word512 | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| word64Field | EVM.Types |
| wordField | EVM.Types |
| wordToAddr | EVM.Expr |
| wrap | EVM |
| Write | EVM.SMT |
| WriteByte | EVM.Types |
| writeByte | EVM.Expr |
| writeBytes | EVM.SMT |
| writeErr | EVM.Effects |
| writeMemory | |
| 1 (Function) | EVM.Concrete |
| 2 (Function) | EVM |
| writeOutput | EVM.Effects |
| writeSelector | EVM.SymExec |
| writeSMT2File | EVM.Solvers |
| writeStorage | EVM.Expr |
| writeTrace | EVM.Effects |
| writeTraceDapp | EVM.Effects |
| WriteWord | EVM.Types |
| writeWord | EVM.Expr |
| Xor | EVM.Types |
| xor | EVM.Expr |
| Yul | EVM.Solidity |
| yul | EVM.Solidity |
| yulRuntime | EVM.Solidity |
| Z3 | EVM.Solvers |
| zero | |
| 1 (Function) | EVM.SMT |
| 2 (Function) | EVM.Fetch |
| zipperRootForest | EVM |