Index - D
| DappContext | |
| 1 (Type/Class) | EVM.Dapp |
| 2 (Data Constructor) | EVM.Dapp |
| DappInfo | |
| 1 (Type/Class) | EVM.Dapp |
| 2 (Data Constructor) | EVM.Dapp |
| dappInfo | EVM.Dapp |
| DappTools | EVM.Solidity |
| declareAbstractStores | EVM.SMT |
| declareAddrs | EVM.SMT |
| declareBlockContext | EVM.SMT |
| declareBufs | EVM.SMT |
| declareFrameContext | EVM.SMT |
| declareIntermediates | EVM.SMT |
| declareVars | EVM.SMT |
| decodeAbiValue | EVM.ABI |
| decodeBuf | EVM.ABI |
| decodeStaticArgs | EVM.ABI |
| decomposeStorage | EVM.Expr |
| defaultBalanceForTestContract | EVM.UnitTest |
| defaultConfig | EVM.Effects |
| defaultEnv | EVM.Effects |
| defaultGasForCreating | EVM.UnitTest |
| defaultGasForInvoking | EVM.UnitTest |
| defaultMaxCodeSize | EVM.UnitTest |
| defaultPanicCodes | EVM.SymExec |
| defaultSymbolicValues | EVM.SymExec |
| defaultVeriOpts | EVM.SymExec |
| delegateCall | EVM |
| deriveAddr | EVM.Sign |
| discoverMaxReads | EVM.SMT |
| Div | EVM.Types |
| div | EVM.Expr |
| drop | EVM.Expr |
| Dy | EVM.SymExec |
| Dynamic | EVM.ABI |