Index - R
| 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 |