Index - R
| raw | EVM.Dapp |
| reachable | EVM.SymExec |
| reachable' | EVM.Dev |
| ReadByte | EVM.Types |
| readByte | EVM.Expr |
| readByteOrZero | EVM.Concrete |
| readBytes | EVM.Expr |
| readCombinedJSON | EVM.Solidity |
| readJSON | EVM.Solidity |
| readMemory | EVM |
| readN | EVM.Types |
| readNull | EVM.Types |
| readOp | EVM |
| readSExpr | EVM.SMT |
| 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 |
| referencedBufs | EVM.SMT |
| referencedBufs' | EVM.SMT |
| referencedFrameContext | EVM.SMT |
| referencedFrameContext' | EVM.SMT |
| referencedVars | EVM.SMT |
| referencedVars' | EVM.SMT |
| refund | EVM |
| refunds | EVM |
| regexMatches | EVM.Types |
| renderList | EVM.TTYCenteredList |
| replaceCode | EVM |
| replaceCodeOfSelf | EVM |
| replay | EVM.UnitTest |
| RepoAt | |
| 1 (Type/Class) | EVM.Facts.Git |
| 2 (Data Constructor) | EVM.Facts.Git |
| resetState | EVM |
| result | EVM |
| resultChan | EVM.SMT |
| Return | EVM.Types |
| returndata | EVM |
| ReturnTrace | EVM |
| Revert | |
| 1 (Data Constructor) | EVM.Types |
| 2 (Data Constructor) | EVM |
| 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 |
| rpcInfo | |
| 1 (Function) | EVM.SymExec |
| 2 (Function) | EVM.UnitTest |
| RpcQuery | EVM.Fetch |
| rpcVeriOpts | EVM.SymExec |
| Run | |
| 1 (Data Constructor) | EVM.Stepper |
| 2 (Data Constructor) | EVM.Debug |
| 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 |
| 2 (Data Constructor) | EVM |
| runtimeCode | EVM.Solidity |
| runtimeCodehash | EVM.Solidity |
| runtimeSrcmap | EVM.Solidity |
| runTrie | EVM.Patricia |
| runUnitTest | EVM.UnitTest |
| runUnitTestContract | EVM.UnitTest |
| runWithCoverage | EVM.UnitTest |
| r_block | EVM.FeeSchedule |
| r_sclear | EVM.FeeSchedule |
| r_selfdestruct | EVM.FeeSchedule |