$sel:abi:CreationContext | EVM.Types |
$sel:abiMap:DappInfo | EVM.Dapp |
$sel:abiMap:SolcContract | EVM.Solidity |
$sel:accessedAddresses:SubState | EVM.Types |
$sel:accessedStorageKeys:SubState | EVM.Types |
$sel:accessList:Transaction | EVM.Transaction |
$sel:addr:BalanceFact | EVM.Facts |
$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:allowFFI:VM | 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:balanceCreate:TestVMParams | EVM.UnitTest |
$sel:baseFee:Block | EVM.Types |
$sel:baseFee:TestVMParams | EVM.UnitTest |
$sel:baseFee:VMOpts | EVM.Types |
$sel:blob:BalanceFact | EVM.Facts |
$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:burned:VM | EVM.Types |
$sel:byte:Base | EVM.SMT |
$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:chainId:Env | EVM.Types |
$sel:chainId:TestVMParams | EVM.UnitTest |
$sel:chainId:Transaction | EVM.Transaction |
$sel:chainId:VMOpts | EVM.Types |
$sel:code:FrameState | 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: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:contractcode:Contract | EVM.Types |
$sel:contractName:SolcContract | EVM.Solidity |
$sel:contracts:BuildOutput | EVM.Solidity |
$sel:contracts:Env | EVM.Types |
$sel:contracts:UiBrowserState | EVM.TTY |
$sel:covMatch:UnitTestOptions | EVM.UnitTest |
$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:dapp:UiTestPickerState | EVM.TTY |
$sel:dapp:UnitTestOptions | EVM.UnitTest |
$sel:dataASCII:Data | EVM.Facts |
$sel:debug:VeriOpts | EVM.SymExec |
$sel:env:DappContext | EVM.Dapp |
$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:fetchedContracts:Cache | EVM.Types |
$sel:fetchedStorage:Cache | EVM.Types |
$sel:ffiAllowed:UnitTestOptions | EVM.UnitTest |
$sel:file:SM | EVM.Solidity |
$sel:fileData:File | EVM.Facts |
$sel:filePath:File | EVM.Facts |
$sel:files:SourceCache | EVM.Solidity |
$sel:frames:VM | EVM.Types |
$sel:fuzzRuns:UnitTestOptions | EVM.UnitTest |
$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:initialStorage:VMOpts | EVM.Types |
$sel:inputs:Method | EVM.Solidity |
$sel:isCreate:TxState | EVM.Types |
$sel:iterations:VM | EVM.Types |
$sel:jump:SM | EVM.Solidity |
$sel:keccakEqs:VM | EVM.Types |
$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:maxDepth:UnitTestOptions | EVM.UnitTest |
$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:Transaction | EVM.Transaction |
$sel:number:Block | EVM.Types |
$sel:number:TestVMParams | EVM.UnitTest |
$sel:number:VMOpts | EVM.Types |
$sel:offset:CreationContext | EVM.Types |
$sel:offset:SM | EVM.Solidity |
$sel:offset:StorageItem | EVM.Solidity |
$sel:opIx:Trace | EVM.Types |
$sel:opIxMap:Contract | EVM.Types |
$sel:opts:UiTestPickerState | EVM.TTY |
$sel:origin:TestVMParams | EVM.UnitTest |
$sel:origin:TxState | EVM.Types |
$sel:origin:VMOpts | EVM.Types |
$sel:origStorage:Env | EVM.Types |
$sel:output:Method | EVM.Solidity |
$sel:overrideCaller:VM | 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:replay:UnitTestOptions | EVM.UnitTest |
$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:sha3Crack:Env | EVM.Types |
$sel:showMemory:UiVmState | EVM.TTY |
$sel:simp:VeriOpts | EVM.SymExec |
$sel:size:CreationContext | EVM.Types |
$sel:slot:StorageItem | EVM.Solidity |
$sel:slotType:StorageItem | EVM.Solidity |
$sel:smtDebug:UnitTestOptions | EVM.UnitTest |
$sel:smtTimeout:UnitTestOptions | EVM.UnitTest |
$sel:snapshots:UiVmState | EVM.TTY |
$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:srcContract:OpLocation | EVM.UnitTest |
$sel:srcOpIx:OpLocation | EVM.UnitTest |
$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:stderr:SolverInstance | EVM.Solvers |
$sel:stdin:SolverInstance | EVM.Solvers |
$sel:stdout:SolverInstance | EVM.Solvers |
$sel:step:UiVmState | EVM.TTY |
$sel:stepper:UiVmState | EVM.TTY |
$sel:storage:Env | 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:testOpts:UiVmState | EVM.TTY |
$sel:testParams:UnitTestOptions | EVM.UnitTest |
$sel:tests:UiTestPickerState | EVM.TTY |
$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: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:v:Transaction | EVM.Transaction |
$sel:value:Transaction | EVM.Transaction |
$sel:value:TxState | EVM.Types |
$sel:value:VMOpts | EVM.Types |
$sel:vars:SMTCex | EVM.SMT |
$sel:verbose:UnitTestOptions | EVM.UnitTest |
$sel:vm:UiBrowserState | EVM.TTY |
$sel:vm:UiVmState | EVM.TTY |
$sel:vmModifier:UnitTestOptions | EVM.UnitTest |
$sel:what:BalanceFact | EVM.Facts |
$sel:which:BalanceFact | EVM.Facts |
.&& | 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 |
AbiPane | EVM.TTY |
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 |
AbstractBuf | EVM.Types |
AbstractStore | EVM.Types |
abstractVM | EVM.SymExec |
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 |
activeAttr | EVM.TTY |
Add | EVM.Types |
add | EVM.Expr |
AddMod | EVM.Types |
addmod | EVM.Expr |
addPrefix | EVM.Patricia |
Addr | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
Address | EVM.Types |
addrField | EVM.Types |
addrFieldMaybe | EVM.Types |
allButOne64th | EVM |
allLit | EVM.Expr |
allPanicCodes | EVM.SymExec |
analyzeDai | EVM.Dev |
analyzeDeposit | EVM.Dev |
analyzeVat | EVM.Dev |
And | EVM.Types |
and | EVM.Expr |
Anonymity | EVM.ABI |
Anonymous | EVM.ABI |
app | EVM.TTY |
appEvent | EVM.TTY |
apply | EVM.Facts |
applyCache | EVM.Facts |
asBE | EVM.Types |
asInteger | EVM |
Ask | EVM.Stepper |
ask | EVM.Stepper |
askSmtItersReached | EVM.SymExec |
assemble | EVM.Assembler |
assertProps | EVM.SMT |
assertReads | EVM.SMT |
astIdMap | EVM.Solidity |
astSrcMap | EVM.Solidity |
backstep | EVM.TTY |
backstepUntil | EVM.TTY |
BadCheatCode | EVM.Types |
BadJumpDestination | EVM.Types |
Balance | EVM.Types |
BalanceFact | EVM.Facts |
BalanceTooLow | EVM.Types |
Base | EVM.SMT |
BaseFee | EVM.Types |
berlin | EVM.FeeSchedule |
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 |
boldAttr | EVM.TTY |
bool | EVM.SymExec |
both' | EVM.SymExec |
branch | EVM |
BranchCondition | EVM.Types |
BrowserPane | EVM.TTY |
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 |
buildExpr | EVM.Dev |
BuildOutput | |
1 (Type/Class) | EVM.Solidity |
2 (Data Constructor) | EVM.Solidity |
burn | EVM |
Byte | EVM.Types |
bytecode | EVM |
BytecodePane | EVM.TTY |
bytesToW256 | EVM.Expr |
ByteStringS | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
byteStringSliceWithDefaultZeroes | EVM.Concrete |
CAbi | EVM.ABI |
Cache | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
cacheFacts | EVM.Facts |
calcRoot | EVM.Patricia |
Call | EVM.Types |
callChecks | EVM |
CallCode | EVM.Types |
CallContext | EVM.Types |
CalldataFragment | EVM.SymExec |
CallDepthLimitReached | EVM.Types |
Caller | EVM.Types |
CallValue | 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 |
checkEquiv | EVM.Dev |
checkFailures | EVM.UnitTest |
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 |
CodeFact | EVM.Facts |
codelen | EVM |
codeloc | EVM |
CodeLocation | EVM.Types |
CodeSize | EVM.Types |
CodeType | EVM.Solidity |
Coinbase | EVM.Types |
collapse | EVM.SMT |
collision | EVM |
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 |
concPrefix | EVM.Expr |
ConcreteBuf | EVM.Types |
concreteModexpGasFee | EVM |
ConcreteRuntimeCode | EVM.Types |
ConcreteS | EVM.Types |
ConcreteStore | EVM.Types |
ConcreteTest | EVM.Dapp |
containsLinkerHole | EVM.Solidity |
containsNode | EVM.Expr |
Continuation | EVM.TTY |
Continue | EVM.TTY |
Contract | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
ContractCode | EVM.Types |
contractFacts | EVM.Facts |
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 |
costOfCreate | EVM |
costOfPrecompile | EVM |
coverageForUnitTestContract | EVM.UnitTest |
coverageReport | EVM.UnitTest |
CoverageState | EVM.UnitTest |
Create | EVM.Types |
create | EVM |
Create2 | EVM.Types |
create2Address | EVM.Concrete |
createAddress | EVM.Concrete |
Creation | EVM.Solidity |
CreationContext | EVM.Types |
currentContract | EVM |
currentOpLocation | EVM.UnitTest |
currentSrcMap | EVM.TTY |
Custom | EVM.Solvers |
CVC5 | EVM.Solvers |
dai | EVM.Dev |
daiExpr | EVM.Dev |
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 |
Data | |
1 (Type/Class) | EVM.Facts |
2 (Data Constructor) | EVM.Facts |
DB | |
1 (Type/Class) | EVM.Patricia |
2 (Data Constructor) | EVM.Patricia |
Debug | EVM.Debug |
debuggableTests | EVM.TTY |
debugVeriOpts | EVM.SymExec |
declareBlockContext | EVM.SMT |
declareBufs | EVM.SMT |
declareFrameContext | EVM.SMT |
declareIntermediates | EVM.SMT |
declareVars | EVM.SMT |
decodeAbiValue | EVM.ABI |
decodeBuf | EVM.ABI |
decodeCalls | EVM.UnitTest |
decodeStaticArgs | EVM.ABI |
defaultBalanceForTestContract | EVM.UnitTest |
defaultGasForCreating | EVM.UnitTest |
defaultGasForInvoking | EVM.UnitTest |
defaultMaxCodeSize | EVM.UnitTest |
defaultPanicCodes | EVM.SymExec |
defaultVeriOpts | EVM.SymExec |
delegateCall | EVM |
DelegeateCall | EVM.Types |
delete | EVM.Patricia |
deriveAddr | EVM.Sign |
dim | EVM.TTY |
dimAttr | EVM.TTY |
discoverMaxReads | EVM.SMT |
Div | EVM.Types |
div | EVM.Expr |
doTest | EVM.Dev |
drawBytecodePane | EVM.TTY |
drawHelpBar | EVM.TTY |
drawHelpView | EVM.TTY |
drawListElements | EVM.TTYCenteredList |
drawSolidityPane | EVM.TTY |
drawStackPane | EVM.TTY |
drawTestPicker | EVM.TTY |
drawTracePane | EVM.TTY |
drawUi | EVM.TTY |
drawVm | EVM.TTY |
drawVmBrowser | EVM.TTY |
drop | EVM.Expr |
Dy | EVM.SymExec |
Dynamic | EVM.ABI |
ecrec | EVM.Sign |
Effect | EVM.Types |
EIP | EVM.FeeSchedule |
eip1108 | EVM.FeeSchedule |
eip150 | EVM.FeeSchedule |
EIP1559Transaction | EVM.Transaction |
eip160 | EVM.FeeSchedule |
eip1884 | EVM.FeeSchedule |
eip2028 | EVM.FeeSchedule |
eip2200 | EVM.FeeSchedule |
eip2929 | EVM.FeeSchedule |
eliminateExpr | EVM.CSE |
eliminateProps | EVM.CSE |
Empty | EVM.Patricia |
emptyAbi | EVM.ABI |
emptyDapp | EVM.Dapp |
emptyRef | EVM.Patricia |
emptyRefs | EVM.Patricia |
EmptyStore | EVM.Types |
emptyTransaction | EVM.Transaction |
encodeAbiValue | EVM.ABI |
encodeConcreteStore | EVM.SMT |
encodeLen | EVM.RLP |
encodePath | EVM.Patricia |
End | EVM.Types |
enter | EVM.Stepper |
entering | EVM.Stepper |
EntryTrace | EVM.Types |
Env | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
Eq | EVM.Types |
eq | EVM.Expr |
EqByte | EVM.Types |
eqByte | EVM.Expr |
equivalenceCheck | EVM.SymExec |
EquivResult | EVM.SymExec |
Error | EVM.Solvers |
ErrorTrace | EVM.Types |
ethrunAddress | EVM.Exec |
ethsign | EVM.Sign |
EType | EVM.Types |
evalProp | EVM.SymExec |
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 |
execTest | EVM.UnitTest |
execTestStepper | EVM.UnitTest |
execute | EVM.Precompiled |
executePrecompile | EVM |
execWhile | EVM.Exec |
execWithCoverage | EVM.UnitTest |
Exp | EVM.Types |
exp | EVM.Expr |
expandExp | EVM.SMT |
explorationStepper | EVM.UnitTest |
exploreRun | EVM.UnitTest |
exploreStep | EVM.UnitTest |
ExploreTx | EVM.UnitTest |
Expr | EVM.Types |
exprToAddr | EVM.Expr |
exprToSMT | EVM.SMT |
ExtCodeHash | EVM.Types |
extractCex | EVM.SymExec |
extractProps | EVM.SymExec |
extractSig | EVM.Dapp |
Fact | EVM.Facts |
factToFile | EVM.Facts |
failOutput | EVM.UnitTest |
Failure | EVM.Types |
FeeSchedule | |
1 (Type/Class) | EVM.FeeSchedule |
2 (Data Constructor) | 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 |
File | |
1 (Type/Class) | EVM.Facts |
2 (Data Constructor) | EVM.Facts |
fileToFact | EVM.Facts |
finalize | EVM |
findAllUnitTests | EVM.Dapp |
findBufferAccess | EVM.SMT |
findContractDefinition | EVM.StorageLayout |
findSrc | EVM.Dapp |
findStorageReads | EVM.SMT |
findUnitTests | EVM.Dapp |
finishFrame | EVM |
Flat | EVM.SMT |
flattenBufs | EVM.SMT |
flattenExpr | EVM.SymExec |
foldExpr | EVM.Traversals |
foldProp | EVM.Traversals |
foldTerm | EVM.Traversals |
forceConcrete | EVM |
forceConcrete2 | EVM |
forceConcrete3 | EVM |
forceConcrete4 | EVM |
forceConcrete5 | EVM |
forceConcrete6 | EVM |
forceConcreteBuf | EVM |
formatBinary | EVM.Format |
formatBytes | EVM.Format |
formatCex | EVM.SymExec |
formatExpr | EVM.Format |
formatPartial | EVM.Format |
formatSMT2 | EVM.SMT |
formatSomeExpr | EVM.Format |
formatString | EVM.Types, EVM.ABI |
formatTestLog | EVM.UnitTest |
formatTestLogs | EVM.UnitTest |
Foundry | 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 |
fromBE | EVM.Types |
fromList | EVM.Expr |
fromWord512 | EVM.Types |
Full | EVM.Patricia |
functionAbi | EVM.Solidity |
FunctionSelector | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
fuzzRun | EVM.UnitTest |
fuzzTest | EVM.UnitTest |
Gas | EVM.Types |
GasLimit | EVM.Types |
genAbiValue | EVM.ABI |
GenericOp | EVM.Types, EVM.Op |
GEq | EVM.Types |
geq | EVM.Expr |
Get | EVM.Patricia |
getAbi | EVM.ABI |
getAbiSeq | EVM.ABI |
getBufs | EVM.SMT |
getCodeLocation | EVM |
getModel | EVM.Solvers |
getNode | EVM.Patricia |
getOp | EVM.Op |
getParametersFromEnvironmentVariables | EVM.UnitTest |
getPartials | EVM.SymExec |
getStore | EVM.SMT |
getTargetContracts | EVM.UnitTest |
getVal | EVM.Patricia |
getValue | EVM.Solvers |
getVar | EVM.SMT |
getVars | EVM.SMT |
grokDeclarationType | EVM.StorageLayout |
grokMappingType | EVM.StorageLayout |
grokValueType | EVM.StorageLayout |
GT | EVM.Types |
gt | EVM.Expr |
GVar | |
1 (Data Constructor) | EVM.Types |
2 (Type/Class) | EVM.Types |
HandleEffect | EVM.Types |
Hash | EVM.Patricia |
hashcode | EVM |
hexByteString | EVM.Format |
hexText | EVM.Format |
hi | EVM.Types |
homestead | EVM.FeeSchedule |
http | EVM.Fetch |
ifTallEnough | EVM.TTY |
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 |
InitCode | EVM.Types |
initialContract | EVM |
initialExplorationStepper | EVM.UnitTest |
initializeUnitTest | EVM.UnitTest |
InitialS | EVM.Types |
initialUiVmStateForTest | EVM.TTY |
initialUnitTestVm | EVM.UnitTest |
initTx | EVM.Transaction |
initUiVmState | EVM.TTY |
initVm | EVM.Dev |
inRange | EVM.SymExec |
insert | EVM.Patricia |
insertDB | EVM.Patricia |
insertRef | EVM.Patricia |
insertTrace | EVM |
insertValues | EVM.Patricia |
Int512 | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
interpret | |
1 (Function) | EVM.Stepper |
2 (Function) | EVM.SymExec |
3 (Function) | EVM.TTY |
interpret1DArray | EVM.SMT |
interpret2DArray | EVM.SMT |
interpretNDArray | EVM.SMT |
interpretWithCoverage | EVM.UnitTest |
intToOpName | EVM.Op |
InvalidFormat | EVM.Types |
InvalidMemoryAccess | EVM.Types |
InvariantTest | EVM.Dapp |
IOAct | EVM.Stepper |
isCex | EVM.SymExec |
isErr | EVM.Solvers |
isExecutionHalted | EVM.TTY |
isFuzzTest | EVM.TTY |
isLitByte | EVM.Expr |
isLitWord | EVM.Expr |
isLoopHead | EVM.SymExec |
isNewTraceAdded | EVM.TTY |
isNextSourcePosition | EVM.TTY |
isNextSourcePositionWithoutEntering | EVM.TTY |
isPartial | EVM.SymExec |
isQed | EVM.SymExec |
isSat | EVM.Solvers |
isStorageVariableDeclaration | EVM.StorageLayout |
istanbul | EVM.FeeSchedule |
isTimeout | EVM.SymExec |
isUnitTestContract | EVM.TTY |
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 |
JsonTrace | EVM.Debug |
JumpFrom | EVM.Solidity |
JumpInto | EVM.Solidity |
JumpRegular | EVM.Solidity |
JumpType | EVM.Solidity |
Keccak | EVM.Types |
keccak | EVM.Types |
keccak' | EVM.Types |
keccakAssumptions | EVM.Keccak |
keccakBytes | EVM.Types |
keepExecuting | EVM.TTY |
KV | EVM.Patricia |
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.Expr |
LitByte | EVM.Types |
litCode | EVM.Expr |
Literal | EVM.Patricia |
lo | EVM.Types |
loadContract | EVM |
loadFacts | EVM.Facts.Git |
loadSymVM | EVM.SymExec |
Log | EVM.Types |
log2 | EVM |
LogEntry | EVM.Types |
lookupCode | EVM.Dapp |
lookupDB | EVM.Patricia |
lookupIn | EVM.Patricia |
lookupPath | EVM.Patricia |
LoopHeuristic | EVM.SymExec |
LT | EVM.Types |
lt | EVM.Expr |
main | EVM.TTY |
makeAbiValue | EVM.ABI |
makeSourceCache | EVM.Solidity |
makeSrcMaps | EVM.Solidity |
makeTxCall | EVM.UnitTest |
makeVeriOpts | EVM.UnitTest |
makeVm | EVM |
MapDB | EVM.Patricia |
mapExpr | EVM.Traversals |
mapExprM | 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 |
maybeLitByte | EVM.Types |
maybeLitWord | EVM.Types |
memoryCost | EVM |
message | EVM.TTY |
Method | |
1 (Type/Class) | EVM.Solidity |
2 (Data Constructor) | EVM.Solidity |
metropolis | EVM.FeeSchedule |
Min | EVM.Types |
min | EVM.Expr |
minLength | EVM.Expr |
mkCalldata | EVM.SymExec |
mkCodeOps | EVM |
mkOpIxMap | EVM |
mkTest | EVM.Dapp |
mkTimeout | EVM.Solvers |
mkVty | EVM.TTY |
Mod | EVM.Types |
mod | EVM.Expr |
Mode | EVM.Debug |
Mul | EVM.Types |
mul | EVM.Expr |
MulMod | EVM.Types |
mulmod | EVM.Expr |
Mutability | EVM.Solidity |
myTheme | EVM.TTY |
Naive | EVM.SymExec |
Name | EVM.TTY |
newAccount | EVM.Transaction |
next | EVM |
Nibble | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
Node | EVM.Patricia |
NodeDB | EVM.Patricia |
nodeIs | EVM.StorageLayout |
NonceFact | EVM.Facts |
NonceOverflow | 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 |
num | EVM.Types |
numBranches | EVM.Expr |
object | EVM.Debug |
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 |
OpLocation | |
1 (Type/Class) | EVM.UnitTest |
2 (Data Constructor) | EVM.UnitTest |
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 |
opWidget | EVM.TTY |
OpXor | EVM.Types, EVM.Op |
Or | EVM.Types |
or | EVM.Expr |
oracle | EVM.Fetch |
Origin | EVM.Types |
ourWrap | EVM.TTY |
OutOfGas | EVM.Types |
packNibbles | EVM.Types |
padByte | EVM.Expr |
padBytesLeft | EVM.Expr |
paddedShowHex | EVM.Hexdump |
padLeft | EVM.Types |
padLeft' | EVM.Types |
padRight | EVM.Types |
padRight' | EVM.Types |
Pager | EVM.TTY |
PAnd | EVM.Types |
pand | EVM.Types |
panicMsg | EVM.SymExec |
parenthesise | EVM.Format |
parseAbiValue | EVM.ABI |
parseBlock | EVM.Fetch |
parseBlockCtx | EVM.SMT |
parseErr | EVM.SMT |
parseFrameCtx | EVM.SMT |
parseInteger | EVM.SMT |
parseMethodInput | EVM.Solidity |
parseModexpLength | EVM |
parseSC | EVM.SMT |
parseTypeName | EVM.ABI |
parseVar | EVM.SMT |
parseW256 | EVM.SMT |
parseW8 | EVM.SMT |
Partial | EVM.Types |
partial | EVM |
PartialExec | EVM.Types |
passOutput | EVM.UnitTest |
Path | |
1 (Type/Class) | EVM.Patricia |
2 (Type/Class) | EVM.Facts |
3 (Data Constructor) | EVM.Facts |
Payable | EVM.Solidity |
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 |
Pred | EVM.TTY |
prelude | EVM.SMT |
prettyCalldata | EVM.UnitTest |
prettyContract | EVM.Debug |
prettyContracts | EVM.Debug |
prettyHex | EVM.Hexdump |
prettyIfConcrete | EVM.TTY |
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 |
pushSym | EVM |
pushTo | EVM |
pushToSequence | EVM |
pushTrace | EVM |
Put | EVM.Patricia |
putAbi | EVM.ABI |
putNode | EVM.Patricia |
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 |
QueryTrace | EVM.Types |
queryValue | EVM.SMT |
reachable | EVM.SymExec |
reachable' | EVM.Dev |
readBuildOutput | EVM.Solidity |
ReadByte | EVM.Types |
readByte | EVM.Expr |
readByteOrZero | EVM.Concrete |
readBytes | EVM.Expr |
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 |
Ref | EVM.Patricia |
Reference | |
1 (Type/Class) | EVM.Solidity |
2 (Data Constructor) | EVM.Solidity |
referencedBlockContext | EVM.SMT |
referencedBlockContext' | EVM.SMT |
referencedBlockContextGo | EVM.SMT |
referencedBufs | EVM.SMT |
referencedBufs' | EVM.SMT |
referencedBufsGo | EVM.SMT |
referencedFrameContext | EVM.SMT |
referencedFrameContext' | EVM.SMT |
referencedFrameContextGo | EVM.SMT |
referencedVars | EVM.SMT |
referencedVars' | EVM.SMT |
referencedVarsGo | EVM.SMT |
refund | EVM |
regexMatches | EVM.Types |
renderList | EVM.TTYCenteredList |
replaceCode | EVM |
replaceCodeOfSelf | EVM |
RepoAt | |
1 (Type/Class) | EVM.Facts.Git |
2 (Data Constructor) | EVM.Facts.Git |
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 |
rlpNode | EVM.Patricia |
rlpRef | EVM.Patricia |
rlpWord160 | EVM.RLP |
rlpWord256 | EVM.RLP |
rlpWordFull | EVM.RLP |
rpc | EVM.Fetch |
RpcInfo | EVM.Fetch |
RpcQuery | EVM.Fetch |
rpcVeriOpts | EVM.SymExec |
Run | |
1 (Data Constructor) | EVM.Debug |
2 (Data Constructor) | EVM.Stepper |
run | |
1 (Function) | EVM.Exec |
2 (Function) | EVM.Stepper |
runDappTest | EVM.Dev |
runDB | EVM.Patricia |
runExpr | EVM.SymExec |
runFromVM | EVM.TTY |
runFully | EVM.Stepper |
runMapDB | EVM.Patricia |
runOne | EVM.UnitTest |
runTest | EVM.UnitTest |
Runtime | EVM.Solidity |
RuntimeCode | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
runTrie | EVM.Patricia |
runUnitTest | EVM.UnitTest |
runUnitTestContract | EVM.UnitTest |
runWithCoverage | EVM.UnitTest |
SAbi | EVM.ABI |
safeAdd | EVM.Dev |
SAR | EVM.Types |
sar | EVM.Expr |
Sat | EVM.Solvers |
saveFacts | EVM.Facts.Git |
SDiv | EVM.Types |
sdiv | EVM.Expr |
selectedAttr | EVM.TTY |
selector | EVM.ABI |
SelfBalance | EVM.Types |
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 |
Shortcut | EVM.Patricia |
showAbiValue | EVM.Format |
showCall | EVM.Format |
showCalldata | EVM.UnitTest |
showError | EVM.Format |
showExpr | EVM.Dev |
showModel | EVM.SymExec |
showTraceLocation | EVM.Dapp |
showTraceTree | EVM.Format |
showTree | EVM.Format |
showVal | EVM.UnitTest |
showValue | EVM.Format |
showValues | EVM.Format |
showWordExact | EVM.Format |
showWordExplanation | EVM.Format |
SHR | EVM.Types |
shr | EVM.Expr |
Sig | |
1 (Type/Class) | EVM.SymExec |
2 (Data Constructor) | EVM.SymExec |
sign | |
1 (Function) | EVM.Sign |
2 (Function) | EVM.Transaction |
signature | EVM.Solidity |
signingData | EVM.Transaction |
simpleHex | EVM.Hexdump |
simplify | EVM.Expr |
simplifyReads | EVM.Expr |
slice | |
1 (Function) | EVM.RLP |
2 (Function) | EVM.Expr |
sliceMemory | EVM.Concrete |
SLoad | EVM.Types |
SlotType | EVM.Solidity |
slotTypeForDeclaration | EVM.StorageLayout |
SLT | EVM.Types |
slt | EVM.Expr |
SM | EVM.Solidity |
SMod | EVM.Types |
smod | EVM.Expr |
SMT2 | |
1 (Type/Class) | EVM.SMT |
2 (Data Constructor) | EVM.SMT |
SMTCex | |
1 (Type/Class) | EVM.SMT |
2 (Data Constructor) | EVM.SMT |
snapshotInterval | EVM.TTY |
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 |
solidity' | EVM.Solidity |
solidityList | EVM.TTY |
SolidityPane | EVM.TTY |
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 |
SrcMap | EVM.Solidity |
srcMap | EVM.Dapp |
srcMapCode | EVM.Debug |
srcMapCodePos | EVM.Debug |
srcMapForOpLocation | EVM.UnitTest |
SStore | EVM.Types |
St | EVM.SymExec |
StackBased | EVM.SymExec |
StackLimitExceeded | EVM.Types |
stackOp1 | EVM |
stackOp2 | EVM |
stackOp3 | EVM |
StackPane | EVM.TTY |
StackUnderrun | EVM.Types |
StateChangeWhileStatic | EVM.Types |
Static | EVM.ABI |
stdjson | EVM.Solidity |
Step | EVM.TTY |
StepMode | EVM.TTY |
stepOneOpcode | EVM.TTY |
Stepper | EVM.Stepper |
StepUntil | EVM.TTY |
Stopped | EVM.TTY |
stopSolver | EVM.Solvers |
Storage | EVM.Types |
StorageFact | EVM.Facts |
StorageItem | |
1 (Type/Class) | EVM.Solidity |
2 (Data Constructor) | EVM.Solidity |
storageLayout | EVM.StorageLayout |
StorageMapping | EVM.Solidity |
StorageModel | EVM.Types |
StorageValue | EVM.Solidity |
storageVariablesForContract | EVM.StorageLayout |
StoreEnv | EVM.CSE |
StoreVar | EVM.Types |
strip0x | EVM.Format |
strip0x' | EVM.Format |
stripBytecodeMetadata | EVM.Solidity |
stripBytecodeMetadataSym | EVM.Solidity |
stripWrites | EVM.Expr |
Sub | EVM.Types |
sub | EVM.Expr |
subModel | EVM.SymExec |
SubState | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
Success | EVM.Types |
summaryStore | EVM.Dev |
symAbiArg | EVM.SymExec |
SymbolicRuntimeCode | EVM.Types |
SymbolicS | EVM.Types |
SymbolicTest | EVM.Dapp |
symCalldata | EVM.SymExec |
symFailure | EVM.UnitTest |
symRun | EVM.UnitTest |
take | EVM.Expr |
takeStep | EVM.TTY |
Task | |
1 (Type/Class) | EVM.Solvers |
2 (Data Constructor) | EVM.Solvers |
Test | EVM.Dapp |
testContract | EVM.Dev |
testOpts | EVM.Dev |
TestPickerPane | EVM.TTY |
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 |
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 |
TraceData | EVM.Types |
traceForest | EVM |
TracePane | EVM.TTY |
traceSrcMap | EVM.Dapp |
traceTopLog | EVM |
Transaction | |
1 (Type/Class) | EVM.Transaction |
2 (Data Constructor) | EVM.Transaction |
transfer | EVM |
TraversableTerm | EVM.Traversals |
Trie | EVM.Patricia |
truncpadlit | EVM |
txAccessMap | EVM.Transaction |
txGasCost | EVM.Transaction |
TxState | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
TxType | EVM.Transaction |
UiBrowserState | |
1 (Type/Class) | EVM.TTY |
2 (Data Constructor) | EVM.TTY |
UiState | EVM.TTY |
UiTestPickerState | |
1 (Type/Class) | EVM.TTY |
2 (Data Constructor) | EVM.TTY |
UiVmState | |
1 (Type/Class) | EVM.TTY |
2 (Data Constructor) | EVM.TTY |
UiWidget | EVM.TTY |
underrun | EVM |
UnexpectedSymbolicArg | EVM.Types |
Unfinished | EVM.Types |
unifyCachedContract | EVM.Types |
unifyCachedStorage | EVM.Types |
unindexed | EVM.Format |
unitTest | EVM.UnitTest |
unitTestMarkerAbi | EVM.Dapp |
unitTestMethods | EVM.Dapp |
unitTestMethodsFiltered | EVM.Dapp |
UnitTestOptions | |
1 (Type/Class) | EVM.UnitTest |
2 (Data Constructor) | EVM.UnitTest |
Unknown | |
1 (Data Constructor) | EVM.Types |
2 (Data Constructor) | EVM.Solvers |
unpackNibbles | EVM.Types |
UnrecognizedOpcode | EVM.Types |
unRefund | EVM |
Unsat | EVM.Solvers |
UnsatCache | EVM.SymExec |
update | EVM.Patricia |
use' | EVM |
Var | EVM.Types |
vat | EVM.Dev |
verify | EVM.SymExec |
verifyContract | EVM.SymExec |
VerifyResult | EVM.SymExec |
VeriOpts | |
1 (Type/Class) | EVM.SymExec |
2 (Data Constructor) | EVM.SymExec |
View | EVM.Solidity |
ViewContracts | EVM.TTY |
ViewHelp | EVM.TTY |
ViewPicker | EVM.TTY |
ViewVm | EVM.TTY |
VM | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
vmError | EVM |
vmFacts | EVM.Facts |
VMFailure | EVM.Types |
vmForEthrunCreation | EVM.Exec |
vmOp | EVM |
vmOpIx | EVM |
VMOpts | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
VMResult | EVM.Types |
VMSuccess | EVM.Types |
W256 | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
W64 | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
Wait | EVM.Stepper |
wait | EVM.Stepper |
withHighlight | EVM.TTY |
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 |
wordAt | EVM.Concrete |
wordAttr | EVM.TTY |
wordField | EVM.Types |
wrap | EVM |
Write | EVM.SMT |
WriteByte | EVM.Types |
writeByte | EVM.Expr |
writeBytes | EVM.SMT |
writeMemory | EVM.Concrete |
writeSelector | EVM.SymExec |
writeStorage | EVM.Expr |
WriteWord | EVM.Types |
writeWord | EVM.Expr |
Xor | EVM.Types |
xor | EVM.Expr |
Yul | EVM.Solidity |
yul | EVM.Solidity |
yul' | EVM.Solidity |
yulRuntime | EVM.Solidity |
Z3 | EVM.Solvers |
zero | |
1 (Function) | EVM.SMT |
2 (Function) | EVM.Fetch |
zipperRootForest | EVM |
^ | EVM.Concrete |
_ViewContracts | EVM.TTY |
_ViewHelp | EVM.TTY |
_ViewPicker | EVM.TTY |
_ViewVm | EVM.TTY |