Index - F
| Fact | EVM.Facts |
| factToFile | EVM.Facts |
| failOutput | EVM.UnitTest |
| Failure | EVM.Types |
| FeeSchedule | |
| 1 (Type/Class) | EVM.FeeSchedule |
| 2 (Data Constructor) | EVM.FeeSchedule |
| fetchAccount | EVM |
| fetchBlockFrom | EVM.Fetch |
| fetchBlockWithSession | EVM.Fetch |
| fetchChainIdFrom | EVM.Fetch |
| fetchContractFrom | EVM.Fetch |
| fetchContractWithSession | EVM.Fetch |
| Fetcher | EVM.Fetch |
| fetchQuery | EVM.Fetch |
| fetchSlotFrom | EVM.Fetch |
| fetchSlotWithSession | EVM.Fetch |
| fetchWithSession | EVM.Fetch |
| File | |
| 1 (Type/Class) | EVM.Facts |
| 2 (Data Constructor) | EVM.Facts |
| fileToFact | EVM.Facts |
| finalize | EVM |
| findAllUnitTests | EVM.Dapp |
| findBufferAccess | EVM.SMT |
| findContractDefinition | EVM.StorageLayout |
| findSrc | EVM.Dapp |
| findStorageReads | EVM.SMT |
| findUnitTests | EVM.Dapp |
| finishFrame | EVM |
| Flat | EVM.SMT |
| flattenBufs | EVM.SMT |
| flattenExpr | EVM.SymExec |
| foldExpr | EVM.Traversals |
| foldProp | EVM.Traversals |
| foldTerm | EVM.Traversals |
| forceConcrete | EVM |
| forceConcrete2 | EVM |
| forceConcrete3 | EVM |
| forceConcrete4 | EVM |
| forceConcrete5 | EVM |
| forceConcrete6 | EVM |
| forceConcreteBuf | EVM |
| formatBinary | EVM.Format |
| formatBytes | EVM.Format |
| formatCex | EVM.SymExec |
| formatExpr | EVM.Format |
| formatPartial | EVM.Format |
| formatSMT2 | EVM.SMT |
| formatSomeExpr | EVM.Format |
| formatString | EVM.Types, EVM.ABI |
| formatTestLog | EVM.UnitTest |
| formatTestLogs | EVM.UnitTest |
| Foundry | EVM.Solidity |
| Frame | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| FrameContext | EVM.Types |
| FrameErrored | EVM |
| FrameResult | EVM |
| FrameReturned | EVM |
| FrameReverted | EVM |
| FrameState | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| FrameTrace | EVM.Types |
| fromBE | EVM.Types |
| fromList | EVM.Expr |
| fromWord512 | EVM.Types |
| Full | EVM.Patricia |
| functionAbi | EVM.Solidity |
| FunctionSelector | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| fuzzRun | EVM.UnitTest |
| fuzzTest | EVM.UnitTest |