hevm-0.49.0: Ethereum virtual machine evaluator

Index - R

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.Types
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