hevm-0.50.1: Ethereum virtual machine evaluator

Index - R

rawEVM.Dapp
reachableEVM.SymExec
reachable'EVM.Dev
ReadByteEVM.Types
readByteEVM.Expr
readByteOrZeroEVM.Concrete
readBytesEVM.Expr
readCombinedJSONEVM.Solidity
readJSONEVM.Solidity
readMemoryEVM
readNEVM.Types
readNullEVM.Types
readOpEVM
readSExprEVM.SMT
readSolcEVM.Solidity
readStdJSONEVM.Solidity
readStorageEVM.Expr
readStorage'EVM.Expr
readTextEVM.Fetch
ReadWordEVM.Types
readWordEVM.Expr
readWordFromBytesEVM.Expr
RefEVM.Patricia
Reference 
1 (Type/Class)EVM.Solidity
2 (Data Constructor)EVM.Solidity
referencedBlockContextEVM.SMT
referencedBlockContext'EVM.SMT
referencedBufsEVM.SMT
referencedBufs'EVM.SMT
referencedFrameContextEVM.SMT
referencedFrameContext'EVM.SMT
referencedVarsEVM.SMT
referencedVars'EVM.SMT
refundEVM
refundsEVM
regexMatchesEVM.Types
renderListEVM.TTYCenteredList
replaceCodeEVM
replaceCodeOfSelfEVM
replayEVM.UnitTest
RepoAt 
1 (Type/Class)EVM.Facts.Git
2 (Data Constructor)EVM.Facts.Git
resetStateEVM
resultEVM
resultChanEVM.SMT
ReturnEVM.Types
returndataEVM
ReturnTraceEVM
Revert 
1 (Data Constructor)EVM.Types
2 (Data Constructor)EVM
RLPEVM.RLP
rlpAddrFullEVM.RLP
rlpdecodeEVM.RLP
rlpencodeEVM.RLP
rlplengthsEVM.RLP
rlpListEVM.RLP
rlpNodeEVM.Patricia
rlpRefEVM.Patricia
rlpWord160EVM.RLP
rlpWord256EVM.RLP
rlpWordFullEVM.RLP
rpcEVM.Fetch
RpcInfoEVM.Fetch
rpcInfo 
1 (Function)EVM.SymExec
2 (Function)EVM.UnitTest
RpcQueryEVM.Fetch
rpcVeriOptsEVM.SymExec
Run 
1 (Data Constructor)EVM.Stepper
2 (Data Constructor)EVM.Debug
run 
1 (Function)EVM.Exec
2 (Function)EVM.Stepper
runDappTestEVM.Dev
runDBEVM.Patricia
runExprEVM.SymExec
runFromVMEVM.TTY
runFullyEVM.Stepper
runMapDBEVM.Patricia
runOneEVM.UnitTest
runTestEVM.UnitTest
RuntimeEVM.Solidity
RuntimeCode 
1 (Type/Class)EVM
2 (Data Constructor)EVM
runtimeCodeEVM.Solidity
runtimeCodehashEVM.Solidity
runtimeSrcmapEVM.Solidity
runTrieEVM.Patricia
runUnitTestEVM.UnitTest
runUnitTestContractEVM.UnitTest
runWithCoverageEVM.UnitTest
r_blockEVM.FeeSchedule
r_sclearEVM.FeeSchedule
r_selfdestructEVM.FeeSchedule