| 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 |