| packMemValue | Lang.Crucible.LLVM.MemModel |
| padToAlignment | Lang.Crucible.LLVM.DataLayout |
| parseDataLayout | Lang.Crucible.LLVM.DataLayout |
| parseDirectives | Lang.Crucible.LLVM.Printf |
| partErr | Lang.Crucible.LLVM.MemModel.Partial |
| PartLLVMVal | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
| PointerFloatCast | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| PointerIntCast | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| PointerUnsupportedOp | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| Poison | Lang.Crucible.LLVM.Errors.Poison |
| poison | Lang.Crucible.LLVM.Errors |
| poison' | Lang.Crucible.LLVM.Errors |
| PoisonValueCreated | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| polymorphic1_llvm_override | Lang.Crucible.LLVM.Intrinsics |
| popMemAllocs | Lang.Crucible.LLVM.MemModel.MemLog |
| popStackFrameMem | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| populateAllGlobals | Lang.Crucible.LLVM.Globals |
| populateConstGlobals | Lang.Crucible.LLVM.Globals |
| populateGlobal | Lang.Crucible.LLVM.Globals |
| populateGlobals | Lang.Crucible.LLVM.Globals |
| posixMemalignOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| possibleAllocInfo | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
| possibleAllocs | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| pp | |
| 1 (Function) | Lang.Crucible.LLVM.Errors.Poison |
| 2 (Function) | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| ppAlignment | Lang.Crucible.LLVM.Extension |
| ppAllocInfo | Lang.Crucible.LLVM.MemModel.MemLog |
| ppAllocs | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
| ppArrayType | Lang.Crucible.LLVM.PrettyPrint |
| ppBB | Lang.Crucible.LLVM.Errors |
| ppCallStack | Lang.Crucible.LLVM.MemModel.CallStack.Internal, Lang.Crucible.LLVM.MemModel.CallStack |
| ppCitation | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| ppDeclare | Lang.Crucible.LLVM.PrettyPrint |
| ppDetails | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| ppFuncLookupError | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel |
| ppFunDecl | Lang.Crucible.LLVM.MemType |
| ppGlobalVar | Lang.Crucible.LLVM.Extension |
| ppIdent | |
| 1 (Function) | Lang.Crucible.LLVM.PrettyPrint |
| 2 (Function) | Lang.Crucible.LLVM.MemType |
| ppIntType | Lang.Crucible.LLVM.PrettyPrint |
| ppIntVector | Lang.Crucible.LLVM.PrettyPrint |
| ppLLVMLatest | Lang.Crucible.LLVM.PrettyPrint |
| ppLLVMValWithGlobals | Lang.Crucible.LLVM.MemModel |
| ppMem | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| ppMemoryError | Lang.Crucible.LLVM.Errors.MemoryError |
| ppMemoryErrorReason | Lang.Crucible.LLVM.Errors.MemoryError |
| ppMemoryOp | Lang.Crucible.LLVM.Errors.MemoryError |
| ppMemType | Lang.Crucible.LLVM.MemType |
| ppMemWrites | Lang.Crucible.LLVM.MemModel.MemLog |
| ppPtr | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| ppPtrType | Lang.Crucible.LLVM.PrettyPrint |
| ppReg | Lang.Crucible.LLVM.Errors.Poison |
| ppRetType | Lang.Crucible.LLVM.MemType |
| ppSomeAlloc | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| ppSymbol | Lang.Crucible.LLVM.PrettyPrint |
| ppSymType | Lang.Crucible.LLVM.MemType |
| ppTermExpr | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| ppType | |
| 1 (Function) | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
| 2 (Function) | Lang.Crucible.LLVM.PrettyPrint |
| ppValue | Lang.Crucible.LLVM.PrettyPrint |
| ppVectorType | Lang.Crucible.LLVM.PrettyPrint |
| ppWrite | Lang.Crucible.LLVM.MemModel.MemLog |
| predicate | Lang.Crucible.LLVM.Errors |
| PrefixMatch | Lang.Crucible.LLVM.Intrinsics |
| printfAccessField | Lang.Crucible.LLVM.Printf |
| PrintfAlternateForm | Lang.Crucible.LLVM.Printf |
| PrintfConversionType | Lang.Crucible.LLVM.Printf |
| PrintfDirective | Lang.Crucible.LLVM.Printf |
| PrintfFlag | Lang.Crucible.LLVM.Printf |
| printfFlags | Lang.Crucible.LLVM.Printf |
| printfGetFloat | Lang.Crucible.LLVM.Printf |
| printfGetInteger | Lang.Crucible.LLVM.Printf |
| printfGetPointer | Lang.Crucible.LLVM.Printf |
| printfGetString | Lang.Crucible.LLVM.Printf |
| printfLengthMod | Lang.Crucible.LLVM.Printf |
| PrintfLengthModifier | Lang.Crucible.LLVM.Printf |
| printfMinWidth | Lang.Crucible.LLVM.Printf |
| PrintfNegativeWidth | Lang.Crucible.LLVM.Printf |
| PrintfOperations | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Printf |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Printf |
| printfOps | Lang.Crucible.LLVM.Intrinsics.Libc |
| PrintfPosPlus | Lang.Crucible.LLVM.Printf |
| PrintfPosSpace | Lang.Crucible.LLVM.Printf |
| printfPrecision | Lang.Crucible.LLVM.Printf |
| printfSetInteger | Lang.Crucible.LLVM.Printf |
| PrintfThousandsSep | Lang.Crucible.LLVM.Printf |
| printfType | Lang.Crucible.LLVM.Printf |
| printfUnsupported | Lang.Crucible.LLVM.Printf |
| PrintfZeroPadding | Lang.Crucible.LLVM.Printf |
| projectLLVM_bv | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
| ptrAdd | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| PtrAddOffsetOutOfBounds | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| ptrAlign | Lang.Crucible.LLVM.DataLayout |
| ptrBitwidth | Lang.Crucible.LLVM.DataLayout |
| PtrComparisonOperator | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| ptrDiff | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| ptrEq | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| ptrIsNull | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| ptrLe | Lang.Crucible.LLVM.MemModel.Pointer |
| ptrMessage | Lang.Crucible.LLVM.MemModel |
| PtrOpaqueType | Lang.Crucible.LLVM.MemType |
| PtrRepr | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| ptrSize | Lang.Crucible.LLVM.DataLayout |
| ptrSub | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| PtrSubDifferentAllocs | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| ptrToPtrVal | Lang.Crucible.LLVM.MemModel |
| PtrType | Lang.Crucible.LLVM.MemType |
| PtrWidth | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel, Lang.Crucible.LLVM.Translation |
| ptrWidth | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| pushStackFrameMem | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |