hevm-0.48.0: Ethereum virtual machine evaluator

Index

AbiAddressEVM.ABI
AbiAddressTypeEVM.ABI
AbiArrayEVM.ABI
AbiArrayDynamicEVM.ABI
AbiArrayDynamicTypeEVM.ABI
AbiArrayTypeEVM.ABI
AbiBoolEVM.ABI
AbiBoolTypeEVM.ABI
AbiBytesEVM.ABI
AbiBytesDynamicEVM.ABI
AbiBytesDynamicTypeEVM.ABI
AbiBytesTypeEVM.ABI
abiCallEVM.UnitTest
AbiIntEVM.ABI
AbiIntTypeEVM.ABI
abiKeccakEVM.Types
AbiKindEVM.ABI
abiKindEVM.ABI
abiMapEVM.Solidity
ABIMethodEVM.UnitTest
abiMethodEVM.ABI
AbiPaneEVM.TTY
AbiStringEVM.ABI
AbiStringTypeEVM.ABI
AbiTupleEVM.ABI
AbiTupleTypeEVM.ABI
AbiTypeEVM.ABI
abiTypeSolidityEVM.ABI
AbiUIntEVM.ABI
AbiUIntTypeEVM.ABI
AbiValsEVM.ABI
AbiValueEVM.ABI
abiValueTypeEVM.ABI
abstractVMEVM.SymExec
accessAccountForGasEVM
accessAddressEVM.Transaction
accessAndBurnEVM
accessedAddressesEVM
accessedStorageKeysEVM
AccessListEntry 
1 (Type/Class)EVM.Transaction
2 (Data Constructor)EVM.Transaction
accessListPriceEVM.Transaction
AccessListTransactionEVM.Transaction
accessMemoryRangeEVM
accessMemoryWordEVM
accessStorageEVM
accessStorageForGasEVM
accessStorageKeysEVM.Transaction
accessUnboundedMemoryRangeEVM
accountAtEVM.Transaction
accountEmptyEVM
accountExistsEVM
ActionEVM.Stepper
activeAttrEVM.TTY
AddEVM.Types
addmodEVM.Symbolic
addPrefixEVM.Patricia
Addr 
1 (Type/Class)EVM.Types
2 (Data Constructor)EVM.Types
addrEVM.Facts
addressWord160EVM.Types
addrFieldEVM.Types
addrFieldMaybeEVM.Types
allButOne64thEVM
allHashesEVM.Emacs
allowFFIEVM
allPanicCodesEVM.SymExec
AndEVM.Types
AnonymityEVM.ABI
AnonymousEVM.ABI
appEVM.TTY
appEventEVM.TTY
applyEVM.Facts
applyCacheEVM.Facts
asBEEVM.Types
asIntegerEVM
AskEVM.Stepper
askEVM.Stepper
askSMTEVM
askSmtItersEVM.UnitTest
astIdMapEVM.Solidity
astSrcMapEVM.Solidity
atFileLineEVM.Emacs
backstepEVM.TTY
backstepUntilEVM.TTY
BadCheatCodeEVM
BadJumpDestinationEVM
balanceEVM
BalanceFactEVM.Facts
BalanceTooLowEVM
baseFeeEVM
berlinEVM.FeeSchedule
blankStateEVM
blobEVM.Facts
Block 
1 (Type/Class)EVM
2 (Data Constructor)EVM
blockEVM
BlockchainCaseEVM.VMTest
BlockedEVM.Emacs
BlockNumber 
1 (Type/Class)EVM.Fetch
2 (Data Constructor)EVM.Fetch
boldAttrEVM.TTY
both'EVM.SymExec
BranchConditionEVM
BranchInfo 
1 (Type/Class)EVM.SymExec
2 (Data Constructor)EVM.SymExec
browserContractListEVM.TTY
BrowserPaneEVM.TTY
browserVmEVM.TTY
BSEVM.RLP
BufferEVM.Types
burnEVM
burnedEVM
byteAtEVM.Types
bytecodeEVM
BytecodePaneEVM.TTY
ByteStringS 
1 (Type/Class)EVM.Types
2 (Data Constructor)EVM.Types
byteStringSliceWithDefaultZeroesEVM.Concrete
CEVM.Types
CAbiEVM.ABI
Cache 
1 (Type/Class)EVM
2 (Data Constructor)EVM
cacheEVM
cacheFactsEVM.Facts
calcRootEVM.Patricia
callChecksEVM
CallContextEVM
callContextAbiEVM
callContextCodehashEVM
callContextContextEVM
callContextDataEVM
callContextOffsetEVM
callContextReversionEVM
callContextSizeEVM
callContextSubStateEVM
callContextTargetEVM
calldataEVM
CallDepthLimitReachedEVM
callerEVM
callvalueEVM
Case 
1 (Data Constructor)EVM
2 (Type/Class)EVM.VMTest
ceilDivEVM
CexEVM.SymExec
chainIdEVM
cheatEVM
CheatActionEVM
cheatActionsEVM
cheatCodeEVM
checkAssertEVM.SymExec
checkAssertionsEVM.SymExec
checkBranchEVM.Fetch
checkExpectationEVM.VMTest
checkFailuresEVM.UnitTest
checkJumpEVM
checksatEVM.Fetch
checkSymFailuresEVM.UnitTest
Choose 
1 (Type/Class)EVM
2 (Data Constructor)EVM
Code 
1 (Type/Class)EVM.Dapp
2 (Data Constructor)EVM.Dapp
codeEVM
codeByHashEVM.Emacs
codeContractEVM
CodeFactEVM.Facts
codehashEVM
CodeLocationEVM
codeOpsEVM
CodeTypeEVM.Solidity
coinbaseEVM
collisionEVM
compareCodeEVM.Dapp
concatMapMEVM.Types
ConcreteEVM
ConcreteBufferEVM.Types
concreteModexpGasFeeEVM
ConcreteSEVM
ConcreteTestEVM.Dapp
consistentPathEVM.SymExec
consistentTreeEVM.SymExec
ConsoleEVM.Emacs
constraintsEVM
constructorInputsEVM.Solidity
contentEVM.Format
contextEnvEVM.Dapp
contextInfoEVM.Dapp
ContinuationEVM.TTY
ContinueEVM.TTY
Contract 
1 (Type/Class)EVM
2 (Data Constructor)EVM
contractEVM
ContractCodeEVM
contractcodeEVM
contractFactsEVM.Facts
contractNameEVM.Solidity
contractNamePartEVM.Format
contractPathPartEVM.Format
contractsEVM
contractWithStoreEVM
copyBytesToMemoryEVM
copyCallBytesToMemoryEVM
costOfCallEVM
costOfCreateEVM
costOfPrecompileEVM
coverageForUnitTestContractEVM.UnitTest
coverageReportEVM.UnitTest
CoverageStateEVM.UnitTest
createEVM
create2AddressEVM.Concrete
createAddressEVM.Concrete
CreationEVM.Solidity
creationCodeEVM.Solidity
creationCodehashEVM.Solidity
CreationContextEVM
creationContextAddressEVM
creationContextCodehashEVM
creationContextReversionEVM
creationContextSubstateEVM
creationSrcmapEVM.Solidity
currentContractEVM
currentOpLocationEVM.UnitTest
currentSolcEVM.Format
currentSrcMapEVM.TTY
dappEVM.UnitTest
dappAbiMapEVM.Dapp
dappAstIdMapEVM.Dapp
dappAstSrcMapEVM.Dapp
DappContext 
1 (Type/Class)EVM.Dapp
2 (Data Constructor)EVM.Dapp
dappEventMapEVM.Dapp
DappInfo 
1 (Type/Class)EVM.Dapp
2 (Data Constructor)EVM.Dapp
dappInfoEVM.Dapp
dappRootEVM.Dapp
dappSolcByCodeEVM.Dapp
dappSolcByHashEVM.Dapp
dappSolcByNameEVM.Dapp
dappSourcesEVM.Dapp
dappUnitTestsEVM.Dapp
Data 
1 (Type/Class)EVM.Facts
2 (Data Constructor)EVM.Facts
dataASCIIEVM.Facts
dataFieldEVM.Types
DB 
1 (Type/Class)EVM.Patricia
2 (Data Constructor)EVM.Patricia
DeadPathEVM
DebugEVM.Debug
debuggableTestsEVM.TTY
decodeAbiValueEVM.ABI
decodeBufferEVM.ABI
decodeCallsEVM.UnitTest
decodeStaticArgsEVM.ABI
defaultBalanceForTestContractEVM.UnitTest
defaultGasForCreatingEVM.UnitTest
defaultGasForInvokingEVM.UnitTest
defaultMaxCodeSizeEVM.UnitTest
defaultPanicCodesEVM.SymExec
defaultUnitTestOptionsEVM.Emacs
delegateCallEVM
deleteEVM.Patricia
demandEVM.Demand
depthEVM.Dev
difficultyEVM
dimEVM.TTY
dimAttrEVM.TTY
displayEVM.Emacs
DivEVM.Types
doInterpretEVM.SymExec
drawBytecodePaneEVM.TTY
drawHelpBarEVM.TTY
drawHelpViewEVM.TTY
drawListElementsEVM.TTYCenteredList
drawSolidityPaneEVM.TTY
drawStackPaneEVM.TTY
drawTestPickerEVM.TTY
drawTracePaneEVM.TTY
drawUiEVM.TTY
drawVmEVM.TTY
drawVmBrowserEVM.TTY
DynamicEVM.ABI
ecrecEVM.Transaction
EIPEVM.FeeSchedule
eip1108EVM.FeeSchedule
eip150EVM.FeeSchedule
EIP1559TransactionEVM.Transaction
eip160EVM.FeeSchedule
eip1884EVM.FeeSchedule
eip2028EVM.FeeSchedule
eip2200EVM.FeeSchedule
eip2929EVM.FeeSchedule
EmptyEVM.Patricia
emptyAbiEVM.ABI
emptyDappEVM.Dapp
emptyRefEVM.Patricia
emptyRefsEVM.Patricia
encodeAbiValueEVM.ABI
encodeLenEVM.RLP
encodePathEVM.Patricia
enterEVM.Stepper
enteringEVM.Stepper
EntryTraceEVM
Env 
1 (Type/Class)EVM
2 (Data Constructor)EVM
envEVM
EqEVM.Types
equivalenceCheckEVM.SymExec
EquivalenceResultEVM.SymExec
ErrorEVM
ErrorTraceEVM
ethrunAddressEVM.Exec
ethsignEVM
Event 
1 (Type/Class)EVM.ABI
2 (Data Constructor)EVM.ABI
eventMapEVM.Solidity
EventTraceEVM
EVM 
1 (Type/Class)EVM
2 (Data Constructor)EVM.Stepper
evmEVM.Stepper
evmIOEVM.Stepper
ExecEVM.Stepper
exec 
1 (Function)EVM.Exec
2 (Function)EVM.Stepper
exec1EVM
execFullyEVM.Stepper
execSymTestEVM.UnitTest
execTestEVM.UnitTest
execTestStepperEVM.UnitTest
executeEVM.Precompiled
executePrecompileEVM
execWhileEVM.Exec
execWithCoverageEVM.UnitTest
ExpEVM.Types
explorationStepperEVM.UnitTest
exploreRunEVM.UnitTest
exploreStepEVM.UnitTest
ExploreTxEVM.UnitTest
externalEVM
extractSigEVM.Dapp
FactEVM.Facts
factToFileEVM.Facts
failOutputEVM.UnitTest
FeeSchedule 
1 (Type/Class)EVM.FeeSchedule
2 (Data Constructor)EVM.FeeSchedule
fetchAccountEVM
fetchBlockFromEVM.Fetch
fetchBlockWithSessionEVM.Fetch
fetchContractFromEVM.Fetch
fetchContractWithSessionEVM.Fetch
fetchedEVM
FetcherEVM.Fetch
fetchQueryEVM.Fetch
fetchSlotFromEVM.Fetch
fetchSlotWithSessionEVM.Fetch
fetchWithSessionEVM.Fetch
FFIEVM
ffiAllowedEVM.UnitTest
File 
1 (Type/Class)EVM.Facts
2 (Data Constructor)EVM.Facts
fileDataEVM.Facts
filePathEVM.Facts
fileToFactEVM.Facts
finalizeEVM
findAllUnitTestsEVM.Dapp
findContractDefinitionEVM.StorageLayout
findSrcEVM.Dapp
findUnitTestsEVM.Dapp
finishFrameEVM
flattenEVM.Flatten
flattenForestEVM.Format
flattenTreeEVM.Format
fooEVM.Dev
forceBufferEVM.Symbolic
forceConcreteEVM
forceConcrete2EVM
forceConcrete3EVM
forceConcrete4EVM
forceConcrete5EVM
forceConcrete6EVM
forceConcreteAddrEVM
forceConcreteBufferEVM
forceLitEVM.Symbolic
forceLitBytesEVM.Symbolic
formatBinaryEVM.Format
formatBStringEVM.Format
formatBytesEVM.Format
formatSBinaryEVM.Format
formatSBytesEVM.Format
formatSStringEVM.Format
formatStringEVM.ABI
formatTestLogEVM.UnitTest
formatTestLogsEVM.UnitTest
Frame 
1 (Type/Class)EVM
2 (Data Constructor)EVM
FrameContextEVM
frameContextEVM
FrameErroredEVM
FrameResultEVM
FrameReturnedEVM
FrameRevertedEVM
framesEVM
FrameState 
1 (Type/Class)EVM
2 (Data Constructor)EVM
frameStateEVM
FrameTraceEVM
fromBEEVM.Types
FromBytesEVM.Types
FromKeccakEVM.Types
FromSizzleEVM.Types
fromSizzleEVM.Types
FromSizzleBVEVM.Types
FromStorageEVM.Types
fromWord512EVM.Types
FullEVM.Patricia
functionAbiEVM.Solidity
fuzzRunEVM.UnitTest
fuzzRunsEVM.UnitTest
fuzzTestEVM.UnitTest
gas 
1 (Function)EVM
2 (Function)EVM.Dev
gaslimitEVM
gaspriceEVM
gasUsedEVM.Dev
genAbiValueEVM.ABI
GetEVM.Patricia
getAbiEVM.ABI
getAbiSeqEVM.ABI
getAbiTypesEVM.Format
getCodeLocationEVM
getNodeEVM.Patricia
getOpEVM.Dev
getParametersFromEnvironmentVariablesEVM.UnitTest
getTargetContractsEVM.UnitTest
getValEVM.Patricia
ghciBCTestEVM.Dev
ghciEmacsEVM.Dev
ghciTestEVM.Dev
ghciTtyEVM.Dev
grokDeclarationTypeEVM.StorageLayout
grokMappingTypeEVM.StorageLayout
grokValueTypeEVM.StorageLayout
GTEVM.Types
g_access_list_addressEVM.FeeSchedule
g_access_list_storage_keyEVM.FeeSchedule
g_balanceEVM.FeeSchedule
g_baseEVM.FeeSchedule
g_blockhashEVM.FeeSchedule
g_callEVM.FeeSchedule
g_callstipendEVM.FeeSchedule
g_callvalueEVM.FeeSchedule
g_codedepositEVM.FeeSchedule
g_cold_account_accessEVM.FeeSchedule
g_cold_sloadEVM.FeeSchedule
g_copyEVM.FeeSchedule
g_createEVM.FeeSchedule
g_ecaddEVM.FeeSchedule
g_ecmulEVM.FeeSchedule
g_expEVM.FeeSchedule
g_expbyteEVM.FeeSchedule
g_extcodeEVM.FeeSchedule
g_extcodehashEVM.FeeSchedule
g_froundEVM.FeeSchedule
g_highEVM.FeeSchedule
g_jumpdestEVM.FeeSchedule
g_logEVM.FeeSchedule
g_logdataEVM.FeeSchedule
g_logtopicEVM.FeeSchedule
g_lowEVM.FeeSchedule
g_memoryEVM.FeeSchedule
g_midEVM.FeeSchedule
g_newaccountEVM.FeeSchedule
g_pairing_baseEVM.FeeSchedule
g_pairing_pointEVM.FeeSchedule
g_quaddivisorEVM.FeeSchedule
g_selfdestructEVM.FeeSchedule
g_selfdestruct_newaccountEVM.FeeSchedule
g_sha3EVM.FeeSchedule
g_sha3wordEVM.FeeSchedule
g_sloadEVM.FeeSchedule
g_sresetEVM.FeeSchedule
g_ssetEVM.FeeSchedule
g_transactionEVM.FeeSchedule
g_txcreateEVM.FeeSchedule
g_txdatanonzeroEVM.FeeSchedule
g_txdatazeroEVM.FeeSchedule
g_verylowEVM.FeeSchedule
g_warm_storage_readEVM.FeeSchedule
g_zeroEVM.FeeSchedule
handleEVM.Emacs
handleCmdEVM.Emacs
HashEVM.Patricia
hexByteStringEVM.Types
hexTextEVM.Types
hiEVM.Types
homesteadEVM.FeeSchedule
httpEVM.Fetch
humanizeIntegerEVM.Format
ifTallEnoughEVM.TTY
IllegalOverflowEVM
immutableLocationsEVM.Dapp
InconsistentEVM
InconsistentUEVM
indentEVM.Format
indentLinesEVM.UnitTest
indexEVM.Symbolic
Indexed 
1 (Type/Class)EVM.ABI
2 (Data Constructor)EVM.ABI
InitCodeEVM
initialContractEVM
initializeUnitTestEVM.UnitTest
InitialSEVM
initialStateForTestEVM.Emacs
initialUiVmStateForTestEVM.TTY
initialUnitTestVmEVM.UnitTest
initTxEVM.Transaction, EVM.VMTest
initUiVmStateEVM.TTY
insertEVM.Patricia
insertDBEVM.Patricia
insertRefEVM.Patricia
insertTraceEVM
insertValuesEVM.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
4 (Function)EVM.Emacs
interpret'EVM.SymExec
interpretWithCoverageEVM.UnitTest
interpretWithTraceEVM.Dev
InvalidFormatEVM
InvalidMemoryAccessEVM
InvariantTestEVM.Dapp
IOActEVM.Stepper
isCreateEVM
isExecutionHaltedEVM.TTY
isFuzzTestEVM.TTY
isNewTraceAddedEVM.TTY
isNextSourcePosition 
1 (Function)EVM.TTY
2 (Function)EVM.Emacs
isNextSourcePositionWithoutEnteringEVM.TTY
isPrintableEVM.Format
isStorageVariableDeclarationEVM.StorageLayout
istanbulEVM.FeeSchedule
IsUniqueEVM
isUnitTestContractEVM.TTY
IsZeroEVM.Types
isZeroEVM
ITEEVM.Types
itemInfoEVM.RLP
iterationsEVM
iteWhiffEVM.Types
JsonTraceEVM.Debug
JumpFromEVM.Solidity
JumpIntoEVM.Solidity
JumpRegularEVM.Solidity
JumpTypeEVM.Solidity
keccakEVM.Types
keccakBlobEVM.Concrete
keccakBytesEVM.Types
keccakUsedEVM
keepExecutingEVM.TTY
KVEVM.Patricia
LanguageEVM.Solidity
LatestEVM.Fetch
lazySliceEVM
leavesEVM.SymExec
leftpadEVM.Format
LegacyTransactionEVM.Transaction
lenEVM.Symbolic
limitStackEVM
lineSubrangeEVM.Solidity
ListEVM.RLP
litAddrEVM.Symbolic
litBytesEVM.Types
Literal 
1 (Data Constructor)EVM.Types
2 (Data Constructor)EVM.Patricia
litWordEVM.Symbolic
loEVM.Types
loadContractEVM
loadDappInfoEVM.Dev
loadFactsEVM.Facts.Git
loadSymVMEVM.SymExec
Log 
1 (Type/Class)EVM
2 (Data Constructor)EVM
log2EVM
logsEVM
lookupCodeEVM.Dapp
lookupDBEVM.Patricia
lookupInEVM.Patricia
lookupPathEVM.Patricia
loopEVM.Emacs
LTEVM.Types
main 
1 (Function)EVM.TTY
2 (Function)EVM.Emacs
makeAbiValueEVM.ABI
makeSrcMapsEVM.Solidity
makeTxCallEVM.UnitTest
makeUniqueEVM
makeVmEVM
MapDBEVM.Patricia
matchEVM.UnitTest
maxCodeSizeEVM
MaxCodeSizeExceededEVM
maxDepthEVM.UnitTest
maxIterEVM.UnitTest
maxIterationsReachedEVM.SymExec
maybeAbiNameEVM.Format
maybeContractNameEVM.Format
maybeContractName'EVM.Format
maybeLitAddrEVM.Symbolic
maybeLitBytesEVM.Symbolic
maybeLitWordEVM.Types
memoryEVM
memoryCostEVM
memorySizeEVM
memSizeEVM.Dev
messageEVM.TTY
Method 
1 (Type/Class)EVM.Solidity
2 (Data Constructor)EVM.Solidity
methodInputsEVM.Solidity
methodMutabilityEVM.Solidity
methodNameEVM.Solidity
methodOutputEVM.Solidity
methodSignatureEVM.Solidity
metropolisEVM.FeeSchedule
mkByteEVM.SymExec
mkCodeOpsEVM
mkOpIxMapEVM
mkTestEVM.Dapp
mkVtyEVM.TTY
ModEVM.Types
ModeEVM.Debug
MulEVM.Types
mulmodEVM.Symbolic
MultipleEVM
MutabilityEVM.Solidity
myThemeEVM.TTY
NameEVM.TTY
NegEVM.Types
newAccountEVM.Transaction
nextEVM
Nibble 
1 (Type/Class)EVM.Types
2 (Data Constructor)EVM.Types
NodeEVM.Patricia
NodeDBEVM.Patricia
nodeIsEVM.StorageLayout
nonceEVM
NonceFactEVM.Facts
NonPayableEVM.Solidity
noopEVM
NotAnonymousEVM.ABI
NotIndexedEVM.ABI
notStaticEVM
NotUniqueEVM
NoValsEVM.ABI
numEVM.Types
numberEVM
objectEVM.Debug
octetsEVM.RLP
octets160EVM.RLP
octetsFullEVM.RLP
OpEVM.Op
opEVM.Dev
OpAddEVM.Op
OpAddmodEVM.Op
OpAddressEVM.Op
OpAndEVM.Op
OpBalanceEVM.Op
OpBlockhashEVM.Op
OpByteEVM.Op
OpCallEVM.Op
OpCallcodeEVM.Op
OpCalldatacopyEVM.Op
OpCalldataloadEVM.Op
OpCalldatasizeEVM.Op
OpCallerEVM.Op
OpCallvalueEVM.Op
OpChainidEVM.Op
OpCodecopyEVM.Op
OpCodesizeEVM.Op
OpCoinbaseEVM.Op
OpCreateEVM.Op
OpCreate2EVM.Op
OpDelegatecallEVM.Op
OpDifficultyEVM.Op
OpDivEVM.Op
OpDupEVM.Op
OpEqEVM.Op
OpExpEVM.Op
OpExtcodecopyEVM.Op
OpExtcodehashEVM.Op
OpExtcodesizeEVM.Op
OpGasEVM.Op
OpGaslimitEVM.Op
OpGaspriceEVM.Op
OpGtEVM.Op
OpIszeroEVM.Op
opIxMapEVM
OpJumpEVM.Op
OpJumpdestEVM.Op
OpJumpiEVM.Op
OpLocation 
1 (Type/Class)EVM.UnitTest
2 (Data Constructor)EVM.UnitTest
OpLogEVM.Op
OpLtEVM.Op
OpMloadEVM.Op
OpModEVM.Op
OpMsizeEVM.Op
OpMstoreEVM.Op
OpMstore8EVM.Op
OpMulEVM.Op
OpMulmodEVM.Op
OpNotEVM.Op
OpNumberEVM.Op
OpOrEVM.Op
OpOriginEVM.Op
opParamsEVM
OpPcEVM.Op
OpPopEVM.Op
OpPushEVM.Op
OpReturnEVM.Op
OpReturndatacopyEVM.Op
OpReturndatasizeEVM.Op
OpRevertEVM.Op
OpSarEVM.Op
OpSdivEVM.Op
OpSelfbalanceEVM.Op
OpSelfdestructEVM.Op
OpSgtEVM.Op
OpSha3EVM.Op
OpShlEVM.Op
OpShrEVM.Op
OpSignextendEVM.Op
opSizeEVM
OpSloadEVM.Op
OpSltEVM.Op
OpSmodEVM.Op
OpSstoreEVM.Op
OpStaticcallEVM.Op
OpStopEVM.Op
opStringEVM.Op
OpSubEVM.Op
OpSwapEVM.Op
OpTimestampEVM.Op
OpUnknownEVM.Op
opWidgetEVM.TTY
OpXorEVM.Op
OrEVM.Types
oracle 
1 (Function)EVM.Fetch
2 (Function)EVM.UnitTest
originEVM
origStorageEVM
OutOfGasEVM
output 
1 (Function)EVM.Emacs
2 (Function)EVM.Dev
outputVmEVM.Emacs
packNibblesEVM.Types
padLeftEVM.Types
padLeft'EVM.Types
padRightEVM.Types
PagerEVM.TTY
panicMsgEVM.SymExec
parenthesiseEVM.Format
parseAbiValueEVM.ABI
parseBCSuiteEVM.VMTest
parseBlockEVM.Fetch
parseMethodInputEVM.Solidity
parseModexpLengthEVM
parseStepModeEVM.Emacs
parseTypeNameEVM.ABI
passOutputEVM.UnitTest
Path 
1 (Type/Class)EVM.Patricia
2 (Type/Class)EVM.Facts
3 (Data Constructor)EVM.Facts
pathEVM
PayableEVM.Solidity
pc 
1 (Function)EVM
2 (Function)EVM.Dev
PleaseAskSMTEVM
PleaseChoosePathEVM
PleaseDoFFIEVM
PleaseFetchContractEVM
PleaseFetchSlotEVM
PleaseMakeUniqueEVM
popTraceEVM
PostconditionEVM.SymExec
precompiledContractEVM
PrecompileFailureEVM
PreconditionEVM.SymExec
Pred 
1 (Type/Class)EVM.TTY
2 (Type/Class)EVM.Emacs
prettyCalldataEVM.UnitTest
prettyContractEVM.Debug
prettyContractsEVM.Debug
prettyHexEVM.Hexdump
prettyIfConcreteEVM.TTY
prettyvmresultEVM.Format
promptEVM.Emacs
ProofResultEVM.SymExec
pruneDeadPathsEVM.SymExec
PureEVM.Solidity
pushEVM
pushSymEVM
pushToEVM
pushToSequenceEVM
pushTraceEVM
PutEVM.Patricia
putAbiEVM.ABI
putNodeEVM.Patricia
QedEVM.SymExec
Query 
1 (Type/Class)EVM
2 (Data Constructor)EVM
QueryAccountEVM.Fetch
QueryBalanceEVM.Fetch
QueryBlockEVM.Fetch
QueryChainIdEVM.Fetch
QueryCodeEVM.Fetch
QueryNonceEVM.Fetch
QuerySlotEVM.Fetch
QueryTraceEVM
quotedEVM.Emacs
rawEVM.Dapp
rawValEVM.Symbolic
readByteOrZero 
1 (Function)EVM.Concrete
2 (Function)EVM.Symbolic
readByteOrZero'EVM.Symbolic
readCombinedJSONEVM.Solidity
readJSONEVM.Solidity
readMemoryEVM
readMemoryWord 
1 (Function)EVM.Concrete
2 (Function)EVM.Symbolic
readMemoryWord'EVM.Symbolic
readMemoryWord32 
1 (Function)EVM.Concrete
2 (Function)EVM.Symbolic
readMemoryWord32'EVM.Symbolic
readNEVM.Types
readNullEVM.Types
readOpEVM
readSolcEVM.Solidity
readStdJSONEVM.Solidity
readStorageEVM
readSWordEVM.Symbolic
readSWord'EVM.Symbolic
readSWordWithBoundEVM.Symbolic
readTextEVM.Fetch
RefEVM.Patricia
Reference 
1 (Type/Class)EVM.Solidity
2 (Data Constructor)EVM.Solidity
refundEVM
refundsEVM
regexMatchesEVM.Dapp
renderListEVM.TTYCenteredList
renderTreeEVM.Format
replaceCodeEVM
replaceCodeOfSelfEVM
replayEVM.UnitTest
RepoAt 
1 (Type/Class)EVM.Facts.Git
2 (Data Constructor)EVM.Facts.Git
resetStateEVM
resultEVM
returndataEVM
ReturnedEVM.Emacs
ReturnTraceEVM
RevertEVM
RLPEVM.RLP
rlpAddrFullEVM.RLP
rlpdecodeEVM.RLP
rlpencodeEVM.RLP
rlplengthsEVM.RLP
rlpListEVM.RLP
rlpNodeEVM.Patricia
rlpRefEVM.Patricia
rlpWord160EVM.RLP
rlpWord256EVM.RLP
rlpWordFullEVM.RLP
rpcEVM.Fetch
RpcQueryEVM.Fetch
Run 
1 (Data Constructor)EVM.Stepper
2 (Data Constructor)EVM.Debug
run 
1 (Function)EVM.Exec
2 (Function)EVM.Stepper
runBCTestEVM.Dev
runDBEVM.Patricia
runFromVMEVM.TTY
runFullyEVM.Stepper
runMapDBEVM.Patricia
runOneEVM.UnitTest
runTestEVM.UnitTest
RuntimeEVM.Solidity
RuntimeCodeEVM
runtimeCodeEVM.Solidity
runtimeCodehashEVM.Solidity
runtimeSrcmapEVM.Solidity
runTrieEVM.Patricia
runUnitTestEVM.UnitTest
runUnitTestContractEVM.UnitTest
runWithCoverageEVM.UnitTest
r_blockEVM.FeeSchedule
r_sclearEVM.FeeSchedule
r_selfdestructEVM.FeeSchedule
SEVM.Types
SAbiEVM.ABI
SAddr 
1 (Type/Class)EVM.Types
2 (Data Constructor)EVM.Types
saddressWord160EVM.Types
SAREVM.Types
saveFactsEVM.Facts.Git
sbytes1024EVM.SymExec
sbytes128EVM.SymExec
sbytes256EVM.SymExec
sbytes32EVM.SymExec
sbytes512EVM.SymExec
scheduleEVM
SDisplayEVM.Emacs
sdivEVM.Symbolic
select'EVM.Symbolic
selectedAttrEVM.TTY
selectorEVM.ABI
selfdestructEVM
SelfDestructionEVM
selfdestructsEVM
senderEVM.Transaction
setMemoryByte 
1 (Function)EVM.Concrete
2 (Function)EVM.Symbolic
setMemoryByte'EVM.Symbolic
setMemoryWord 
1 (Function)EVM.Concrete
2 (Function)EVM.Symbolic
setMemoryWord'EVM.Symbolic
setupTxEVM.Transaction, EVM.VMTest
SexpEVM.Emacs
sexpEVM.Emacs
sexpMemoryEVM.Emacs
SGTEVM.Types
sgtEVM.Symbolic
sha3CrackEVM
SHLEVM.Types
ShortcutEVM.Patricia
showAbiValueEVM.Format
showAbiValuesEVM.Format
showBranchInfoWithAbiEVM.Format
showCallEVM.Format
showCounterexampleEVM.SymExec
showDecEVM.Format
showErrorEVM.Format
showLeafInfoEVM.Format
showStorageEVM.Format
showTraceEVM.Format
showTraceLocationEVM.Dapp
showTraceTreeEVM.Format
showTree'EVM.Format
showTreeIndentSymbolEVM.Format
showValueEVM.Format
showValuesEVM.Format
showWordExactEVM.Format
showWordExplanationEVM.Format
SHREVM.Types
signatureEVM.Solidity
SignedEVM.Format
SignednessEVM.Format
signingDataEVM.Transaction
simpleHexEVM.Hexdump
simplifyConditionEVM.Symbolic
sliceEVM.RLP
sliceMemoryEVM.Concrete
sliceWithZeroEVM.Symbolic
sliceWithZero'EVM.Symbolic
SlotTypeEVM.Solidity
slotTypeForDeclarationEVM.StorageLayout
SLTEVM.Types
sltEVM.Symbolic
SMEVM.Solidity
smodEVM.Symbolic
smtStateEVM.UnitTest
SMTTimeoutEVM
smtTimeoutEVM.UnitTest
snapshotIntervalEVM.TTY
solcEVM.Solidity
SolcContract 
1 (Type/Class)EVM.Solidity
2 (Data Constructor)EVM.Solidity
solcRuntimeEVM.Solidity
SolidityEVM.Solidity
solidityEVM.Solidity
solidity'EVM.Solidity
solidityListEVM.TTY
SolidityPaneEVM.TTY
solverEVM.UnitTest
sourceAstsEVM.Solidity
SourceCache 
1 (Type/Class)EVM.Solidity
2 (Data Constructor)EVM.Solidity
sourceFilesEVM.Solidity
sourceLinesEVM.Solidity
srcContractEVM.UnitTest
SrcMapEVM.Solidity
srcMapEVM.Dapp
srcMapCodeEVM.Debug
srcMapCodePosEVM.Debug
srcMapFileEVM.Solidity
srcMapForOpLocationEVM.UnitTest
srcMapJumpEVM.Solidity
srcMapLengthEVM.Solidity
srcMapModifierDepthEVM.Solidity
srcMapOffsetEVM.Solidity
srcOpIxEVM.UnitTest
stack 
1 (Function)EVM
2 (Function)EVM.Dev
StackLimitExceededEVM
stackOp1EVM
stackOp2EVM
stackOp3EVM
StackPaneEVM.TTY
StackUnderrunEVM
stateEVM
StateChangeWhileStaticEVM
StaticEVM.ABI
staticEVM
stdjsonEVM.Solidity
StepEVM.TTY
StepManyEVM.Emacs
StepMode 
1 (Type/Class)EVM.TTY
2 (Type/Class)EVM.Emacs
StepNoneEVM.Emacs
StepNormallyEVM.Emacs
StepOneEVM.Emacs
stepOneOpcode 
1 (Function)EVM.TTY
2 (Function)EVM.Emacs
StepOutcomeEVM.Emacs
SteppedEVM.Emacs
StepperEVM.Stepper
StepPolicyEVM.Emacs
StepTimidlyEVM.Emacs
StepUntil 
1 (Data Constructor)EVM.TTY
2 (Data Constructor)EVM.Emacs
StoppedEVM.TTY
StorageEVM
storageEVM
StorageFactEVM.Facts
StorageItem 
1 (Type/Class)EVM.Solidity
2 (Data Constructor)EVM.Solidity
storageLayout 
1 (Function)EVM.Solidity
2 (Function)EVM.StorageLayout
StorageMappingEVM.Solidity
StorageModelEVM
storageModelEVM
StorageValueEVM.Solidity
storageVariablesForContractEVM.StorageLayout
strip0xEVM.Types
stripBytecodeMetadataEVM.Solidity
stripBytecodeMetadataSymEVM.Solidity
SubEVM.Types
SubState 
1 (Type/Class)EVM
2 (Data Constructor)EVM
substateEVM
swordAtEVM.Symbolic
symAbiArgEVM.SymExec
SymbolicEVM
SymbolicBufferEVM.Types
SymbolicSEVM
SymbolicTestEVM.Dapp
symbolifyEVM.UnitTest
symCalldataEVM.SymExec
symFailureEVM.UnitTest
symkeccak'EVM.Symbolic
symkeccakNEVM.Symbolic
symRunEVM.UnitTest
symSHA256EVM.Symbolic
symSHA256NEVM.Symbolic
SymWordEVM.Types
takeStep 
1 (Function)EVM.TTY
2 (Function)EVM.Emacs
TestEVM.Dapp
testAddressEVM.UnitTest
testBalanceCreateEVM.UnitTest
testBaseFeeEVM.UnitTest
testCallerEVM.UnitTest
testChainIdEVM.UnitTest
testCoinbaseEVM.UnitTest
testDifficultyEVM.UnitTest
testGasCallEVM.UnitTest
testGasCreateEVM.UnitTest
testGaslimitEVM.UnitTest
testGaspriceEVM.UnitTest
testMaxCodeSizeEVM.UnitTest
testNumberEVM.UnitTest
testOptsEVM.TTY
testOriginEVM.UnitTest
testParamsEVM.UnitTest
testPickerDappEVM.TTY
testPickerListEVM.TTY
TestPickerPaneEVM.TTY
testPriorityFeeEVM.UnitTest
testTimestampEVM.UnitTest
TestVMParams 
1 (Type/Class)EVM.UnitTest
2 (Data Constructor)EVM.UnitTest
textAbiValuesEVM.Format
textValuesEVM.Format
tickEVM.UnitTest
TimeoutEVM.SymExec
TimeoutUEVM
timestampEVM
toAddrEVM
toByteEVM.Types
toChecksumAddressEVM.Types
TodoEVM.Types
ToRPCEVM.Fetch
toRPCEVM.Fetch
toSIntEVM.Symbolic
ToSizzleEVM.Types
toSizzleEVM.Types
ToSizzleBVEVM.Types
touchAccount 
1 (Function)EVM
2 (Function)EVM.Transaction
touchedAccountsEVM
toWord512EVM.Types
Trace 
1 (Type/Class)EVM
2 (Data Constructor)EVM
traceContractEVM
TraceDataEVM
traceDataEVM
traceForestEVM
traceLogEVM
traceOpIxEVM
TracePaneEVM.TTY
tracesEVM
traceSrcMapEVM.Dapp
Transaction 
1 (Type/Class)EVM.Transaction
2 (Data Constructor)EVM.Transaction
transferEVM
TreeLine 
1 (Type/Class)EVM.Format
2 (Data Constructor)EVM.Format
TrieEVM.Patricia
truncpadEVM.Types
truncpadlitEVM
txEVM
txAccessListEVM.Transaction
txAccessMapEVM.Transaction
txDataEVM.Transaction
txGasCostEVM.Transaction
txGasLimitEVM.Transaction
txgaslimitEVM
txGasPriceEVM.Transaction
txMaxFeePerGasEVM.Transaction
txMaxPriorityFeeGasEVM.Transaction
txNonceEVM.Transaction
txPriorityFeeEVM
txREVM.Transaction
txReversionEVM
txSEVM.Transaction
TxState 
1 (Type/Class)EVM
2 (Data Constructor)EVM
txtEVM.Emacs
txToAddrEVM.Transaction
TxTypeEVM.Transaction
txTypeEVM.Transaction
txVEVM.Transaction
txValueEVM.Transaction
UiBrowserState 
1 (Type/Class)EVM.TTY
2 (Data Constructor)EVM.TTY
UiDappLoadedEVM.Emacs
uiShowMemoryEVM.TTY
uiSnapshotsEVM.TTY
UiStartedEVM.Emacs
UiState 
1 (Type/Class)EVM.TTY
2 (Type/Class)EVM.Emacs
uiStepEVM.TTY
uiStepperEVM.TTY
uiTestOptsEVM.TTY
UiTestPickerState 
1 (Type/Class)EVM.TTY
2 (Data Constructor)EVM.TTY
UiVmEVM.Emacs
uiVm 
1 (Function)EVM.TTY
2 (Function)EVM.Emacs
uiVmDappEVM.Emacs
uiVmFetcherEVM.Emacs
uiVmFirstStateEVM.Emacs
uiVmMessageEVM.Emacs
uiVmNextStepEVM.Emacs
uiVmSentHashesEVM.Emacs
uiVmSolcEVM.Emacs
UiVmState 
1 (Type/Class)EVM.TTY
2 (Data Constructor)EVM.TTY
3 (Type/Class)EVM.Emacs
4 (Data Constructor)EVM.Emacs
uiVmStepCountEVM.Emacs
UiWidgetEVM.TTY
underrunEVM
UnexpectedSymbolicArgEVM
unifyCachedContractEVM
unindexedEVM.Format
UniqueEVM
unitTestMarkerAbiEVM.Dapp
unitTestMethodsEVM.Dapp
unitTestMethodsFilteredEVM.Dapp
UnitTestOptions 
1 (Type/Class)EVM.UnitTest
2 (Data Constructor)EVM.UnitTest
UnknownEVM
unpackNibblesEVM.Types
UnrecognizedOpcodeEVM
unRefundEVM
UnsignedEVM.Format
updateEVM.Patricia
updateSentHashesEVM.Emacs
updateUiVmStateEVM.Emacs
valueEVM
VarEVM.Types
varEVM.Types
verboseEVM.UnitTest
verifyEVM.SymExec
verifyContractEVM.SymExec
VerifyResultEVM.SymExec
ViewEVM.Solidity
ViewContractsEVM.TTY
ViewHelpEVM.TTY
ViewPickerEVM.TTY
ViewVmEVM.TTY
VM 
1 (Type/Class)EVM
2 (Data Constructor)EVM
vmErrorEVM
vmFactsEVM.Facts
VMFailureEVM
vmForCaseEVM.VMTest
vmForEthrunCreationEVM.Exec
vmModifierEVM.UnitTest
vmOpEVM
vmOpIxEVM
vmoptAddressEVM
vmoptAllowFFIEVM
vmoptBaseFeeEVM
vmoptBlockGaslimitEVM
vmoptCalldataEVM
vmoptCallerEVM
vmoptChainIdEVM
vmoptCoinbaseEVM
vmoptContractEVM
vmoptCreateEVM
vmoptDifficultyEVM
vmoptGasEVM
vmoptGaslimitEVM
vmoptGaspriceEVM
vmoptMaxCodeSizeEVM
vmoptNumberEVM
vmoptOriginEVM
vmoptPriorityFeeEVM
VMOpts 
1 (Type/Class)EVM
2 (Data Constructor)EVM
vmoptScheduleEVM
vmoptStorageModelEVM
vmoptTimestampEVM
vmoptTxAccessListEVM
vmoptValueEVM
vmresEVM.Dev
VMResultEVM
VMSuccessEVM
VMTrace 
1 (Type/Class)EVM.Dev
2 (Data Constructor)EVM.Dev
vmtraceEVM.Dev
VMTraceResult 
1 (Type/Class)EVM.Dev
2 (Data Constructor)EVM.Dev
W256 
1 (Type/Class)EVM.Types
2 (Data Constructor)EVM.Types
w256EVM.Types
w256litEVM.Types
WaitEVM.Stepper
waitEVM.Stepper
whatEVM.Facts
whichEVM.Facts
WhiffEVM.Types
whiffValueEVM.Symbolic
withHighlightEVM.TTY
withTraceLocationEVM
WordEVM.Types
wordEVM.Types
word160BytesEVM.Types
word256EVM.Types
word256AtEVM
word256BytesEVM.Types
word32EVM.Types
word32BytesEVM.UnitTest
Word512 
1 (Type/Class)EVM.Types
2 (Data Constructor)EVM.Types
wordAtEVM.Concrete
wordAttrEVM.TTY
wordFieldEVM.Types
wordValueEVM.Concrete
writeMemory 
1 (Function)EVM.Concrete
2 (Function)EVM.Symbolic
writeMemory'EVM.Symbolic
writeStorageEVM
YulEVM.Solidity
yulEVM.Solidity
yul'EVM.Solidity
yulRuntimeEVM.Solidity
zeroEVM.Fetch
zipperRootForestEVM
^EVM.Concrete
_abiMapEVM.Solidity
_accessedAddressesEVM
_accessedStorageKeysEVM
_allowFFIEVM
_balanceEVM
_baseFeeEVM
_blockEVM
_branchConditionEVM.SymExec
_browserContractListEVM.TTY
_browserVmEVM.TTY
_burnedEVM
_cacheEVM
_calldataEVM
_callerEVM
_callvalueEVM
_chainIdEVM
_codeEVM
_codeContractEVM
_codehashEVM
_codeOpsEVM
_coinbaseEVM
_constraintsEVM
_constructorInputsEVM.Solidity
_contentEVM.Format
_contextEnvEVM.Dapp
_contextInfoEVM.Dapp
_contractEVM
_contractcodeEVM
_contractNameEVM.Solidity
_contractsEVM
_creationCodeEVM.Solidity
_creationCodehashEVM.Solidity
_creationSrcmapEVM.Solidity
_dappAbiMapEVM.Dapp
_dappAstIdMapEVM.Dapp
_dappAstSrcMapEVM.Dapp
_dappEventMapEVM.Dapp
_dappRootEVM.Dapp
_dappSolcByCodeEVM.Dapp
_dappSolcByHashEVM.Dapp
_dappSolcByNameEVM.Dapp
_dappSourcesEVM.Dapp
_dappUnitTestsEVM.Dapp
_difficultyEVM
_envEVM
_eventMapEVM.Solidity
_externalEVM
_fetchedEVM
_frameContextEVM
_framesEVM
_frameStateEVM
_gasEVM
_gaslimitEVM
_gaspriceEVM
_immutableReferencesEVM.Solidity
_indentEVM.Format
_isCreateEVM
_iterationsEVM
_keccakUsedEVM
_logsEVM
_maxCodeSizeEVM
_memoryEVM
_memorySizeEVM
_methodInputsEVM.Solidity
_methodMutabilityEVM.Solidity
_methodNameEVM.Solidity
_methodOutputEVM.Solidity
_methodSignatureEVM.Solidity
_nonceEVM
_numberEVM
_offsetEVM.Solidity
_opIxMapEVM
_originEVM
_origStorageEVM
_pathEVM
_pcEVM
_refLengthEVM.Solidity
_refStartEVM.Solidity
_refundsEVM
_resultEVM
_returndataEVM
_runtimeCodeEVM.Solidity
_runtimeCodehashEVM.Solidity
_runtimeSrcmapEVM.Solidity
_scheduleEVM
_selfdestructsEVM
_sha3CrackEVM
_slotEVM.Solidity
_sourceAstsEVM.Solidity
_sourceFilesEVM.Solidity
_sourceLinesEVM.Solidity
_stackEVM
_stateEVM
_staticEVM
_storageEVM
_storageLayoutEVM.Solidity
_storageModelEVM
_substateEVM
_testOptsEVM.TTY
_testPickerDappEVM.TTY
_testPickerListEVM.TTY
_timestampEVM
_toAddrEVM
_touchedAccountsEVM
_traceContractEVM
_traceDataEVM
_traceOpIxEVM
_tracesEVM
_txEVM
_txgaslimitEVM
_txPriorityFeeEVM
_txReversionEVM
_typeEVM.Solidity
_uiShowMemoryEVM.TTY
_uiSnapshotsEVM.TTY
_uiStepEVM.TTY
_uiStepperEVM.TTY
_uiTestOptsEVM.TTY
_uiVm 
1 (Function)EVM.TTY
2 (Function)EVM.Emacs
_uiVmDappEVM.Emacs
_uiVmFetcherEVM.Emacs
_uiVmFirstStateEVM.Emacs
_uiVmMessageEVM.Emacs
_uiVmNextStepEVM.Emacs
_uiVmSentHashesEVM.Emacs
_uiVmSolcEVM.Emacs
_uiVmStepCountEVM.Emacs
_valueEVM
_ViewContractsEVM.TTY
_ViewHelpEVM.TTY
_ViewPickerEVM.TTY
_ViewVmEVM.TTY
_vmEVM.SymExec