Index - F
| failOutput | EVM.UnitTest |
| Failure | EVM.Types |
| FeeSchedule | |
| 1 (Type/Class) | EVM.FeeSchedule |
| 2 (Data Constructor) | EVM.FeeSchedule |
| feeSchedule | 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 |
| filterCorrectKeccak | EVM.Fuzz |
| finalize | EVM |
| findAllUnitTests | EVM.Dapp |
| findBufferAccess | EVM.SMT |
| findBufProp | EVM.Fuzz |
| findSrc | EVM.Dapp |
| findStoragePropComp | EVM.Fuzz |
| findStoragePropInner | EVM.Fuzz |
| findStorageReads | EVM.SMT |
| findUnitTests | EVM.Dapp |
| findVarProp | EVM.Fuzz |
| finishFrame | EVM |
| Flat | EVM.SMT |
| flattenBufs | EVM.SMT |
| flattenExpr | EVM.SymExec |
| flattenProps | EVM.Expr |
| foldCode | EVM.Traversals |
| foldContract | EVM.Traversals |
| foldEContract | EVM.Traversals |
| foldExpr | EVM.Traversals |
| foldProp | EVM.Traversals |
| foldTerm | EVM.Traversals |
| forceAddr | EVM |
| forceConcrete | EVM |
| forceConcrete2 | EVM |
| forceConcreteAddr | EVM |
| forceConcreteAddr2 | EVM |
| forceConcreteBuf | EVM |
| forceLit | EVM |
| ForkState | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| formatBinary | EVM.Format |
| formatBytes | EVM.Format |
| formatCex | EVM.SymExec |
| formatEAddr | EVM.SMT |
| formatExpr | EVM.Format |
| formatPartial | EVM.Format |
| formatProp | EVM.Format |
| formatSMT2 | EVM.SMT |
| formatSomeExpr | EVM.Format |
| formatString | EVM.Types, EVM.ABI |
| formatTestLog | EVM.UnitTest |
| formatTestLogs | EVM.UnitTest |
| Foundry | EVM.Solidity |
| FoundryStdLib | 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 |
| freezeMemory | EVM |
| freshSymAddr | EVM |
| fromBE | EVM.Types |
| fromList | EVM.Expr |
| fromWord512 | EVM.Types |
| functionAbi | EVM.Solidity |
| FunctionSelector | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |