| * | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| + | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| - | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| .&& | Lang.Crucible.Syntax |
| .* | Lang.Crucible.Syntax |
| .+ | Lang.Crucible.Syntax |
| .- | Lang.Crucible.Syntax |
| ./= | Lang.Crucible.Syntax |
| .< | Lang.Crucible.Syntax |
| .<= | Lang.Crucible.Syntax |
| .== | Lang.Crucible.Syntax |
| .> | Lang.Crucible.Syntax |
| .>= | Lang.Crucible.Syntax |
| .|| | Lang.Crucible.Syntax |
| ::> | |
| 1 (Data Constructor) | Lang.Crucible.Types, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator |
| 2 (Type/Class) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| :~: | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| <+> | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| <= | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| abortBranchForType | Lang.Crucible.Simulator.RegMap |
| abortBranchIntrinsic | Lang.Crucible.Simulator.Intrinsics |
| abortBranchRegEntry | Lang.Crucible.Simulator.RegMap |
| abortBranchRegs | Lang.Crucible.Simulator.RegMap |
| AbortedBranch | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| AbortedExec | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| AbortedExit | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| AbortedResult | |
| 1 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| 2 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| abortExec | Lang.Crucible.Simulator.Operations |
| abortExecAndLog | Lang.Crucible.Simulator.Operations |
| abortExecBecause | Lang.Crucible.Backend |
| AbortExecReason | Lang.Crucible.Backend |
| AbortHandler | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| abortHandler | Lang.Crucible.Simulator.ExecutionTree |
| AbortState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| actContext | Lang.Crucible.Simulator.ExecutionTree |
| actFrame | Lang.Crucible.Simulator.ExecutionTree |
| activeFrames | Lang.Crucible.Simulator.ExecutionTree |
| ActiveTree | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree |
| addAssertion | Lang.Crucible.Backend |
| addAssertionM | Lang.Crucible.Backend |
| addAssumption | Lang.Crucible.Backend |
| addAssumptions | Lang.Crucible.Backend |
| addBreakpointStmt | Lang.Crucible.CFG.Generator |
| addDurableAssertion | Lang.Crucible.Backend |
| addDurableProofObligation | Lang.Crucible.Backend |
| addFailedAssertion | Lang.Crucible.Backend |
| addInternalStmt | Lang.Crucible.Utils.RegRewrite |
| addIsLeq | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| addIsLeqLeft1 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| addMulDistribRight | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| addNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| addPrefixIsLeq | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| addPrintStmt | Lang.Crucible.CFG.Generator |
| addProofObligation | |
| 1 (Function) | Lang.Crucible.Backend.AssumptionStack |
| 2 (Function) | Lang.Crucible.Backend |
| addStmt | Lang.Crucible.Utils.RegRewrite |
| adjustVectorWithSymNat | Lang.Crucible.Simulator.Evaluation |
| advanceCrucibleState | Lang.Crucible.Simulator.EvalStmt |
| AH | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| allAssumptionFrames | Lang.Crucible.Backend.AssumptionStack |
| alterRef | Lang.Crucible.Simulator.EvalStmt |
| And | Lang.Crucible.CFG.Expr |
| annotateCFGStmts | |
| 1 (Function) | Lang.Crucible.Utils.RegRewrite |
| 2 (Function) | Lang.Crucible.Utils.CoreRewrite |
| AnyCFG | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg |
| 3 (Type/Class) | Lang.Crucible.CFG.Core |
| 4 (Data Constructor) | Lang.Crucible.CFG.Core |
| AnyFnBindings | |
| 1 (Type/Class) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| AnyRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| AnyType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| AnyValue | |
| 1 (Type/Class) | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| App | |
| 1 (Type/Class) | Lang.Crucible.CFG.Expr |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 3 (Data Constructor) | Lang.Crucible.CFG.Core |
| app | Lang.Crucible.Syntax |
| append | Lang.Crucible.Vector |
| appendAssumptions | Lang.Crucible.Backend.AssumptionStack |
| appendRegs | Lang.Crucible.Simulator.RegMap |
| appendSymSequence | Lang.Crucible.Simulator.SymSequence |
| applyEmbeddingStmt | Lang.Crucible.CFG.Core |
| appType | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| arFrames | Lang.Crucible.Simulator.ExecutionTree |
| arrayTypeIndices | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| arrayTypeResult | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| asApp | Lang.Crucible.Syntax |
| AsBaseType | |
| 1 (Type/Class) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| 2 (Data Constructor) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| asBaseType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| asContFrame | Lang.Crucible.Simulator.Operations |
| asEapp | Lang.Crucible.Syntax |
| Assert | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| assert | Lang.Crucible.Backend |
| assertedJustExpr | Lang.Crucible.CFG.Generator |
| assertExpr | Lang.Crucible.CFG.Generator |
| AssertFailureSimError | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| Assertion | Lang.Crucible.Backend |
| AssertionFailure | Lang.Crucible.Backend |
| assertIsInteger | Lang.Crucible.Backend |
| assertThenAssumeConfigOption | Lang.Crucible.Backend |
| Assigned | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| assignReg | |
| 1 (Function) | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| 2 (Function) | Lang.Crucible.CFG.Generator |
| assignReg' | Lang.Crucible.Simulator.RegMap |
| Assume | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| assumeExpr | Lang.Crucible.CFG.Generator |
| assumeFrameCond | Lang.Crucible.Backend.AssumptionStack |
| assumeFrameIdent | Lang.Crucible.Backend.AssumptionStack |
| assumeStackGen | Lang.Crucible.Backend.AssumptionStack |
| Assuming | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack, Lang.Crucible.Backend |
| assuming | Lang.Crucible.Backend.Goals |
| AssumingNoError | Lang.Crucible.Backend |
| Assumption | Lang.Crucible.Backend |
| AssumptionFrame | |
| 1 (Type/Class) | Lang.Crucible.Backend.AssumptionStack |
| 2 (Data Constructor) | Lang.Crucible.Backend.AssumptionStack |
| AssumptionFrames | |
| 1 (Type/Class) | Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack |
| 2 (Data Constructor) | Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack |
| assumptionLoc | Lang.Crucible.Backend |
| assumptionPred | Lang.Crucible.Backend |
| Assumptions | Lang.Crucible.Backend |
| assumptionsPred | Lang.Crucible.Backend |
| AssumptionStack | |
| 1 (Type/Class) | Lang.Crucible.Backend.AssumptionStack, Lang.Crucible.Backend |
| 2 (Data Constructor) | Lang.Crucible.Backend.AssumptionStack |
| AssumptionState | Lang.Crucible.Backend |
| assumptionsTopLevelLocs | Lang.Crucible.Backend |
| asSymExpr | Lang.Crucible.Simulator.RegMap |
| AtF | Lang.Crucible.CFG.Core |
| atF | Lang.Crucible.CFG.Core |
| Atom | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| AtomExpr | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| atomId | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| atomPosition | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| AtomSource | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| atomSource | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| AtomValue | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| BackEdge | Lang.Crucible.Analysis.DFS |
| backendGetSym | Lang.Crucible.Backend |
| backendOptions | Lang.Crucible.Backend |
| BaseArrayRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseArrayType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseBoolRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseBoolType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseBVRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseBVType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseComplexRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseComplexType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseFloatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseFloatType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| baseFrame | Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack |
| BaseIntegerRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseIntegerType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseIsEq | Lang.Crucible.CFG.Expr |
| BaseIte | Lang.Crucible.CFG.Expr |
| BaseRealRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseRealType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseStringRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseStringType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseStructRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseStructType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseTerm | |
| 1 (Type/Class) | Lang.Crucible.CFG.Expr |
| 2 (Data Constructor) | Lang.Crucible.CFG.Expr |
| baseTermType | Lang.Crucible.CFG.Expr |
| baseTermVal | Lang.Crucible.CFG.Expr |
| BaseToType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| baseToType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseTypeRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| bigEndianLoad | Lang.Crucible.Syntax |
| bigEndianLoadDef | Lang.Crucible.Syntax |
| bigEndianStore | Lang.Crucible.Syntax |
| bindCFG | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| bindFnHandle | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| BitSet | Lang.Crucible.Utils.BitSet |
| BitwuzlaOnlineBackend | Lang.Crucible.Backend.Online |
| BLOCK | Lang.Crucible.Simulator.Profiling |
| Block | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Type/Class) | Lang.Crucible.CFG.Core |
| 3 (Data Constructor) | Lang.Crucible.CFG.Core |
| blockAssignedValues | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| blockExtraInputs | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| BlockID | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Type/Class) | Lang.Crucible.CFG.Core |
| 3 (Data Constructor) | Lang.Crucible.CFG.Core |
| blockID | |
| 1 (Function) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.CFG.Core |
| blockIDIndex | Lang.Crucible.CFG.Core |
| blockInputs | Lang.Crucible.CFG.Core |
| blockKnownInputs | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| blockLoc | Lang.Crucible.CFG.Core |
| BlockMap | Lang.Crucible.CFG.Core |
| blockStmts | |
| 1 (Function) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.CFG.Core |
| BlockTarget | Lang.Crucible.Simulator.CallFrame, Lang.Crucible.Simulator.ExecutionTree |
| blockTerm | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| BoolectorOnlineBackend | Lang.Crucible.Backend.Online |
| BoolEq | Lang.Crucible.CFG.Expr |
| BoolIte | Lang.Crucible.CFG.Expr |
| BoolLit | Lang.Crucible.CFG.Expr |
| BoolRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BoolToBV | Lang.Crucible.CFG.Expr |
| BoolType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BoolXor | Lang.Crucible.CFG.Expr |
| Bottom | Lang.Crucible.Analysis.Fixpoint |
| boundedExecFeature | Lang.Crucible.Simulator.BoundedExec |
| boundedRecursionFeature | Lang.Crucible.Simulator.BoundedRecursion |
| Br | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| BRANCH | Lang.Crucible.Simulator.Profiling |
| branch | Lang.Crucible.CFG.Generator |
| BranchCondition | Lang.Crucible.Backend |
| branchMaybe | Lang.Crucible.CFG.Generator |
| BranchMergeState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| BranchResult | Lang.Crucible.Backend.Online, Lang.Crucible.Simulator.PathSatisfiability |
| branchVariant | Lang.Crucible.CFG.Generator |
| breakAndReturn | Lang.Crucible.Simulator.Breakpoint |
| Breakpoint | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| BreakpointName | |
| 1 (Type/Class) | Lang.Crucible.CFG.Common, Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Common, Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator |
| breakpointNameText | Lang.Crucible.CFG.Common, Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator |
| breakpointPostdomInfo | Lang.Crucible.Analysis.Postdom |
| BVAdd | Lang.Crucible.CFG.Expr |
| BVAnd | Lang.Crucible.CFG.Expr |
| BVAshr | Lang.Crucible.CFG.Expr |
| BVCarry | Lang.Crucible.CFG.Expr |
| BVConcat | Lang.Crucible.CFG.Expr |
| BVCountLeadingZeros | Lang.Crucible.CFG.Expr |
| BVCountTrailingZeros | Lang.Crucible.CFG.Expr |
| BVEq | Lang.Crucible.CFG.Expr |
| BVIte | Lang.Crucible.CFG.Expr |
| BVLit | Lang.Crucible.CFG.Expr |
| BVLshr | Lang.Crucible.CFG.Expr |
| BVMul | Lang.Crucible.CFG.Expr |
| BVNeg | Lang.Crucible.CFG.Expr |
| BVNonzero | Lang.Crucible.CFG.Expr |
| BVNot | Lang.Crucible.CFG.Expr |
| BVOr | Lang.Crucible.CFG.Expr |
| BVPopcount | Lang.Crucible.CFG.Expr |
| BVRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BVRol | Lang.Crucible.CFG.Expr |
| BVRor | Lang.Crucible.CFG.Expr |
| BVSBorrow | Lang.Crucible.CFG.Expr |
| BVSCarry | Lang.Crucible.CFG.Expr |
| BVSdiv | Lang.Crucible.CFG.Expr |
| BVSelect | Lang.Crucible.CFG.Expr |
| BVSext | Lang.Crucible.CFG.Expr |
| BVShl | Lang.Crucible.CFG.Expr |
| BVSle | Lang.Crucible.CFG.Expr |
| BVSlt | Lang.Crucible.CFG.Expr |
| BVSMax | Lang.Crucible.CFG.Expr |
| BVSMin | Lang.Crucible.CFG.Expr |
| BVSrem | Lang.Crucible.CFG.Expr |
| BVSub | Lang.Crucible.CFG.Expr |
| BvToInteger | Lang.Crucible.CFG.Expr |
| BvToNat | Lang.Crucible.CFG.Expr |
| BVTrunc | Lang.Crucible.CFG.Expr |
| BVType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BVUdiv | Lang.Crucible.CFG.Expr |
| BVUle | Lang.Crucible.CFG.Expr |
| BVUlt | Lang.Crucible.CFG.Expr |
| BVUMax | Lang.Crucible.CFG.Expr |
| BVUMin | Lang.Crucible.CFG.Expr |
| BVUndef | Lang.Crucible.CFG.Expr |
| BVUrem | Lang.Crucible.CFG.Expr |
| BVXor | Lang.Crucible.CFG.Expr |
| BVZext | Lang.Crucible.CFG.Expr |
| Call | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| call | Lang.Crucible.CFG.Generator |
| callBlock | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| callCC | Lang.Crucible.Utils.StateContT |
| callCFG | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| callFnVal | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| callFnVal' | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| CallFrame | |
| 1 (Type/Class) | Lang.Crucible.Simulator.CallFrame |
| 2 (Data Constructor) | Lang.Crucible.Simulator.CallFrame |
| callFunction | Lang.Crucible.Simulator.Operations |
| callGraphEvents | Lang.Crucible.Simulator.Profiling |
| CallHandle | Lang.Crucible.CFG.Core |
| callOverride | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| CallState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| CanMux | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| caseMaybe | Lang.Crucible.CFG.Generator |
| caseMaybe_ | Lang.Crucible.CFG.Generator |
| CFG | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 3 (Type/Class) | Lang.Crucible.CFG.Core |
| 4 (Data Constructor) | Lang.Crucible.CFG.Core |
| cfgArgTypes | |
| 1 (Function) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.CFG.Core |
| cfgBlockMap | Lang.Crucible.CFG.Core |
| cfgBlocks | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| cfgBreakpoints | Lang.Crucible.CFG.Core |
| cfgEntryBlock | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| cfgEntryBlockID | Lang.Crucible.CFG.Core |
| cfgEntryLabel | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| cfgHandle | |
| 1 (Function) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.CFG.Core |
| cfgInputTypes | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| CFGPostdom | Lang.Crucible.CFG.Core |
| cfgReturnType | |
| 1 (Function) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.CFG.Core |
| cfgStart | Lang.Crucible.Analysis.Fixpoint.Components |
| cfgSuccessors | Lang.Crucible.Analysis.Fixpoint.Components |
| cfgWeakTopologicalOrdering | Lang.Crucible.Analysis.Fixpoint.Components, Lang.Crucible.Analysis.Fixpoint |
| CGEvent | |
| 1 (Type/Class) | Lang.Crucible.Simulator.Profiling |
| 2 (Data Constructor) | Lang.Crucible.Simulator.Profiling |
| CGEventType | Lang.Crucible.Simulator.Profiling |
| cgEvent_blocks | Lang.Crucible.Simulator.Profiling |
| cgEvent_callsite | Lang.Crucible.Simulator.Profiling |
| cgEvent_fnName | Lang.Crucible.Simulator.Profiling |
| cgEvent_id | Lang.Crucible.Simulator.Profiling |
| cgEvent_metrics | Lang.Crucible.Simulator.Profiling |
| cgEvent_source | Lang.Crucible.Simulator.Profiling |
| cgEvent_time | Lang.Crucible.Simulator.Profiling |
| cgEvent_type | Lang.Crucible.Simulator.Profiling |
| Char16 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Char16Repr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Char8 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Char8Repr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CharRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CharType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CheckIx | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CheckMergeResumption | Lang.Crucible.Simulator.ExecutionTree |
| checkPathSatisfiability | Lang.Crucible.Simulator.PathSatisfiability |
| checkSatisfiable | Lang.Crucible.Backend.Online |
| checkSatisfiableWithModel | Lang.Crucible.Backend.Online |
| checkSatToConsiderBranch | Lang.Crucible.Simulator.PathSatisfiability |
| clearProofObligations | |
| 1 (Function) | Lang.Crucible.Backend.AssumptionStack |
| 2 (Function) | Lang.Crucible.Backend |
| Closure | Lang.Crucible.CFG.Expr |
| closure | Lang.Crucible.Syntax |
| ClosureFnVal | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| coerceF | Lang.Crucible.CFG.Core |
| CoercibleF | Lang.Crucible.CFG.Core |
| collapseMuxTree | Lang.Crucible.Utils.MuxTree |
| collectAssumptions | |
| 1 (Function) | Lang.Crucible.Backend.AssumptionStack |
| 2 (Function) | Lang.Crucible.Backend |
| Combiner | |
| 1 (Type/Class) | Lang.Crucible.Backend.Prove |
| 2 (Data Constructor) | Lang.Crucible.Backend.Prove |
| commas | Lang.Crucible.Utils.PrettyPrint |
| compareF | Lang.Crucible.CFG.Core |
| compareNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| compareVector | Lang.Crucible.CFG.Expr |
| Complex | Lang.Crucible.CFG.Expr |
| complexRealAsChar | Lang.Crucible.Simulator.Evaluation |
| ComplexRealRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| ComplexRealType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| ConcAnyValue | |
| 1 (Type/Class) | Lang.Crucible.Concretize |
| 2 (Data Constructor) | Lang.Crucible.Concretize |
| concatExprs | Lang.Crucible.Syntax |
| ConcCtx | |
| 1 (Type/Class) | Lang.Crucible.Concretize |
| 2 (Data Constructor) | Lang.Crucible.Concretize |
| ConcIntrinsic | Lang.Crucible.Concretize |
| concRegEntry | Lang.Crucible.Concretize |
| concRegMap | Lang.Crucible.Concretize |
| ConcRegValue | Lang.Crucible.Concretize |
| concRegValue | Lang.Crucible.Concretize |
| Concrete | Lang.Crucible.Analysis.ForwardDataflow |
| concreteizeSymSequence | Lang.Crucible.Simulator.SymSequence |
| concretizeEvents | Lang.Crucible.Backend |
| concretizeSymSequence | Lang.Crucible.Simulator.SymSequence |
| ConcRV' | |
| 1 (Type/Class) | Lang.Crucible.Concretize |
| 2 (Data Constructor) | Lang.Crucible.Concretize |
| concToSym | Lang.Crucible.Concretize |
| conditionalBranch | Lang.Crucible.Simulator.Operations |
| cons | Lang.Crucible.Vector |
| considerSatisfiability | Lang.Crucible.Backend.Online |
| ConsStmt | Lang.Crucible.CFG.Core |
| consSymSequence | Lang.Crucible.Simulator.SymSequence |
| continue | |
| 1 (Function) | Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.Simulator.Operations |
| continueLambda | Lang.Crucible.CFG.Generator |
| ContinueResumption | Lang.Crucible.Simulator.ExecutionTree |
| ControlResumption | Lang.Crucible.Simulator.ExecutionTree |
| ControlTransferState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| ConvertableToNat | Lang.Crucible.Syntax |
| convertProofObligationsAsImplications | Lang.Crucible.Backend |
| CreateVariableEvent | Lang.Crucible.Backend |
| Crucible | Lang.Crucible.Panic |
| CrucibleAssumption | Lang.Crucible.Backend |
| CrucibleAssumptions | Lang.Crucible.Backend |
| CrucibleBranchTarget | Lang.Crucible.Simulator.CallFrame, Lang.Crucible.Simulator.ExecutionTree |
| CrucibleCall | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator.Operations |
| CrucibleEvent | Lang.Crucible.Backend |
| CrucibleLang | Lang.Crucible.Simulator.CallFrame |
| cruciblePersonality | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| CrucibleProfile | |
| 1 (Type/Class) | Lang.Crucible.Simulator.Profiling |
| 2 (Data Constructor) | Lang.Crucible.Simulator.Profiling |
| crucibleProfileCGEvents | Lang.Crucible.Simulator.Profiling |
| crucibleProfileSolverEvents | Lang.Crucible.Simulator.Profiling |
| crucibleProfileTime | Lang.Crucible.Simulator.Profiling |
| crucibleSimFrame | Lang.Crucible.Simulator.CallFrame |
| CrucibleState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| crucibleTopFrame | Lang.Crucible.Simulator.ExecutionTree |
| CrucibleType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Ctx | Lang.Crucible.Types, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator |
| CtxFlatten | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| ctxIntrinsicTypes | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| CtxLookup | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CtxLookupRight | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CtxRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CtxSize | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| ctxSolverProof | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| ctxSymInterface | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| CtxUpdate | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CtxUpdateRight | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| currentBlockID | Lang.Crucible.CFG.Generator |
| CVC4OnlineBackend | Lang.Crucible.Backend.Online |
| CVC5OnlineBackend | Lang.Crucible.Backend.Online |
| dblPosIsPos | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Dead | Lang.Crucible.Analysis.ForwardDataflow |
| decideLeq | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| decNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| defaultAbortHandler | Lang.Crucible.Simulator.Operations, Lang.Crucible.Simulator |
| DefineAtom | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| defineBlock | Lang.Crucible.CFG.Generator |
| defineBlockLabel | Lang.Crucible.CFG.Generator |
| defineFunction | Lang.Crucible.CFG.Generator |
| defineFunctionOpt | Lang.Crucible.CFG.Generator |
| defineLambdaBlock | Lang.Crucible.CFG.Generator |
| dequeueWorkItem | Lang.Crucible.Simulator.PathSplitting |
| dfs | Lang.Crucible.Analysis.DFS |
| DFSEdgeFunc | Lang.Crucible.Analysis.DFS |
| DFSEdgeType | Lang.Crucible.Analysis.DFS |
| DFSNodeFunc | Lang.Crucible.Analysis.DFS |
| dfs_backedges | Lang.Crucible.Analysis.DFS |
| dfs_backedge_targets | Lang.Crucible.Analysis.DFS |
| dfs_list | Lang.Crucible.Analysis.DFS |
| dfs_postorder | Lang.Crucible.Analysis.DFS |
| dfs_preorder | Lang.Crucible.Analysis.DFS |
| difference | Lang.Crucible.Utils.BitSet |
| dispatchExecState | Lang.Crucible.Simulator.EvalStmt |
| Disproved | Lang.Crucible.Backend.Prove |
| divNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Domain | |
| 1 (Type/Class) | Lang.Crucible.Analysis.Fixpoint |
| 2 (Data Constructor) | Lang.Crucible.Analysis.Fixpoint |
| domBottom | Lang.Crucible.Analysis.Fixpoint |
| domEq | Lang.Crucible.Analysis.Fixpoint |
| domIter | Lang.Crucible.Analysis.Fixpoint |
| domJoin | Lang.Crucible.Analysis.Fixpoint |
| domTop | Lang.Crucible.Analysis.Fixpoint |
| DoubleDoubleFloat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| DoubleDoubleFloatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| DoubleFloat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| DoubleFloatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| DoubleLit | Lang.Crucible.CFG.Expr |
| DropRef | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| dropRef | |
| 1 (Function) | Lang.Crucible.Simulator.GlobalState |
| 2 (Function) | Lang.Crucible.CFG.Generator |
| DropRefCell | Lang.Crucible.CFG.Core |
| eapp | Lang.Crucible.Syntax |
| EarlyExit | Lang.Crucible.Backend |
| earlyMergeLoops | Lang.Crucible.CFG.EarlyMergeLoops, Lang.Crucible.CFG.Generator |
| elemAt | Lang.Crucible.Vector |
| elemAtMaybe | Lang.Crucible.Vector |
| elemAtUnsafe | Lang.Crucible.Vector |
| empty | Lang.Crucible.Utils.BitSet |
| EmptyApp | Lang.Crucible.CFG.Expr |
| EmptyCtx | |
| 1 (Data Constructor) | Lang.Crucible.Types, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator |
| 2 (Type/Class) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| EmptyExprExtension | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| emptyExtensionImpl | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| emptyGlobals | Lang.Crucible.Simulator.GlobalState, Lang.Crucible.Simulator |
| emptyGoalCollector | Lang.Crucible.Backend.ProofGoals |
| emptyHandleMap | Lang.Crucible.FunctionHandle |
| emptyIdentValueMap | Lang.Crucible.Syntax |
| emptyIntrinsicTypes | Lang.Crucible.Simulator.Intrinsics, Lang.Crucible.Simulator |
| emptyRefSet | Lang.Crucible.Analysis.Fixpoint |
| emptyRegMap | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| EmptyStmtExtension | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| EmptyStringMap | Lang.Crucible.CFG.Expr |
| EmptyWordMap | Lang.Crucible.CFG.Expr |
| enableOnlineBackend | Lang.Crucible.Backend.Online |
| ENTER | Lang.Crucible.Simulator.Profiling |
| enterEvent | Lang.Crucible.Simulator.Profiling |
| EqExpr | Lang.Crucible.Syntax |
| EQF | Lang.Crucible.CFG.Core |
| EqF | Lang.Crucible.CFG.Core |
| eqF | Lang.Crucible.CFG.Core |
| eqMergeFn | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| eqReference | Lang.Crucible.Simulator.RegMap |
| ErrorStmt | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| EvalApp | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| evalApp | Lang.Crucible.Simulator.Evaluation |
| EvalAppFunc | Lang.Crucible.Simulator.Evaluation |
| evalArgs | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| evalExpr | Lang.Crucible.Simulator.EvalStmt |
| EvalExt | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| evalJumpTarget | Lang.Crucible.Simulator.EvalStmt |
| evalReg | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| evalReg' | Lang.Crucible.Simulator.EvalStmt |
| EvalStmtFunc | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| evalSwitchTarget | Lang.Crucible.Simulator.EvalStmt |
| evalWithCache | Lang.Crucible.Simulator.SymSequence |
| evalWithFreshCache | Lang.Crucible.Simulator.SymSequence |
| eventDedups | Lang.Crucible.Simulator.Profiling |
| EventFilter | |
| 1 (Type/Class) | Lang.Crucible.Simulator.Profiling |
| 2 (Data Constructor) | Lang.Crucible.Simulator.Profiling |
| eventIDRef | Lang.Crucible.Simulator.Profiling |
| eventLoc | Lang.Crucible.Backend |
| ExecCont | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| ExecResult | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| execResultContext | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| ExecState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| execStateContext | Lang.Crucible.Simulator.ExecutionTree |
| execStateSimState | Lang.Crucible.Simulator.ExecutionTree |
| executeCrucible | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| executeCrucibleDFSPaths | Lang.Crucible.Simulator.PathSplitting |
| ExecutionFeature | |
| 1 (Type/Class) | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.EvalStmt |
| ExecutionFeatureModifiedState | Lang.Crucible.Simulator.EvalStmt |
| ExecutionFeatureNewState | Lang.Crucible.Simulator.EvalStmt |
| ExecutionFeatureNoChange | Lang.Crucible.Simulator.EvalStmt |
| ExecutionFeatureResult | Lang.Crucible.Simulator.EvalStmt |
| EXIT | Lang.Crucible.Simulator.Profiling |
| exitEvent | Lang.Crucible.Simulator.Profiling |
| exitExecution | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| Expr | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Type/Class) | Lang.Crucible.CFG.Core |
| ExprExt | Lang.Crucible.Syntax |
| ExprExtension | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| exprType | Lang.Crucible.Syntax, Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| ExtendAssign | Lang.Crucible.CFG.Core |
| extendBlockID | Lang.Crucible.CFG.Core |
| extendBlockID' | Lang.Crucible.CFG.Core |
| extendBlockMap | Lang.Crucible.CFG.Core |
| extendFrame | Lang.Crucible.Simulator.CallFrame |
| extendJumpTarget | Lang.Crucible.CFG.Core |
| extendReg | Lang.Crucible.CFG.Core |
| extendSwitchTarget | Lang.Crucible.CFG.Core |
| ExtensionApp | Lang.Crucible.CFG.Expr |
| extensionEval | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| extensionExec | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| ExtensionImpl | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| extensionImpl | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| extensionStmt | Lang.Crucible.CFG.Generator |
| extractCurrentPath | Lang.Crucible.Simulator.Operations |
| extractSubgraph | Lang.Crucible.CFG.ExtractSubgraph |
| failFast | Lang.Crucible.Backend.Prove |
| false | Lang.Crucible.Syntax |
| filterCrucibleFrames | Lang.Crucible.Simulator.ExecutionTree |
| FinishedResult | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| firstStmtLoc | Lang.Crucible.CFG.Core |
| Flags | Lang.Crucible.Backend.Simple |
| flattenAssumptions | Lang.Crucible.Backend |
| FloatAbs | Lang.Crucible.CFG.Expr |
| FloatAdd | Lang.Crucible.CFG.Expr |
| FloatCast | Lang.Crucible.CFG.Expr |
| FloatDiv | Lang.Crucible.CFG.Expr |
| FloatEq | Lang.Crucible.CFG.Expr |
| FloatFMA | Lang.Crucible.CFG.Expr |
| FloatFpApart | Lang.Crucible.CFG.Expr |
| FloatFpEq | Lang.Crucible.CFG.Expr |
| FloatFromBinary | Lang.Crucible.CFG.Expr |
| FloatFromBV | Lang.Crucible.CFG.Expr |
| FloatFromReal | Lang.Crucible.CFG.Expr |
| FloatFromSBV | Lang.Crucible.CFG.Expr |
| FloatGe | Lang.Crucible.CFG.Expr |
| FloatGt | Lang.Crucible.CFG.Expr |
| FloatIEEE | Lang.Crucible.Backend.Simple |
| FloatIEEERepr | Lang.Crucible.Backend.Simple |
| FloatInfo | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| FloatInfoRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| FloatInfoToBitWidth | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| floatInfoToBVTypeRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| FloatInfoToPrecision | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| floatInfoToPrecisionRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| FloatingPointPrecision | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| FloatingPointPrecisionRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| FloatIsInfinite | Lang.Crucible.CFG.Expr |
| FloatIsNaN | Lang.Crucible.CFG.Expr |
| FloatIsNegative | Lang.Crucible.CFG.Expr |
| FloatIsNormal | Lang.Crucible.CFG.Expr |
| FloatIsPositive | Lang.Crucible.CFG.Expr |
| FloatIsSubnormal | Lang.Crucible.CFG.Expr |
| FloatIsZero | Lang.Crucible.CFG.Expr |
| FloatIte | Lang.Crucible.CFG.Expr |
| FloatLe | Lang.Crucible.CFG.Expr |
| FloatLit | Lang.Crucible.CFG.Expr |
| FloatLt | Lang.Crucible.CFG.Expr |
| FloatMax | Lang.Crucible.CFG.Expr |
| FloatMin | Lang.Crucible.CFG.Expr |
| FloatMode | Lang.Crucible.Backend.Simple |
| FloatModeRepr | Lang.Crucible.Backend.Simple |
| FloatMul | Lang.Crucible.CFG.Expr |
| FloatNaN | Lang.Crucible.CFG.Expr |
| FloatNe | Lang.Crucible.CFG.Expr |
| FloatNeg | Lang.Crucible.CFG.Expr |
| FloatNInf | Lang.Crucible.CFG.Expr |
| FloatNZero | Lang.Crucible.CFG.Expr |
| FloatPInf | Lang.Crucible.CFG.Expr |
| FloatPrecision | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| FloatPrecisionBits | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| FloatPrecisionRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| floatPrecisionToBVType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| FloatPrecisionToInfo | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| floatPrecisionToInfoRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| FloatPZero | Lang.Crucible.CFG.Expr |
| FloatReal | Lang.Crucible.Backend.Simple |
| FloatRealRepr | Lang.Crucible.Backend.Simple |
| FloatRem | Lang.Crucible.CFG.Expr |
| FloatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| FloatSqrt | Lang.Crucible.CFG.Expr |
| FloatSub | Lang.Crucible.CFG.Expr |
| FloatToBinary | Lang.Crucible.CFG.Expr |
| FloatToBV | Lang.Crucible.CFG.Expr |
| FloatToReal | Lang.Crucible.CFG.Expr |
| FloatToSBV | Lang.Crucible.CFG.Expr |
| FloatType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| FloatUndef | Lang.Crucible.CFG.Expr |
| FloatUninterpreted | Lang.Crucible.Backend.Simple |
| FloatUninterpretedRepr | Lang.Crucible.Backend.Simple |
| FnBinding | |
| 1 (Type/Class) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| FnBindings | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| fnBindings | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| fnBindingsFromList | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| FnHandle | Lang.Crucible.FunctionHandle |
| FnHandleMap | Lang.Crucible.FunctionHandle |
| FnInput | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| FnState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| FnVal | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| fnValType | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| foldApp | Lang.Crucible.CFG.Expr |
| foldl | Lang.Crucible.Utils.BitSet |
| foldl' | Lang.Crucible.Utils.BitSet |
| foldr | Lang.Crucible.Utils.BitSet |
| foldStmtInputs | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| forceEvaluation | Lang.Crucible.CFG.Generator |
| forgetAssumption | Lang.Crucible.Backend |
| forgetPostdomFrame | Lang.Crucible.Simulator.Operations |
| forwardFixpoint | Lang.Crucible.Analysis.Fixpoint |
| forwardFixpoint' | Lang.Crucible.Analysis.Fixpoint |
| ForwardOrCrossEdge | Lang.Crucible.Analysis.DFS |
| fp80ToBits | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| fp80ToRational | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| frameBlockID | Lang.Crucible.Simulator.CallFrame |
| frameBlockMap | Lang.Crucible.Simulator.CallFrame |
| frameFunctionName | Lang.Crucible.Simulator.CallFrame |
| frameHandle | Lang.Crucible.Simulator.CallFrame |
| FrameIdentifier | |
| 1 (Type/Class) | Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack, Lang.Crucible.Backend |
| 2 (Data Constructor) | Lang.Crucible.Backend.ProofGoals |
| framePostdom | Lang.Crucible.Simulator.CallFrame |
| framePostdomMap | Lang.Crucible.Simulator.CallFrame |
| frameProgramLoc | Lang.Crucible.Simulator.CallFrame |
| frameRegs | Lang.Crucible.Simulator.CallFrame |
| FrameRetType | Lang.Crucible.Simulator.CallFrame, Lang.Crucible.Simulator.ExecutionTree |
| frameReturnType | Lang.Crucible.Simulator.CallFrame |
| frameStmts | Lang.Crucible.Simulator.CallFrame |
| freshAtom | Lang.Crucible.Utils.RegRewrite |
| FreshConstant | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| FreshFloat | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| freshFloatBoundVar | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| freshFloatConstant | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| freshFloatLatch | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| freshGlobalVar | Lang.Crucible.CFG.Common, Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator |
| FreshNat | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| freshRefCell | Lang.Crucible.FunctionHandle |
| fromAssignment | Lang.Crucible.Vector |
| fromBV | Lang.Crucible.Vector |
| fromCallFrame | Lang.Crucible.Simulator.CallFrame |
| fromJustExpr | Lang.Crucible.CFG.Generator |
| FromJustValue | Lang.Crucible.CFG.Expr |
| FromLeft | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| fromList | Lang.Crucible.Vector |
| fromListSymSequence | Lang.Crucible.Simulator.SymSequence |
| fromOrdering | Lang.Crucible.CFG.Core |
| fromReturnFrame | Lang.Crucible.Simulator.CallFrame |
| FunctionBindings | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| functionBindings | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| FunctionDef | Lang.Crucible.CFG.Generator |
| FunctionHandleRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| FunctionHandleType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| gcAddAssumes | Lang.Crucible.Backend.ProofGoals |
| gcAddGoals | Lang.Crucible.Backend.ProofGoals |
| gcFinish | Lang.Crucible.Backend.ProofGoals |
| gcFrames | Lang.Crucible.Backend.ProofGoals |
| gcPop | Lang.Crucible.Backend.ProofGoals |
| gcProve | Lang.Crucible.Backend.ProofGoals |
| gcPush | Lang.Crucible.Backend.ProofGoals |
| gcRemoveObligations | Lang.Crucible.Backend.ProofGoals |
| gcReset | Lang.Crucible.Backend.ProofGoals |
| gcRestore | Lang.Crucible.Backend.ProofGoals |
| generate | Lang.Crucible.Vector |
| generateM | Lang.Crucible.Vector |
| Generator | Lang.Crucible.CFG.Generator |
| GenericAssumption | Lang.Crucible.Backend |
| GenericExecutionFeature | |
| 1 (Type/Class) | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.EvalStmt |
| GenericSimError | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| genericToExecutionFeature | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| geqF | Lang.Crucible.CFG.Core |
| get | Lang.Crucible.Utils.StateContT |
| getBits | Lang.Crucible.Utils.BitSet |
| getBlock | Lang.Crucible.CFG.Core |
| getCFG | Lang.Crucible.CFG.Core |
| getCombiner | Lang.Crucible.Backend.Prove |
| getContext | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| GetIntrinsic | Lang.Crucible.Simulator.Intrinsics |
| getLogFunction | Lang.Crucible.Utils.MonadVerbosity |
| getLogLnFunction | Lang.Crucible.Utils.MonadVerbosity |
| getOverrideArgs | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| getPathCondition | Lang.Crucible.Backend |
| getPosition | Lang.Crucible.CFG.Generator |
| getProofObligations | |
| 1 (Function) | Lang.Crucible.Backend.AssumptionStack |
| 2 (Function) | Lang.Crucible.Backend |
| GetStruct | Lang.Crucible.CFG.Expr |
| getStruct | Lang.Crucible.Syntax |
| getSymInterface | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| getTimeout | Lang.Crucible.Utils.Timeout |
| getVerbosity | Lang.Crucible.Utils.MonadVerbosity |
| globalAbortBranch | Lang.Crucible.Simulator.GlobalState |
| GlobalEntry | |
| 1 (Type/Class) | Lang.Crucible.Simulator.GlobalState |
| 2 (Data Constructor) | Lang.Crucible.Simulator.GlobalState |
| globalEntryValue | Lang.Crucible.Simulator.GlobalState |
| globalMuxFn | Lang.Crucible.Simulator.GlobalState |
| globalName | Lang.Crucible.CFG.Common, Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator, Lang.Crucible.Simulator |
| globalNonce | Lang.Crucible.CFG.Common, Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator, Lang.Crucible.Simulator |
| GlobalPair | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| globalPushBranch | Lang.Crucible.Simulator.GlobalState |
| globalType | Lang.Crucible.CFG.Common, Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator, Lang.Crucible.Simulator |
| GlobalVar | |
| 1 (Type/Class) | Lang.Crucible.CFG.Common, Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Common, Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator, Lang.Crucible.Simulator |
| GoalCollector | Lang.Crucible.Backend.ProofGoals |
| Goals | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack, Lang.Crucible.Backend |
| goalsConj | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals |
| goalsToList | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend |
| gpGlobals | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| gpValue | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| GTF | Lang.Crucible.CFG.Core |
| gtF | Lang.Crucible.CFG.Core |
| haCounter | Lang.Crucible.FunctionHandle |
| HalfFloat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| HalfFloatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| halfNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| HandleAllocator | Lang.Crucible.FunctionHandle |
| handleArgTypes | Lang.Crucible.FunctionHandle |
| HandleFnVal | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| handleID | Lang.Crucible.FunctionHandle |
| HandleLit | Lang.Crucible.CFG.Expr |
| handleMapToHandles | Lang.Crucible.FunctionHandle |
| handleName | Lang.Crucible.FunctionHandle |
| handleReturnType | Lang.Crucible.FunctionHandle |
| handleType | Lang.Crucible.FunctionHandle |
| HasCallStack | Lang.Crucible.Panic |
| hash | Lang.Crucible.CFG.Core |
| Hashable | Lang.Crucible.CFG.Core |
| HashableF | Lang.Crucible.CFG.Core |
| hashF | Lang.Crucible.CFG.Core |
| hashWithSalt | Lang.Crucible.CFG.Core |
| hashWithSaltF | Lang.Crucible.CFG.Core |
| HasSomeCFG | Lang.Crucible.CFG.Core |
| HasSymInterface | Lang.Crucible.Backend |
| headSymSequence | Lang.Crucible.Simulator.SymSequence |
| iBVToFloat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IEEEFloatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IEEEFloatType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatAbs | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatAdd | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatBaseTypeRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatCast | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatDiv | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatEq | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatFMA | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatFpApart | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatFpEq | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatFromBinary | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatGe | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatGt | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatIsInf | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatIsNaN | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatIsNeg | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatIsNorm | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatIsPos | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatIsSubnorm | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatIsZero | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatIte | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatLe | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatLitDouble | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatLitLongDouble | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatLitRational | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatLitSingle | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatLt | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatMax | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatMin | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatMul | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatNaN | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatNe | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatNeg | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatNInf | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatNZero | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatPInf | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatPZero | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatRem | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatRound | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatSpecialFunction | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatSpecialFunction0 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatSpecialFunction1 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatSpecialFunction2 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatSqrt | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatSub | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatToBinary | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatToBV | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatToReal | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iFloatToSBV | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| ifte | |
| 1 (Function) | Lang.Crucible.Utils.RegRewrite |
| 2 (Function) | Lang.Crucible.CFG.Generator |
| ifte' | Lang.Crucible.CFG.Generator |
| ifteM | Lang.Crucible.CFG.Generator |
| ifte_ | Lang.Crucible.CFG.Generator |
| Ignore | |
| 1 (Type/Class) | Lang.Crucible.Analysis.Fixpoint |
| 2 (Data Constructor) | Lang.Crucible.Analysis.Fixpoint |
| 3 (Type/Class) | Lang.Crucible.Analysis.ForwardDataflow |
| 4 (Data Constructor) | Lang.Crucible.Analysis.ForwardDataflow |
| ignoreOut | Lang.Crucible.Analysis.ForwardDataflow |
| imagLit | Lang.Crucible.Syntax |
| ImagPart | Lang.Crucible.CFG.Expr |
| imagPart | Lang.Crucible.Syntax |
| imagToCplx | Lang.Crucible.Syntax |
| impossibleAssumption | Lang.Crucible.Backend |
| incNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IndeterminateBranchResult | Lang.Crucible.Backend.Online, Lang.Crucible.Simulator.PathSatisfiability |
| IndexF | Lang.Crucible.CFG.Core |
| indexSymbolic | Lang.Crucible.Simulator.Evaluation |
| indexVectorWithSymNat | Lang.Crucible.Simulator.Evaluation |
| indicesOf | Lang.Crucible.Vector |
| indicesUpTo | Lang.Crucible.Vector |
| InfeasibleBranch | Lang.Crucible.Backend |
| inFreshFrame | Lang.Crucible.Backend.AssumptionStack |
| initAssumptionStack | Lang.Crucible.Backend.AssumptionStack |
| InitialState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| initSimContext | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| initSimState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| InjectVariant | Lang.Crucible.CFG.Expr |
| injectVariant | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| inProfilingFrame | Lang.Crucible.Simulator.Profiling |
| insert | Lang.Crucible.Utils.BitSet |
| insertAt | Lang.Crucible.Vector |
| insertAtMaybe | Lang.Crucible.Vector |
| insertGlobal | Lang.Crucible.Simulator.GlobalState |
| insertHandleMap | Lang.Crucible.FunctionHandle |
| insertRef | Lang.Crucible.Simulator.GlobalState |
| InsertStringMapEntry | Lang.Crucible.CFG.Expr |
| InsertWordMap | Lang.Crucible.CFG.Expr |
| IntAbs | Lang.Crucible.CFG.Expr |
| IntAdd | Lang.Crucible.CFG.Expr |
| IntDiv | Lang.Crucible.CFG.Expr |
| integerAsChar | Lang.Crucible.Simulator.Evaluation |
| IntegerRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IntegerToBV | Lang.Crucible.CFG.Expr |
| IntegerToReal | Lang.Crucible.CFG.Expr |
| integerToReal | Lang.Crucible.Syntax |
| IntegerType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IntEq | Lang.Crucible.CFG.Expr |
| interleave | Lang.Crucible.Vector |
| interpBr | Lang.Crucible.Analysis.Fixpoint |
| interpCall | Lang.Crucible.Analysis.Fixpoint |
| interpExpr | Lang.Crucible.Analysis.Fixpoint |
| interpExt | Lang.Crucible.Analysis.Fixpoint |
| interpMaybe | Lang.Crucible.Analysis.Fixpoint |
| interpReadGlobal | Lang.Crucible.Analysis.Fixpoint |
| Interpretation | |
| 1 (Type/Class) | Lang.Crucible.Analysis.Fixpoint |
| 2 (Data Constructor) | Lang.Crucible.Analysis.Fixpoint |
| interpWriteGlobal | Lang.Crucible.Analysis.Fixpoint |
| intersection | Lang.Crucible.Utils.BitSet |
| IntIte | Lang.Crucible.CFG.Expr |
| IntLe | Lang.Crucible.CFG.Expr |
| IntLit | Lang.Crucible.CFG.Expr |
| IntLt | Lang.Crucible.CFG.Expr |
| IntMod | Lang.Crucible.CFG.Expr |
| IntMul | Lang.Crucible.CFG.Expr |
| IntNeg | Lang.Crucible.CFG.Expr |
| Intrinsic | Lang.Crucible.Simulator.Intrinsics |
| IntrinsicClass | Lang.Crucible.Simulator.Intrinsics, Lang.Crucible.Simulator |
| IntrinsicConcFn | |
| 1 (Type/Class) | Lang.Crucible.Concretize |
| 2 (Data Constructor) | Lang.Crucible.Concretize |
| intrinsicConcFuns | Lang.Crucible.Concretize |
| IntrinsicConcToSymFn | |
| 1 (Type/Class) | Lang.Crucible.Concretize |
| 2 (Data Constructor) | Lang.Crucible.Concretize |
| IntrinsicImpl | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| IntrinsicMuxFn | |
| 1 (Type/Class) | Lang.Crucible.Simulator.Intrinsics, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.Intrinsics, Lang.Crucible.Simulator |
| IntrinsicRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IntrinsicType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IntrinsicTypes | Lang.Crucible.Simulator.Intrinsics, Lang.Crucible.Simulator |
| IntSub | Lang.Crucible.CFG.Expr |
| intValue | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iRealToFloat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iSBVToFloat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IsConcrete | Lang.Crucible.CFG.Expr |
| IsExpr | Lang.Crucible.Syntax |
| IsInterpretedFloatExprBuilder | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IsInterpretedFloatSymExprBuilder | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| isJust | Lang.Crucible.CFG.Core |
| isNilSymSequence | Lang.Crucible.Simulator.SymSequence |
| isPosNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IsRecursiveType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| isSingleCont | Lang.Crucible.Simulator.Operations |
| isSubsetOf | Lang.Crucible.Utils.BitSet |
| IsSymBackend | Lang.Crucible.Backend |
| IsSymInterface | Lang.Crucible.Backend |
| IsSymInterfaceProof | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| IsSyntaxExtension | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| IsZeroNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| isZeroNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| isZeroOrGT1 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iterateN | Lang.Crucible.Vector |
| iterateNM | Lang.Crucible.Vector |
| IterationStrategy | Lang.Crucible.Analysis.Fixpoint |
| IxedF | Lang.Crucible.CFG.Core |
| IxedF' | Lang.Crucible.CFG.Core |
| ixF | Lang.Crucible.CFG.Core |
| ixF' | Lang.Crucible.CFG.Core |
| IxValueF | Lang.Crucible.CFG.Core |
| join | Lang.Crucible.Vector |
| joinOrderingF | Lang.Crucible.CFG.Core |
| joinVecBV | Lang.Crucible.Vector |
| joinWith | Lang.Crucible.Vector |
| joinWithM | Lang.Crucible.Vector |
| Jump | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| jump | Lang.Crucible.CFG.Generator |
| JumpTarget | |
| 1 (Type/Class) | Lang.Crucible.CFG.Core |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| jumpTargetID | Lang.Crucible.CFG.Core |
| jumpToBlock | Lang.Crucible.Simulator.Operations |
| jumpToLambda | Lang.Crucible.CFG.Generator |
| JustValue | Lang.Crucible.CFG.Expr |
| justValue | Lang.Crucible.Syntax |
| keepGoing | Lang.Crucible.Backend.Prove |
| kfwd_bot | Lang.Crucible.Analysis.ForwardDataflow |
| kfwd_br | Lang.Crucible.Analysis.ForwardDataflow |
| kfwd_call | Lang.Crucible.Analysis.ForwardDataflow |
| kfwd_cbot | Lang.Crucible.Analysis.ForwardDataflow |
| kfwd_club | Lang.Crucible.Analysis.ForwardDataflow |
| kfwd_csame | Lang.Crucible.Analysis.ForwardDataflow |
| kfwd_expr | Lang.Crucible.Analysis.ForwardDataflow |
| kfwd_lub | Lang.Crucible.Analysis.ForwardDataflow |
| kfwd_maybe | Lang.Crucible.Analysis.ForwardDataflow |
| kfwd_onentry | Lang.Crucible.Analysis.ForwardDataflow |
| kfwd_rdglobal | Lang.Crucible.Analysis.ForwardDataflow |
| kfwd_reg | Lang.Crucible.Analysis.ForwardDataflow |
| kfwd_same | Lang.Crucible.Analysis.ForwardDataflow |
| KildallForward | |
| 1 (Type/Class) | Lang.Crucible.Analysis.ForwardDataflow |
| 2 (Data Constructor) | Lang.Crucible.Analysis.ForwardDataflow |
| KildallPair | Lang.Crucible.Analysis.ForwardDataflow |
| kildall_forward | Lang.Crucible.Analysis.ForwardDataflow |
| kildall_transfer | Lang.Crucible.Analysis.ForwardDataflow |
| KnownBV | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| KnownCtx | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| knownNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| KnownRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| knownRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| KnownSymbol | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| knownSymbol | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| KP | Lang.Crucible.Analysis.ForwardDataflow |
| Label | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| LabeledPred | |
| 1 (Type/Class) | Lang.Crucible.Backend |
| 2 (Data Constructor) | Lang.Crucible.Backend |
| labeledPred | Lang.Crucible.Backend |
| labeledPredMsg | Lang.Crucible.Backend |
| LabelID | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| labelId | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| LambdaArg | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| lambdaAtom | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| LambdaID | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| lambdaId | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| LambdaLabel | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| lastReg | Lang.Crucible.CFG.Core |
| lemmaFloatPrecisionIsPos | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| lemmaMul | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| length | Lang.Crucible.Vector |
| lengthInt | Lang.Crucible.Vector |
| lengthSymSequence | Lang.Crucible.Simulator.SymSequence |
| leqAdd | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| leqAdd2 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| leqAddPos | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| leqF | Lang.Crucible.CFG.Core |
| leqMulCongr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| leqMulMono | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| leqMulPos | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| LeqProof | |
| 1 (Type/Class) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| 2 (Data Constructor) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| leqProof | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| leqRefl | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| leqSub | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| leqSub2 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| leqSucc | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| leqTrans | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| leqZero | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| lessThanAsymmetric | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| lessThanIrreflexive | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| lexCompareF | Lang.Crucible.CFG.Core |
| LitExpr | Lang.Crucible.Syntax |
| litExpr | Lang.Crucible.Syntax |
| littleEndianLoad | Lang.Crucible.Syntax |
| littleEndianLoadDef | Lang.Crucible.Syntax |
| littleEndianStore | Lang.Crucible.Syntax |
| LocationReachedEvent | Lang.Crucible.Backend |
| lookupAbstractRegValue | Lang.Crucible.Analysis.Fixpoint |
| lookupAbstractScopedRegValue | Lang.Crucible.Analysis.Fixpoint |
| lookupAbstractScopedRegValueByIndex | Lang.Crucible.Analysis.Fixpoint |
| lookupGlobal | Lang.Crucible.Simulator.GlobalState |
| lookupHandleMap | Lang.Crucible.FunctionHandle |
| lookupRef | Lang.Crucible.Simulator.GlobalState |
| LookupStringMapEntry | Lang.Crucible.CFG.Expr |
| LookupWordMap | Lang.Crucible.CFG.Expr |
| LookupWordMapWithDefault | Lang.Crucible.CFG.Expr |
| LTF | Lang.Crucible.CFG.Core |
| ltF | Lang.Crucible.CFG.Core |
| ManyAssumptions | Lang.Crucible.Backend |
| mapApp | Lang.Crucible.CFG.Expr |
| mapAt | Lang.Crucible.Vector |
| mapAtM | Lang.Crucible.Vector |
| mapSome | Lang.Crucible.CFG.Core |
| mapStmtAtom | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| MatchMaybe | |
| 1 (Type/Class) | Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Generator |
| maxNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| maxSigned | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| maxUnsigned | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| MaybeBranch | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| MaybeRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| MaybeType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| member | Lang.Crucible.Utils.BitSet |
| MergeAssumptions | Lang.Crucible.Backend |
| mergeAssumptions | Lang.Crucible.Backend |
| mergeCallFrame | Lang.Crucible.Simulator.CallFrame |
| mergeMuxTree | Lang.Crucible.Utils.MuxTree |
| mergePartExpr | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| mergeRegs | Lang.Crucible.Simulator.RegMap |
| Metric | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator.Profiling |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator.Profiling |
| metricAborts | Lang.Crucible.Simulator.Profiling |
| metricExtraMetrics | Lang.Crucible.Simulator.Profiling |
| metricMerges | Lang.Crucible.Simulator.Profiling |
| Metrics | |
| 1 (Type/Class) | Lang.Crucible.Simulator.Profiling |
| 2 (Data Constructor) | Lang.Crucible.Simulator.Profiling |
| metrics | Lang.Crucible.Simulator.Profiling |
| metricSolverStats | Lang.Crucible.Simulator.Profiling |
| metricSplits | Lang.Crucible.Simulator.Profiling |
| MF | Lang.Crucible.Simulator.CallFrame |
| minSigned | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| minUnsigned | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| minusPlusCancel | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| mkAtom | Lang.Crucible.CFG.Generator |
| mkBlock | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| mkBlockFrame | Lang.Crucible.Simulator.CallFrame |
| mkCallFrame | Lang.Crucible.Simulator.CallFrame |
| mkFresh | Lang.Crucible.CFG.Generator |
| mkFreshFloat | Lang.Crucible.CFG.Generator |
| mkHandle | Lang.Crucible.FunctionHandle |
| mkHandle' | Lang.Crucible.FunctionHandle |
| mkInputAtoms | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| mkIntrinsic | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| mkNatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| mkOverride | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| mkOverride' | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| MkStruct | Lang.Crucible.CFG.Expr |
| mkStruct | Lang.Crucible.Syntax |
| model | Lang.Crucible.Concretize |
| modifyAbstractRegValue | Lang.Crucible.Analysis.Fixpoint |
| modifyGlobal | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| modifyRef | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| modifyReg | Lang.Crucible.CFG.Generator |
| modifyRegM | Lang.Crucible.CFG.Generator |
| MonadCont | Lang.Crucible.Utils.StateContT |
| MonadState | Lang.Crucible.Utils.StateContT |
| MonadVerbosity | Lang.Crucible.Utils.MonadVerbosity |
| mul2Plus | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| mulCancelR | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| mulComm | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| MuxFn | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| muxHandle | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| muxIntrinsic | Lang.Crucible.Simulator.Intrinsics |
| muxRecursive | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| muxReference | Lang.Crucible.Simulator.RegMap |
| muxReg | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| muxRegEntry | Lang.Crucible.Simulator.RegMap |
| muxRegForType | Lang.Crucible.Simulator.RegMap |
| muxStringMap | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| muxStruct | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| muxSymSequence | Lang.Crucible.Simulator.SymSequence, Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| MuxTree | Lang.Crucible.Utils.MuxTree |
| muxTreeBinOp | Lang.Crucible.Utils.MuxTree |
| muxTreeCmpOp | Lang.Crucible.Utils.MuxTree |
| muxTreeEq | Lang.Crucible.Utils.MuxTree |
| muxTreeGe | Lang.Crucible.Utils.MuxTree |
| muxTreeGt | Lang.Crucible.Utils.MuxTree |
| muxTreeLe | Lang.Crucible.Utils.MuxTree |
| muxTreeLt | Lang.Crucible.Utils.MuxTree |
| muxTreeUnaryOp | Lang.Crucible.Utils.MuxTree |
| muxVariant | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| muxVector | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| NatAdd | Lang.Crucible.CFG.Expr |
| NatCaseEQ | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| NatCaseGT | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| NatCaseLT | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| NatCases | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| NatComparison | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| NatDiv | Lang.Crucible.CFG.Expr |
| NatEQ | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| NatEq | Lang.Crucible.CFG.Expr |
| natForEach | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| natFromZero | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| NatGT | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| NatIte | Lang.Crucible.CFG.Expr |
| NatLe | Lang.Crucible.CFG.Expr |
| NatLit | Lang.Crucible.CFG.Expr |
| NatLT | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| NatLt | Lang.Crucible.CFG.Expr |
| NatMod | Lang.Crucible.CFG.Expr |
| NatMul | Lang.Crucible.CFG.Expr |
| natMultiply | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| natRec | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| natRecBounded | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| natRecStrictlyBounded | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| natRecStrong | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| NatRepr | |
| 1 (Type/Class) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| 2 (Data Constructor) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| NatSub | Lang.Crucible.CFG.Expr |
| natToCplx | Lang.Crucible.Syntax |
| NatToInteger | Lang.Crucible.CFG.Expr |
| natToReal | Lang.Crucible.Syntax |
| NatType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| natValue | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| NeedsToBeAborted | Lang.Crucible.Simulator.ExecutionTree |
| NewEmptyRef | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| newEmptyRef | |
| 1 (Function) | Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| NewEmptyRefCell | Lang.Crucible.CFG.Core |
| newHandleAllocator | Lang.Crucible.FunctionHandle |
| newLabel | Lang.Crucible.CFG.Generator |
| newLambdaLabel | Lang.Crucible.CFG.Generator |
| newLambdaLabel' | Lang.Crucible.CFG.Generator |
| newOnlineBackend | Lang.Crucible.Backend.Online |
| newProfilingTable | Lang.Crucible.Simulator.Profiling |
| NewRef | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| newRef | |
| 1 (Function) | Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| NewRefCell | Lang.Crucible.CFG.Core |
| newReg | Lang.Crucible.CFG.Generator |
| newSeqCache | Lang.Crucible.Simulator.SymSequence |
| newSimpleBackend | Lang.Crucible.Backend.Simple |
| newUnassignedReg | Lang.Crucible.CFG.Generator |
| nextBlocks | Lang.Crucible.CFG.Core |
| nextStmtHeight | Lang.Crucible.CFG.Core |
| nilSymSequence | Lang.Crucible.Simulator.SymSequence |
| NoBranch | Lang.Crucible.Backend.Online, Lang.Crucible.Simulator.PathSatisfiability |
| nondetBranches | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| NoNeedToAbort | Lang.Crucible.Simulator.ExecutionTree |
| nonEmpty | Lang.Crucible.Vector |
| NonZeroNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Not | Lang.Crucible.CFG.Expr |
| NotBaseType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| notExpr | Lang.Crucible.Syntax |
| NothingValue | Lang.Crucible.CFG.Expr |
| nothingValue | Lang.Crucible.Syntax |
| NoUnsatFeatures | Lang.Crucible.Backend.Online |
| null | Lang.Crucible.Utils.BitSet |
| NumExpr | Lang.Crucible.Syntax |
| OF | Lang.Crucible.Simulator.CallFrame |
| offlineProve | Lang.Crucible.Backend.Prove |
| offlineProver | Lang.Crucible.Backend.Prove |
| offlineProveWithTimeout | Lang.Crucible.Backend.Prove |
| onJust | Lang.Crucible.CFG.Generator |
| OnlineBackend | Lang.Crucible.Backend.Online |
| onlineBackendOptions | Lang.Crucible.Backend.Online |
| onlineProve | Lang.Crucible.Backend.Prove |
| onlineProver | Lang.Crucible.Backend.Prove |
| onNothing | Lang.Crucible.CFG.Generator |
| Or | Lang.Crucible.CFG.Expr |
| OrderingF | Lang.Crucible.CFG.Core |
| orderingF_refl | Lang.Crucible.CFG.Core |
| OrdExpr | Lang.Crucible.Syntax |
| OrdF | Lang.Crucible.CFG.Core |
| ordFCompose | Lang.Crucible.CFG.Core |
| Output | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| Override | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| override | Lang.Crucible.Simulator.CallFrame |
| overrideAbort | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| OverrideCall | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator.Operations |
| overrideError | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| OverrideFrame | |
| 1 (Type/Class) | Lang.Crucible.Simulator.CallFrame |
| 2 (Data Constructor) | Lang.Crucible.Simulator.CallFrame |
| overrideHandle | Lang.Crucible.Simulator.CallFrame |
| overrideHandler | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| OverrideLang | Lang.Crucible.Simulator.CallFrame |
| overrideName | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| overrideRegMap | Lang.Crucible.Simulator.CallFrame |
| OverrideResumption | Lang.Crucible.Simulator.ExecutionTree |
| overrideReturn | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| overrideReturn' | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| OverrideSim | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| overrideSimFrame | Lang.Crucible.Simulator.CallFrame |
| OverrideState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| overrideSymbolicBranch | Lang.Crucible.Simulator.Operations |
| overrideTopFrame | Lang.Crucible.Simulator.ExecutionTree |
| ovrWithBackend | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| PackAny | Lang.Crucible.CFG.Expr |
| paGlobals | Lang.Crucible.Analysis.Fixpoint |
| Panic | Lang.Crucible.Panic |
| panic | Lang.Crucible.Panic |
| paRegisters | Lang.Crucible.Analysis.Fixpoint |
| parentWTOComponent | Lang.Crucible.Analysis.Fixpoint.Components |
| PartialRes | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| PartialResult | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| PartialResultFrame | Lang.Crucible.Simulator.ExecutionTree |
| partialValue | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| pathConditionUninterpConstants | Lang.Crucible.Backend |
| pathSatisfiabilityFeature | Lang.Crucible.Simulator.PathSatisfiability |
| pathSplittingFeature | Lang.Crucible.Simulator.PathSplitting |
| PausedFrame | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree |
| pausedFrame | Lang.Crucible.Simulator.ExecutionTree |
| pausedLoc | Lang.Crucible.Simulator.ExecutionTree |
| PendingPartialMerges | Lang.Crucible.Simulator.ExecutionTree |
| performControlTransfer | Lang.Crucible.Simulator.Operations |
| performFunctionCall | Lang.Crucible.Simulator.Operations |
| performIntraFrameMerge | Lang.Crucible.Simulator.Operations |
| performIntraFrameSplit | Lang.Crucible.Simulator.Operations |
| performReturn | Lang.Crucible.Simulator.Operations |
| performTailCall | Lang.Crucible.Simulator.Operations |
| periodicProfileAction | Lang.Crucible.Simulator.Profiling |
| periodicProfileInterval | Lang.Crucible.Simulator.Profiling |
| plusAssoc | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| plusComm | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| plusMinusCancel | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| PointAbstraction | |
| 1 (Type/Class) | Lang.Crucible.Analysis.Fixpoint |
| 2 (Data Constructor) | Lang.Crucible.Analysis.Fixpoint |
| Pointed | |
| 1 (Type/Class) | Lang.Crucible.Analysis.Fixpoint |
| 2 (Data Constructor) | Lang.Crucible.Analysis.Fixpoint |
| pointed | Lang.Crucible.Analysis.Fixpoint |
| PolyEq | Lang.Crucible.CFG.Core |
| polyEq | Lang.Crucible.CFG.Core |
| polyEqF | Lang.Crucible.CFG.Core |
| popAssumptionFrame | Lang.Crucible.Backend |
| popAssumptionFrameAndObligations | Lang.Crucible.Backend |
| popFrame | Lang.Crucible.Backend.AssumptionStack |
| popFrameAndGoals | Lang.Crucible.Backend.AssumptionStack |
| popFramesUntil | Lang.Crucible.Backend.AssumptionStack |
| popUntilAssumptionFrame | Lang.Crucible.Backend |
| Position | Lang.Crucible.CFG.Generator |
| positionTrackingFeature | Lang.Crucible.Simulator.PositionTracking |
| postdomInfo | Lang.Crucible.Analysis.Postdom |
| ppAbortExecReason | Lang.Crucible.Backend |
| ppApp | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| ppAssumption | Lang.Crucible.Backend |
| ppBranchTarget | Lang.Crucible.Simulator.CallFrame, Lang.Crucible.Simulator.ExecutionTree |
| ppCFG | Lang.Crucible.CFG.Core |
| ppCFG' | Lang.Crucible.CFG.Core |
| ppEvent | Lang.Crucible.Backend |
| ppExceptionContext | Lang.Crucible.Simulator.ExecutionTree |
| ppFn | Lang.Crucible.Utils.PrettyPrint |
| ppIntrinsicDefault | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| ppProofObligation | Lang.Crucible.Backend |
| ppSimError | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| ppStmt | Lang.Crucible.CFG.Core |
| ppTypeRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Prec128 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Prec16 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Prec32 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Prec64 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Prec80 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| predNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| PrettyApp | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| PrettyExt | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| prettySymSequence | Lang.Crucible.Simulator.SymSequence |
| Print | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| printHandle | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| ProduceUnsatAssumptions | Lang.Crucible.Backend.Online |
| ProduceUnsatCores | Lang.Crucible.Backend.Online |
| profilingEventFilter | Lang.Crucible.Simulator.Profiling |
| profilingFeature | Lang.Crucible.Simulator.Profiling |
| profilingMetrics | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| ProfilingOptions | |
| 1 (Type/Class) | Lang.Crucible.Simulator.Profiling |
| 2 (Data Constructor) | Lang.Crucible.Simulator.Profiling |
| ProfilingTable | |
| 1 (Type/Class) | Lang.Crucible.Simulator.Profiling |
| 2 (Data Constructor) | Lang.Crucible.Simulator.Profiling |
| ProjectVariant | Lang.Crucible.CFG.Expr |
| proofAssumptions | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack, Lang.Crucible.Backend |
| ProofConsumer | |
| 1 (Type/Class) | Lang.Crucible.Backend.Prove |
| 2 (Data Constructor) | Lang.Crucible.Backend.Prove |
| ProofGoal | |
| 1 (Type/Class) | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack, Lang.Crucible.Backend |
| 2 (Data Constructor) | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack, Lang.Crucible.Backend |
| proofGoal | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack, Lang.Crucible.Backend |
| ProofObligation | Lang.Crucible.Backend |
| ProofObligations | Lang.Crucible.Backend |
| proofObligations | Lang.Crucible.Backend.AssumptionStack |
| proofObligationsAsImplications | Lang.Crucible.Backend |
| proofObligationsUninterpConstants | Lang.Crucible.Backend |
| ProofResult | Lang.Crucible.Backend.Prove |
| ProofStrategy | |
| 1 (Type/Class) | Lang.Crucible.Backend.Prove |
| 2 (Data Constructor) | Lang.Crucible.Backend.Prove |
| Prove | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack, Lang.Crucible.Backend |
| proveAll | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals |
| ProveConj | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack, Lang.Crucible.Backend |
| proveCurrentObligations | Lang.Crucible.Backend.Prove |
| Proved | Lang.Crucible.Backend.Prove |
| proveGoals | Lang.Crucible.Backend.Prove |
| proveObligations | Lang.Crucible.Backend.Prove |
| Prover | |
| 1 (Type/Class) | Lang.Crucible.Backend.Prove |
| 2 (Data Constructor) | Lang.Crucible.Backend.Prove |
| proverAssume | Lang.Crucible.Backend.Prove |
| proverProve | Lang.Crucible.Backend.Prove |
| pushAssumptionFrame | Lang.Crucible.Backend |
| pushBranchForType | Lang.Crucible.Simulator.RegMap |
| pushBranchIntrinsic | Lang.Crucible.Simulator.Intrinsics |
| pushBranchRegEntry | Lang.Crucible.Simulator.RegMap |
| pushBranchRegs | Lang.Crucible.Simulator.RegMap |
| pushCallFrame | Lang.Crucible.Simulator.Operations |
| pushedFrames | Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack |
| pushFrame | Lang.Crucible.Backend.AssumptionStack |
| put | Lang.Crucible.Utils.StateContT |
| QuadFloat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| QuadFloatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| queueWorkItem | Lang.Crucible.Simulator.PathSplitting |
| RationalLit | Lang.Crucible.CFG.Expr |
| rationalLit | Lang.Crucible.Syntax |
| reachableCFG | Lang.Crucible.Analysis.Reachable |
| ReadBeforeWriteSimError | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| ReadGlobal | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| readGlobal | |
| 1 (Function) | Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| readGlobals | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| readMetrics | Lang.Crucible.Simulator.Profiling |
| readMuxTreeRef | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| readPartExpr | Lang.Crucible.Backend |
| readProfilingState | Lang.Crucible.Simulator.Profiling |
| ReadRef | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| readRef | |
| 1 (Function) | Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.Simulator.EvalStmt |
| 3 (Function) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| ReadRefCell | Lang.Crucible.CFG.Core |
| ReadReg | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| readReg | Lang.Crucible.CFG.Generator |
| RealAdd | Lang.Crucible.CFG.Expr |
| RealCeil | Lang.Crucible.CFG.Expr |
| RealDiv | Lang.Crucible.CFG.Expr |
| RealEq | Lang.Crucible.CFG.Expr |
| RealFloor | Lang.Crucible.CFG.Expr |
| RealIsInteger | Lang.Crucible.CFG.Expr |
| RealIte | Lang.Crucible.CFG.Expr |
| RealLe | Lang.Crucible.CFG.Expr |
| realLit | Lang.Crucible.Syntax |
| RealLt | Lang.Crucible.CFG.Expr |
| RealMod | Lang.Crucible.CFG.Expr |
| RealMul | Lang.Crucible.CFG.Expr |
| RealNeg | Lang.Crucible.CFG.Expr |
| RealPart | Lang.Crucible.CFG.Expr |
| realPart | Lang.Crucible.Syntax |
| RealRound | Lang.Crucible.CFG.Expr |
| RealSub | Lang.Crucible.CFG.Expr |
| realToCplx | Lang.Crucible.Syntax |
| RealToNat | Lang.Crucible.CFG.Expr |
| RealValRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| RealValType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| recordCFG | Lang.Crucible.CFG.Generator |
| recordCoverage | Lang.Crucible.Simulator.Profiling |
| recordProfiling | Lang.Crucible.Simulator.Profiling |
| recordSolverEvent | Lang.Crucible.Simulator.Profiling |
| RecursiveRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| RecursiveType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| RefCell | Lang.Crucible.FunctionHandle |
| ReferenceEq | Lang.Crucible.CFG.Expr |
| ReferenceRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| ReferenceType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Refl | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| RefSet | Lang.Crucible.Analysis.Fixpoint |
| refType | Lang.Crucible.FunctionHandle |
| Reg | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 3 (Type/Class) | Lang.Crucible.CFG.Core |
| 4 (Data Constructor) | Lang.Crucible.CFG.Core |
| reg | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| RegEntry | |
| 1 (Type/Class) | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| regId | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| regIndex | Lang.Crucible.CFG.Core |
| registerFnBinding | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| RegMap | |
| 1 (Type/Class) | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| regMap | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| regMapSize | Lang.Crucible.Simulator.RegMap |
| regPosition | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| regType | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| regVal | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| regVal' | Lang.Crucible.Simulator.RegMap |
| RegValue | |
| 1 (Type/Class) | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| regValue | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| RegValue' | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| remove | Lang.Crucible.Utils.BitSet |
| replace | Lang.Crucible.Vector |
| replaceTailFrame | Lang.Crucible.Simulator.Operations |
| reportError | Lang.Crucible.CFG.Generator |
| resetAssumptionState | Lang.Crucible.Backend |
| resetSolverProcess | Lang.Crucible.Backend.Online |
| resetStack | Lang.Crucible.Backend.AssumptionStack |
| resolveCall | Lang.Crucible.Simulator.Operations |
| ResolvedCall | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator.Operations |
| resolvedCallHandle | Lang.Crucible.Simulator.ExecutionTree |
| resolvedCallName | Lang.Crucible.Simulator.Operations |
| ResolvedJump | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree |
| ResourceExhausted | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| restoreAssumptionStack | Lang.Crucible.Backend.AssumptionStack |
| restoreAssumptionState | Lang.Crucible.Backend |
| restoreSolverState | Lang.Crucible.Backend.Online |
| restoreWorkItem | Lang.Crucible.Simulator.PathSplitting |
| ResultState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| resume | Lang.Crucible.Simulator.ExecutionTree |
| resumeFrame | Lang.Crucible.Simulator.Operations |
| resumeValueFromValueAbort | Lang.Crucible.Simulator.Operations |
| Return | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| returnFromFunction | Lang.Crucible.CFG.Generator |
| ReturnHandler | Lang.Crucible.Simulator.ExecutionTree |
| ReturnState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| ReturnTarget | Lang.Crucible.Simulator.CallFrame, Lang.Crucible.Simulator.ExecutionTree |
| ReturnToCrucible | Lang.Crucible.Simulator.ExecutionTree |
| ReturnToOverride | Lang.Crucible.Simulator.ExecutionTree |
| returnValue | Lang.Crucible.Simulator.Operations |
| reverse | Lang.Crucible.Vector |
| Rewriter | Lang.Crucible.Utils.RegRewrite |
| RF | Lang.Crucible.Simulator.CallFrame |
| RNA | Lang.Crucible.CFG.Expr |
| RNE | Lang.Crucible.CFG.Expr |
| RolledType | |
| 1 (Type/Class) | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| RollRecursive | Lang.Crucible.CFG.Expr |
| rotateL | Lang.Crucible.Vector |
| rotateR | Lang.Crucible.Vector |
| RoundingMode | Lang.Crucible.CFG.Expr |
| RTN | Lang.Crucible.CFG.Expr |
| RTP | Lang.Crucible.CFG.Expr |
| RTZ | Lang.Crucible.CFG.Expr |
| runAbortHandler | Lang.Crucible.Simulator.Operations |
| runAH | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| RunBlockEnd | Lang.Crucible.Simulator.ExecutionTree |
| RunBlockStart | Lang.Crucible.Simulator.ExecutionTree |
| runCHC | Lang.Crucible.Backend |
| runErrorHandler | Lang.Crucible.Simulator.Operations |
| runExecutionFeature | Lang.Crucible.Simulator.EvalStmt |
| runGenericErrorHandler | Lang.Crucible.Simulator.Operations |
| runGenericExecutionFeature | Lang.Crucible.Simulator.EvalStmt |
| runMetric | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator.Profiling |
| RunningState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| RunningStateInfo | Lang.Crucible.Simulator.ExecutionTree |
| runOverride | Lang.Crucible.Simulator.Operations |
| runOverrideSim | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| RunPostBranchMerge | Lang.Crucible.Simulator.ExecutionTree |
| RunReturnFrom | Lang.Crucible.Simulator.ExecutionTree |
| runStateContT | Lang.Crucible.Utils.StateContT |
| runTypedOverride | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| run_dfs | Lang.Crucible.Analysis.DFS |
| RV | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| saveAssumptionStack | Lang.Crucible.Backend.AssumptionStack |
| saveAssumptionState | Lang.Crucible.Backend |
| SbvToInteger | Lang.Crucible.CFG.Expr |
| SCC | |
| 1 (Type/Class) | Lang.Crucible.Analysis.Fixpoint.Components |
| 2 (Data Constructor) | Lang.Crucible.Analysis.Fixpoint.Components |
| SCCData | Lang.Crucible.Analysis.Fixpoint.Components |
| ScopedReg | |
| 1 (Type/Class) | Lang.Crucible.Analysis.Fixpoint |
| 2 (Data Constructor) | Lang.Crucible.Analysis.Fixpoint |
| searchHandleMap | Lang.Crucible.FunctionHandle |
| Seconds | Lang.Crucible.Utils.Seconds |
| secondsFromInt | Lang.Crucible.Utils.Seconds |
| secondsToInt | Lang.Crucible.Utils.Seconds |
| secondsToMicroseconds | Lang.Crucible.Utils.Seconds |
| selectedIndices | Lang.Crucible.Simulator.Evaluation |
| SequenceAppend | Lang.Crucible.CFG.Expr |
| SequenceCons | Lang.Crucible.CFG.Expr |
| SequenceHead | Lang.Crucible.CFG.Expr |
| SequenceIsNil | Lang.Crucible.CFG.Expr |
| SequenceLength | Lang.Crucible.CFG.Expr |
| SequenceNil | Lang.Crucible.CFG.Expr |
| SequenceRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SequenceTail | Lang.Crucible.CFG.Expr |
| SequenceType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SequenceUncons | Lang.Crucible.CFG.Expr |
| setFrameBlock | Lang.Crucible.Simulator.CallFrame |
| setFrameBreakpointPostdomInfo | Lang.Crucible.Simulator.CallFrame |
| setIdentValue | Lang.Crucible.Syntax |
| setPosition | Lang.Crucible.CFG.Generator |
| SetReg | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| SetStruct | Lang.Crucible.CFG.Expr |
| setStruct | Lang.Crucible.Syntax |
| shiftL | Lang.Crucible.Vector |
| shiftR | Lang.Crucible.Vector |
| ShowF | Lang.Crucible.CFG.Core |
| showF | Lang.Crucible.CFG.Core |
| ShowFloat | Lang.Crucible.CFG.Expr |
| showsF | Lang.Crucible.CFG.Core |
| showsPrecF | Lang.Crucible.CFG.Core |
| ShowValue | Lang.Crucible.CFG.Expr |
| showWarning | Lang.Crucible.Utils.MonadVerbosity |
| showWarningWhen | Lang.Crucible.Utils.MonadVerbosity |
| shuffle | Lang.Crucible.Vector |
| signedClamp | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Sim | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| SimContext | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| SimError | |
| 1 (Type/Class) | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| simErrorDetailsMsg | Lang.Crucible.Simulator.SimError |
| simErrorLoc | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| SimErrorReason | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| simErrorReason | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| simErrorReasonMsg | Lang.Crucible.Simulator.SimError |
| SimFrame | Lang.Crucible.Simulator.CallFrame |
| simHandleAllocator | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| SimpleBackend | Lang.Crucible.Backend.Simple |
| SimState | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree |
| SingleAssumption | Lang.Crucible.Backend |
| singleAssumption | Lang.Crucible.Backend |
| SingleCtx | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SingleEvent | Lang.Crucible.Backend |
| singleEvent | Lang.Crucible.Backend |
| SingleFloat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SingleFloatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| singleStepCrucible | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| singleton | |
| 1 (Function) | Lang.Crucible.Vector |
| 2 (Function) | Lang.Crucible.Utils.BitSet |
| singletonTree | Lang.Crucible.Simulator.ExecutionTree |
| size | Lang.Crucible.Utils.BitSet |
| slice | Lang.Crucible.Vector |
| snoc | Lang.Crucible.Vector |
| solverEvents | Lang.Crucible.Simulator.Profiling |
| solverInteractionFile | Lang.Crucible.Backend.Online |
| Some | |
| 1 (Type/Class) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| SomeBackend | |
| 1 (Type/Class) | Lang.Crucible.Backend |
| 2 (Data Constructor) | Lang.Crucible.Backend |
| SomeCFG | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 3 (Type/Class) | Lang.Crucible.CFG.Core |
| 4 (Data Constructor) | Lang.Crucible.CFG.Core |
| SomeFrame | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree |
| SomeHandle | |
| 1 (Type/Class) | Lang.Crucible.FunctionHandle, Lang.Crucible.Simulator.CallFrame |
| 2 (Data Constructor) | Lang.Crucible.FunctionHandle, Lang.Crucible.Simulator.CallFrame |
| someLens | Lang.Crucible.CFG.Core |
| someNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SomeSimState | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree |
| SomeSym | |
| 1 (Type/Class) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| 2 (Data Constructor) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| someSymbol | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SomeTypedOverride | |
| 1 (Type/Class) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| split | Lang.Crucible.Vector |
| splitVecBV | Lang.Crucible.Vector |
| splitWith | Lang.Crucible.Vector |
| splitWithA | Lang.Crucible.Vector |
| startRecordingSolverEvents | Lang.Crucible.Simulator.Profiling |
| state | Lang.Crucible.Utils.StateContT |
| stateConfiguration | Lang.Crucible.Simulator.ExecutionTree |
| stateContext | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| StateContT | |
| 1 (Type/Class) | Lang.Crucible.Utils.StateContT |
| 2 (Data Constructor) | Lang.Crucible.Utils.StateContT |
| stateCrucibleFrame | Lang.Crucible.Simulator.ExecutionTree |
| stateGlobals | Lang.Crucible.Simulator.ExecutionTree |
| stateIntrinsicTypes | Lang.Crucible.Simulator.ExecutionTree |
| stateLocation | Lang.Crucible.Simulator.ExecutionTree |
| stateOverrideFrame | Lang.Crucible.Simulator.ExecutionTree |
| stateSolverProof | Lang.Crucible.Simulator.ExecutionTree |
| stateSymInterface | Lang.Crucible.Simulator.ExecutionTree |
| stateTree | Lang.Crucible.Simulator.ExecutionTree |
| stepBasicBlock | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| stepStmt | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| stepTerm | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| Stmt | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Type/Class) | Lang.Crucible.CFG.Core |
| StmtExtension | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| StmtSeq | Lang.Crucible.CFG.Core |
| stmtSeqTermStmt | Lang.Crucible.CFG.Core |
| STPOnlineBackend | Lang.Crucible.Backend.Online |
| stratCombine | Lang.Crucible.Backend.Prove |
| stratProver | Lang.Crucible.Backend.Prove |
| StringConcat | Lang.Crucible.CFG.Expr |
| StringContains | Lang.Crucible.CFG.Expr |
| StringEmpty | Lang.Crucible.CFG.Expr |
| StringIndexOf | Lang.Crucible.CFG.Expr |
| StringInfo | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| StringInfoRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| StringIsPrefixOf | Lang.Crucible.CFG.Expr |
| StringIsSuffixOf | Lang.Crucible.CFG.Expr |
| StringLength | Lang.Crucible.CFG.Expr |
| StringLit | Lang.Crucible.CFG.Expr |
| StringMapRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| StringMapType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| StringRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| StringSubstring | Lang.Crucible.CFG.Expr |
| StringType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| StructRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| StructType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| structuralPretty | Lang.Crucible.Utils.Structural |
| SubgoalResult | |
| 1 (Type/Class) | Lang.Crucible.Backend.Prove |
| 2 (Data Constructor) | Lang.Crucible.Backend.Prove |
| subgoalResult | Lang.Crucible.Backend.Prove |
| subgoalWasProved | Lang.Crucible.Backend.Prove |
| subNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| substAtom | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substAtomSource | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substAtomValue | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substBlock | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substBlockID | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substCFG | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substExpr | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substLabel | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substLambdaLabel | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substPosdStmt | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substPosdTermStmt | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substReg | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substStmt | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substTermStmt | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substValue | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substValueSet | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| SwitchResumption | Lang.Crucible.Simulator.ExecutionTree |
| SwitchTarget | |
| 1 (Type/Class) | Lang.Crucible.CFG.Core |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| switchTargetID | Lang.Crucible.CFG.Core |
| SymArrayLookup | Lang.Crucible.CFG.Expr |
| SymArrayUpdate | Lang.Crucible.CFG.Expr |
| Symbol | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Symbolic | Lang.Crucible.Analysis.ForwardDataflow |
| symbolicAnalysis | Lang.Crucible.Analysis.ForwardDataflow |
| SymbolicArrayRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SymbolicArrayType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| symbolicBranch | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| symbolicBranches | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| SymbolicBranchState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| symbolicResults | Lang.Crucible.Analysis.ForwardDataflow |
| SymbolicStructRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SymbolicStructType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SymbolRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| symbolRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SymDom | Lang.Crucible.Analysis.ForwardDataflow |
| SymGlobalState | Lang.Crucible.Simulator.GlobalState, Lang.Crucible.Simulator |
| SymInterpretedFloat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SymInterpretedFloatType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| symlub | Lang.Crucible.Analysis.ForwardDataflow |
| symProUIJSON | Lang.Crucible.Simulator.Profiling |
| symProUIString | Lang.Crucible.Simulator.Profiling |
| SymSequence | Lang.Crucible.Simulator.SymSequence, Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| SymSequenceAppend | Lang.Crucible.Simulator.SymSequence, Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| SymSequenceCons | Lang.Crucible.Simulator.SymSequence, Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| SymSequenceMerge | Lang.Crucible.Simulator.SymSequence, Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| SymSequenceNil | Lang.Crucible.Simulator.SymSequence, Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| sym_call_transfer | Lang.Crucible.Analysis.ForwardDataflow |
| sym_expr_transfer | Lang.Crucible.Analysis.ForwardDataflow |
| sym_reg_transfer | Lang.Crucible.Analysis.ForwardDataflow |
| TailCall | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| tailCall | Lang.Crucible.CFG.Generator |
| tailCallFunction | Lang.Crucible.Simulator.Operations |
| TailCallState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| TailReturnToCrucible | Lang.Crucible.Simulator.ExecutionTree |
| tailSymSequence | Lang.Crucible.Simulator.SymSequence |
| take | Lang.Crucible.Vector |
| takeRegs | Lang.Crucible.Simulator.RegMap |
| termNextLabels | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| TermStmt | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| 3 (Type/Class) | Lang.Crucible.CFG.Core |
| termStmtInputs | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| termStmtNextBlocks | Lang.Crucible.CFG.Core |
| TestEquality | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| testEquality | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| testLeq | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| testNatCases | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| testStrictLeq | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| testVector | Lang.Crucible.CFG.Expr |
| throwUnsupported | Lang.Crucible.Backend |
| TimedOut | |
| 1 (Type/Class) | Lang.Crucible.Utils.Timeout |
| 2 (Data Constructor) | Lang.Crucible.Utils.Timeout |
| Timeout | |
| 1 (Type/Class) | Lang.Crucible.Utils.Timeout |
| 2 (Data Constructor) | Lang.Crucible.Utils.Timeout |
| timeoutFeature | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| TimeoutResult | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| toAssignment | Lang.Crucible.Vector |
| toBV | Lang.Crucible.Vector |
| toList | |
| 1 (Function) | Lang.Crucible.Vector |
| 2 (Function) | Lang.Crucible.Utils.BitSet |
| toMuxTree | Lang.Crucible.Utils.MuxTree |
| toNat | Lang.Crucible.Syntax |
| toOrdering | Lang.Crucible.CFG.Core |
| Top | Lang.Crucible.Analysis.Fixpoint |
| TopFrame | Lang.Crucible.Simulator.ExecutionTree |
| toSigned | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| toSSA | Lang.Crucible.CFG.SSAConversion |
| TotalRes | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| toUnsigned | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| traverseApp | Lang.Crucible.CFG.Expr |
| traverseCFG | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| TraverseExt | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| traverseGoalCollector | Lang.Crucible.Backend.ProofGoals |
| traverseGoalCollectorWithAssumptions | Lang.Crucible.Backend.ProofGoals |
| traverseGoals | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals |
| traverseGoalsSeq | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals |
| traverseGoalsWithAssumptions | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals |
| traverseOnlyGoals | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals |
| traverseSome | Lang.Crucible.CFG.Core |
| traverseSome_ | Lang.Crucible.CFG.Core |
| traverseSymSequence | Lang.Crucible.Simulator.SymSequence |
| TreeEdge | Lang.Crucible.Analysis.DFS |
| trivialAssumption | Lang.Crucible.Backend |
| true | Lang.Crucible.Syntax |
| TypeAp | |
| 1 (Type/Class) | Lang.Crucible.CFG.Core |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| TypeApp | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| TypedOverride | |
| 1 (Type/Class) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| typedOverrideArgs | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| typedOverrideHandler | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| typedOverrideRet | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| typeError | Lang.Crucible.Simulator.Intrinsics |
| typeOfAtom | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| typeOfAtomValue | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| typeOfReg | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| typeOfValue | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| TypeRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| unConcRV' | Lang.Crucible.Concretize |
| uncons | Lang.Crucible.Vector |
| unconsReg | Lang.Crucible.Simulator.RegMap |
| unconsSymSequence | Lang.Crucible.Simulator.SymSequence |
| unfoldr | Lang.Crucible.Vector |
| unfoldrM | Lang.Crucible.Vector |
| unfoldrWithIndex | Lang.Crucible.Vector |
| unfoldrWithIndexM | Lang.Crucible.Vector |
| Unicode | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| UnicodeRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| union | Lang.Crucible.Utils.BitSet |
| UnitRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| UnitType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Unknown | Lang.Crucible.Backend.Prove |
| unlessCond | Lang.Crucible.CFG.Generator |
| UnpackAny | Lang.Crucible.CFG.Expr |
| UnresolvableFunction | |
| 1 (Type/Class) | Lang.Crucible.Simulator.Operations |
| 2 (Data Constructor) | Lang.Crucible.Simulator.Operations |
| unroll | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| UnrollRecursive | Lang.Crucible.CFG.Expr |
| UnrollType | Lang.Crucible.Types, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Core |
| unrollType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| unRV | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| UnsatFeatures | Lang.Crucible.Backend.Online |
| unsatFeaturesToProblemFeatures | Lang.Crucible.Backend.Online |
| UnsatisfiableContext | Lang.Crucible.Backend.Online, Lang.Crucible.Simulator.PathSatisfiability |
| unsignedClamp | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| unSim | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| unsnoc | Lang.Crucible.Vector |
| Unsupported | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| unVB | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| UnwindCallState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| unwindContext | Lang.Crucible.Simulator.Operations |
| updateFrame | Lang.Crucible.Simulator.CallFrame |
| updateHandleMap | Lang.Crucible.FunctionHandle |
| updateRef | Lang.Crucible.Simulator.GlobalState |
| updateVectorWithSymNat | Lang.Crucible.Simulator.Evaluation |
| UseCFG | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| useIntrinsic | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| UseOverride | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| validatePostdom | Lang.Crucible.Analysis.Postdom |
| ValidIx | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| ValMuxFn | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| Value | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| ValueFromFrame | Lang.Crucible.Simulator.ExecutionTree |
| ValueFromValue | Lang.Crucible.Simulator.ExecutionTree |
| ValueSet | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| VarargsFnVal | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| VariantBranch | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| variantCases | Lang.Crucible.Simulator.Operations |
| VariantElim | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| VariantOptionsExhausted | Lang.Crucible.Backend |
| VariantRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| VariantType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| VB | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| vecReplicate | Lang.Crucible.Syntax |
| Vector | Lang.Crucible.Vector |
| VectorCons | Lang.Crucible.CFG.Expr |
| VectorGetEntry | Lang.Crucible.CFG.Expr |
| vectorGetEntry | Lang.Crucible.Syntax |
| VectorIsEmpty | Lang.Crucible.CFG.Expr |
| vectorIsEmpty | Lang.Crucible.Syntax |
| VectorLit | Lang.Crucible.CFG.Expr |
| vectorLit | Lang.Crucible.Syntax |
| VectorReplicate | Lang.Crucible.CFG.Expr |
| VectorRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| VectorSetEntry | Lang.Crucible.CFG.Expr |
| vectorSetEntry | Lang.Crucible.Syntax |
| VectorSize | Lang.Crucible.CFG.Expr |
| vectorSize | Lang.Crucible.Syntax |
| VectorType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Vertex | Lang.Crucible.Analysis.Fixpoint.Components |
| VFFActivePath | Lang.Crucible.Simulator.ExecutionTree |
| VFFBranch | Lang.Crucible.Simulator.ExecutionTree |
| VFFCompletePath | Lang.Crucible.Simulator.ExecutionTree |
| VFFEnd | Lang.Crucible.Simulator.ExecutionTree |
| VFFOtherPath | Lang.Crucible.Simulator.ExecutionTree |
| VFFPartial | Lang.Crucible.Simulator.ExecutionTree |
| VFVCall | Lang.Crucible.Simulator.ExecutionTree |
| VFVEnd | Lang.Crucible.Simulator.ExecutionTree |
| VFVPartial | Lang.Crucible.Simulator.ExecutionTree |
| viewMuxTree | Lang.Crucible.Utils.MuxTree |
| viewSome | Lang.Crucible.CFG.Core |
| viewSomeSym | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| weakTopologicalOrdering | Lang.Crucible.Analysis.Fixpoint.Components |
| whenCond | Lang.Crucible.CFG.Generator |
| whenVerbosity | Lang.Crucible.Utils.MonadVerbosity |
| while | Lang.Crucible.CFG.Generator |
| widthVal | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| withAddLeq | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| withAddMulDistribRight | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| withAddPrefixLeq | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| withBackend | Lang.Crucible.Simulator.ExecutionTree |
| withBitwuzlaOnlineBackend | Lang.Crucible.Backend.Online |
| withBlockTermStmt | Lang.Crucible.CFG.Core |
| withBoolectorOnlineBackend | Lang.Crucible.Backend.Online |
| withCVC4OnlineBackend | Lang.Crucible.Backend.Online |
| withCVC5OnlineBackend | Lang.Crucible.Backend.Online |
| withDivModNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| withHandleAllocator | Lang.Crucible.FunctionHandle |
| withKnownNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| withLeqProof | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| withOnlineBackend | Lang.Crucible.Backend.Online |
| withPosition | Lang.Crucible.CFG.Generator |
| withShow | Lang.Crucible.CFG.Core |
| withSimContext | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| withSolverProcess | Lang.Crucible.Backend.Online |
| withSTPOnlineBackend | Lang.Crucible.Backend.Online |
| withSubMulDistribRight | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| withTimeout | Lang.Crucible.Utils.Timeout |
| withVerbosity | Lang.Crucible.Utils.MonadVerbosity |
| withYicesOnlineBackend | Lang.Crucible.Backend.Online |
| withZ3OnlineBackend | Lang.Crucible.Backend.Online |
| WordMapRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| WordMapType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| WorkItem | |
| 1 (Type/Class) | Lang.Crucible.Simulator.PathSplitting |
| 2 (Data Constructor) | Lang.Crucible.Simulator.PathSplitting |
| workItemAssumes | Lang.Crucible.Simulator.PathSplitting |
| workItemFrame | Lang.Crucible.Simulator.PathSplitting |
| workItemLoc | Lang.Crucible.Simulator.PathSplitting |
| workItemPred | Lang.Crucible.Simulator.PathSplitting |
| workItemState | Lang.Crucible.Simulator.PathSplitting |
| WorkList | Lang.Crucible.Simulator.PathSplitting |
| Worklist | Lang.Crucible.Analysis.Fixpoint |
| WriteGlobal | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| writeGlobal | |
| 1 (Function) | Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| writeGlobals | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| writeMuxTreeRef | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| writeProfileReport | Lang.Crucible.Simulator.Profiling |
| WriteRef | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| writeRef | |
| 1 (Function) | Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| WriteRefCell | Lang.Crucible.CFG.Core |
| WTO | Lang.Crucible.Analysis.Fixpoint |
| WTOComponent | Lang.Crucible.Analysis.Fixpoint.Components |
| wtoComps | Lang.Crucible.Analysis.Fixpoint.Components |
| wtoHead | Lang.Crucible.Analysis.Fixpoint.Components |
| WTOWidening | Lang.Crucible.Analysis.Fixpoint |
| X86_80Float | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| X86_80FloatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| X86_80Lit | Lang.Crucible.CFG.Expr |
| X86_80Val | |
| 1 (Type/Class) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| 2 (Data Constructor) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| YicesOnlineBackend | Lang.Crucible.Backend.Online |
| Z3OnlineBackend | Lang.Crucible.Backend.Online |
| ZeroNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| zipWith | Lang.Crucible.Vector |
| zipWithM | Lang.Crucible.Vector |
| zipWithM_ | Lang.Crucible.Vector |
| _abortHandler | Lang.Crucible.Simulator.ExecutionTree |
| _actContext | Lang.Crucible.Simulator.ExecutionTree |
| _actResult | Lang.Crucible.Simulator.ExecutionTree |
| _blockStmts | Lang.Crucible.CFG.Core |
| _cruciblePersonality | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| _ctxBackend | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| _frameBlockID | Lang.Crucible.Simulator.CallFrame |
| _frameCFG | Lang.Crucible.Simulator.CallFrame |
| _framePostdom | Lang.Crucible.Simulator.CallFrame |
| _framePostdomMap | Lang.Crucible.Simulator.CallFrame |
| _frameRegs | Lang.Crucible.Simulator.CallFrame |
| _frameStmts | Lang.Crucible.Simulator.CallFrame |
| _functionBindings | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| _gpGlobals | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| _gpValue | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| _ignoreOut | Lang.Crucible.Analysis.Fixpoint |
| _labeledPred | Lang.Crucible.Backend |
| _labeledPredMsg | Lang.Crucible.Backend |
| _override | Lang.Crucible.Simulator.CallFrame |
| _overrideHandle | Lang.Crucible.Simulator.CallFrame |
| _overrideRegMap | Lang.Crucible.Simulator.CallFrame |
| _paGlobals | Lang.Crucible.Analysis.Fixpoint |
| _paRefs | Lang.Crucible.Analysis.Fixpoint |
| _paRegisterRefs | Lang.Crucible.Analysis.Fixpoint |
| _paRegisters | Lang.Crucible.Analysis.Fixpoint |
| _profilingMetrics | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| _stateContext | Lang.Crucible.Simulator.ExecutionTree |
| _stateTree | Lang.Crucible.Simulator.ExecutionTree |