Index - C
| C | EVM.Types |
| CAbi | EVM.ABI |
| Cache | |
| 1 (Type/Class) | EVM |
| 2 (Data Constructor) | EVM |
| cache | EVM |
| cacheFacts | EVM.Facts |
| calcRoot | EVM.Patricia |
| callChecks | EVM |
| CallContext | EVM |
| callContextAbi | EVM |
| callContextCodehash | EVM |
| callContextContext | EVM |
| callContextData | EVM |
| callContextOffset | EVM |
| callContextReversion | EVM |
| callContextSize | EVM |
| callContextSubState | EVM |
| callContextTarget | EVM |
| calldata | EVM |
| CallDepthLimitReached | EVM |
| caller | EVM |
| callvalue | EVM |
| Case | |
| 1 (Data Constructor) | EVM |
| 2 (Type/Class) | EVM.VMTest |
| ceilDiv | EVM |
| Cex | EVM.SymExec |
| chainId | EVM |
| cheat | EVM |
| CheatAction | EVM |
| cheatActions | EVM |
| cheatCode | EVM |
| checkAssert | EVM.SymExec |
| checkAssertions | EVM.SymExec |
| checkBranch | EVM.Fetch |
| checkExpectation | EVM.VMTest |
| checkFailures | EVM.UnitTest |
| checkJump | EVM |
| checksat | EVM.Fetch |
| checkSymFailures | EVM.UnitTest |
| Choose | |
| 1 (Type/Class) | EVM |
| 2 (Data Constructor) | EVM |
| Code | |
| 1 (Type/Class) | EVM.Dapp |
| 2 (Data Constructor) | EVM.Dapp |
| code | EVM |
| codeByHash | EVM.Emacs |
| codeContract | EVM |
| CodeFact | EVM.Facts |
| codehash | EVM |
| CodeLocation | EVM |
| codeOps | EVM |
| CodeType | EVM.Solidity |
| coinbase | EVM |
| collision | EVM |
| compareCode | EVM.Dapp |
| concatMapM | EVM.Types |
| Concrete | EVM |
| ConcreteBuffer | EVM.Types |
| concreteModexpGasFee | EVM |
| ConcreteS | EVM |
| ConcreteTest | EVM.Dapp |
| consistentPath | EVM.SymExec |
| consistentTree | EVM.SymExec |
| Console | EVM.Emacs |
| constraints | EVM |
| constructorInputs | EVM.Solidity |
| content | EVM.Format |
| contextEnv | EVM.Dapp |
| contextInfo | EVM.Dapp |
| Continuation | EVM.TTY |
| Continue | EVM.TTY |
| Contract | |
| 1 (Type/Class) | EVM |
| 2 (Data Constructor) | EVM |
| contract | EVM |
| ContractCode | EVM |
| contractcode | EVM |
| contractFacts | EVM.Facts |
| contractName | EVM.Solidity |
| contractNamePart | EVM.Format |
| contractPathPart | EVM.Format |
| contracts | EVM |
| contractWithStore | EVM |
| copyBytesToMemory | EVM |
| copyCallBytesToMemory | EVM |
| costOfCall | EVM |
| costOfCreate | EVM |
| costOfPrecompile | EVM |
| coverageForUnitTestContract | EVM.UnitTest |
| coverageReport | EVM.UnitTest |
| CoverageState | EVM.UnitTest |
| create | EVM |
| create2Address | EVM.Concrete |
| createAddress | EVM.Concrete |
| Creation | EVM.Solidity |
| creationCode | EVM.Solidity |
| creationCodehash | EVM.Solidity |
| CreationContext | EVM |
| creationContextAddress | EVM |
| creationContextCodehash | EVM |
| creationContextReversion | EVM |
| creationContextSubstate | EVM |
| creationSrcmap | EVM.Solidity |
| currentContract | EVM |
| currentOpLocation | EVM.UnitTest |
| currentSolc | EVM.Format |
| currentSrcMap | EVM.TTY |