| AbnormalExitBehavior | Lang.Crucible.LLVM.Intrinsics |
| abnormalExitBehavior | Lang.Crucible.LLVM.Intrinsics |
| AbsIntMin | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| AddNoSignedWrap | Lang.Crucible.LLVM.Errors.Poison |
| AddNoUnsignedWrap | Lang.Crucible.LLVM.Errors.Poison |
| Addr | Lang.Crucible.LLVM.Bytes |
| aggregateAlignment | Lang.Crucible.LLVM.DataLayout |
| Alias | Lang.Crucible.LLVM.MemType |
| AliasMap | Lang.Crucible.LLVM.TypeContext |
| Alignment | Lang.Crucible.LLVM.DataLayout |
| alignmentToExponent | Lang.Crucible.LLVM.DataLayout |
| allModuleDeclares | Lang.Crucible.LLVM.Translation |
| allocAndWriteMem | Lang.Crucible.LLVM.MemModel.Generic |
| allocateFileDescriptor | Lang.Crucible.LLVM.SymIO |
| Allocations | Lang.Crucible.LLVM.MemModel.MemLog |
| allocGlobal | Lang.Crucible.LLVM.MemModel |
| allocGlobals | Lang.Crucible.LLVM.MemModel |
| AllocInfo | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
| allocMem | Lang.Crucible.LLVM.MemModel.Generic |
| allocMemAllocs | Lang.Crucible.LLVM.MemModel.MemLog |
| AllocMerge | Lang.Crucible.LLVM.MemModel.MemLog |
| AllocType | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| alloc_and_register_override | Lang.Crucible.LLVM.Intrinsics |
| AlwaysFail | Lang.Crucible.LLVM.Intrinsics |
| annotateME | Lang.Crucible.LLVM.MemModel.Partial |
| annotatePointerBlock | Lang.Crucible.LLVM.MemModel.Pointer |
| annotatePointerOffset | Lang.Crucible.LLVM.MemModel.Pointer |
| annotateUB | Lang.Crucible.LLVM.MemModel.Partial |
| appendArray | Lang.Crucible.LLVM.MemModel.Partial |
| ApplyViewFail | Lang.Crucible.LLVM.Errors.MemoryError |
| ArchRepr | Lang.Crucible.LLVM.Extension |
| ArchWidth | Lang.Crucible.LLVM.Extension |
| ArgProfile | |
| 1 (Type/Class) | Lang.Crucible.LLVM.ArraySizeProfile |
| 2 (Data Constructor) | Lang.Crucible.LLVM.ArraySizeProfile |
| argProfileInitialized | Lang.Crucible.LLVM.ArraySizeProfile |
| argProfileSize | Lang.Crucible.LLVM.ArraySizeProfile |
| Array | Lang.Crucible.LLVM.MemModel |
| ArrayConst | Lang.Crucible.LLVM.Translation |
| arrayElt | Lang.Crucible.LLVM.MemModel.Partial |
| arraySizeProfile | Lang.Crucible.LLVM.ArraySizeProfile |
| ArrayType | Lang.Crucible.LLVM.MemType |
| arrayType | Lang.Crucible.LLVM.MemModel |
| AshrExact | Lang.Crucible.LLVM.Errors.Poison |
| AshrOp2Big | Lang.Crucible.LLVM.Errors.Poison |
| asMemAllocationArrayStore | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| asMemType | Lang.Crucible.LLVM.TypeContext |
| assertDisjointRegions | Lang.Crucible.LLVM.MemModel |
| assertSafe | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
| attachMemoryError | Lang.Crucible.LLVM.MemModel.Partial |
| attachSideCondition | Lang.Crucible.LLVM.MemModel.Partial |
| AVXOp1 | Lang.Crucible.LLVM.Arch.X86 |
| BadBehavior | Lang.Crucible.LLVM.Errors |
| BadFunctionPointer | Lang.Crucible.LLVM.Errors.MemoryError |
| basic_llvm_override | Lang.Crucible.LLVM.Intrinsics |
| BBMemoryError | Lang.Crucible.LLVM.Errors |
| BBUndefinedBehavior | Lang.Crucible.LLVM.Errors |
| BigEndian | Lang.Crucible.LLVM.DataLayout |
| bindLLVMFunPtr | Lang.Crucible.LLVM.MemModel |
| bind_llvm_func | Lang.Crucible.LLVM.Intrinsics |
| bind_llvm_handle | Lang.Crucible.LLVM.Intrinsics |
| bitsToBytes | Lang.Crucible.LLVM.Bytes |
| Bitvector | Lang.Crucible.LLVM.MemModel |
| bitvectorType | Lang.Crucible.LLVM.MemModel |
| BlockSource | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemModel |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemModel |
| bodyValue | |
| 1 (Function) | Lang.Crucible.LLVM.SimpleLoopInvariant |
| 2 (Function) | Lang.Crucible.LLVM.SimpleLoopFixpoint |
| BoolAnn | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemModel.Partial |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.Partial |
| boolConst | Lang.Crucible.LLVM.Translation |
| branchAbortMem | Lang.Crucible.LLVM.MemModel.Generic |
| BranchFrame | Lang.Crucible.LLVM.MemModel.MemLog |
| branchMem | Lang.Crucible.LLVM.MemModel.Generic |
| buildDisjointRegionsAssertion | Lang.Crucible.LLVM.MemModel |
| buildDisjointRegionsAssertionWithSub | Lang.Crucible.LLVM.MemModel |
| build_llvm_override | Lang.Crucible.LLVM.Intrinsics |
| bvConcat | Lang.Crucible.LLVM.MemModel.Partial |
| bvToDouble | Lang.Crucible.LLVM.MemModel.Partial |
| bvToFloat | Lang.Crucible.LLVM.MemModel.Partial |
| bvToX86_FP80 | Lang.Crucible.LLVM.MemModel.Partial |
| Bytes | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Bytes |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Bytes |
| bytesToBits | Lang.Crucible.LLVM.Bytes |
| bytesToBV | Lang.Crucible.LLVM.Bytes |
| bytesToInteger | Lang.Crucible.LLVM.Bytes |
| bytesToNatural | Lang.Crucible.LLVM.Bytes |
| callAbs | Lang.Crucible.LLVM.Intrinsics.Libc |
| callAllCtors | Lang.Crucible.LLVM.Ctors |
| callAssert | Lang.Crucible.LLVM.Intrinsics.Libc |
| callBitreverse | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callBSwap | Lang.Crucible.LLVM.Intrinsics.Libc |
| callBSwapIfLittleEndian | Lang.Crucible.LLVM.Intrinsics.Libc |
| callCalloc | Lang.Crucible.LLVM.Intrinsics.Libc |
| callCeil | Lang.Crucible.LLVM.Intrinsics.Libc |
| callCloseFile | Lang.Crucible.LLVM.SymIO |
| callCopysign | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callCtlz | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callCtors | Lang.Crucible.LLVM.Ctors |
| callCtorsCFG | Lang.Crucible.LLVM.Ctors |
| callCtpop | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callCttz | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callExit | Lang.Crucible.LLVM.Intrinsics.Libc |
| callFloor | Lang.Crucible.LLVM.Intrinsics.Libc |
| callFMA | Lang.Crucible.LLVM.Intrinsics.Libc |
| callFree | Lang.Crucible.LLVM.Intrinsics.Libc |
| callFshl | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callFshr | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callIsFpclass | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callIsinf | Lang.Crucible.LLVM.Intrinsics.Libc |
| callIsnan | Lang.Crucible.LLVM.Intrinsics.Libc |
| callLibcAbs | Lang.Crucible.LLVM.Intrinsics.Libc |
| callLLVMAbs | Lang.Crucible.LLVM.Intrinsics.Libc |
| callMalloc | Lang.Crucible.LLVM.Intrinsics.Libc |
| callMemcpy | Lang.Crucible.LLVM.Intrinsics.Libc |
| callMemmove | Lang.Crucible.LLVM.Intrinsics.Libc |
| callMemset | Lang.Crucible.LLVM.Intrinsics.Libc |
| callObjectsize | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callObjectsize_null | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callObjectsize_null_dynamic | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callOpenFile | Lang.Crucible.LLVM.SymIO |
| callPosixMemalign | Lang.Crucible.LLVM.Intrinsics.Libc |
| callPrintf | Lang.Crucible.LLVM.Intrinsics.Libc |
| callPutChar | Lang.Crucible.LLVM.Intrinsics.Libc |
| callPuts | Lang.Crucible.LLVM.Intrinsics.Libc |
| callReadFileHandle | Lang.Crucible.LLVM.SymIO |
| callRealloc | Lang.Crucible.LLVM.Intrinsics.Libc |
| callSaddWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callSmax | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callSmin | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callSmulWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callSpecialFunction1 | Lang.Crucible.LLVM.Intrinsics.Libc |
| callSpecialFunction2 | Lang.Crucible.LLVM.Intrinsics.Libc |
| callSqrt | Lang.Crucible.LLVM.Intrinsics.Libc |
| callSsubWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| CallStack | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemModel.CallStack.Internal, Lang.Crucible.LLVM.MemModel.CallStack |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.CallStack.Internal |
| callStackFromMemVar | Lang.Crucible.LLVM.Eval |
| callStackFromMemVar' | Lang.Crucible.LLVM.Intrinsics |
| callStoreudq | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callStrlen | Lang.Crucible.LLVM.Intrinsics.Libc |
| callUaddWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callUmax | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callUmin | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callUmulWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callUsubWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| callWriteFileHandle | Lang.Crucible.LLVM.SymIO |
| callX86_pclmulqdq | Lang.Crucible.LLVM.Intrinsics.LLVM |
| Case | Lang.Crucible.LLVM.Printf |
| CexExplanation | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
| CheckAbsIntMin | Lang.Crucible.LLVM.Intrinsics.Libc |
| cite | |
| 1 (Function) | Lang.Crucible.LLVM.Errors.Poison |
| 2 (Function) | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| classifier | Lang.Crucible.LLVM.Errors |
| closeFile | Lang.Crucible.LLVM.SymIO |
| commaSepList | Lang.Crucible.LLVM.PrettyPrint |
| CompareDifferentAllocs | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| CompareInvalidPointer | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| ComparePointerToBV | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| compatMemTypeLists | Lang.Crucible.LLVM.TypeContext |
| compatMemTypes | Lang.Crucible.LLVM.TypeContext |
| compatRetTypes | Lang.Crucible.LLVM.TypeContext |
| concBadBehavior | Lang.Crucible.LLVM.Errors |
| concBV | Lang.Crucible.LLVM.MemModel.Pointer |
| concLLVMVal | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel |
| concMem | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel |
| concMemImpl | Lang.Crucible.LLVM.MemModel |
| concMemoryError | Lang.Crucible.LLVM.Errors.MemoryError |
| concMemoryOp | Lang.Crucible.LLVM.Errors.MemoryError |
| concPoison | Lang.Crucible.LLVM.Errors.Poison |
| concPtr | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel |
| concPtr' | Lang.Crucible.LLVM.MemModel.Pointer |
| concUB | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| condStoreRaw | Lang.Crucible.LLVM.MemModel |
| cons | Lang.Crucible.LLVM.MemModel.CallStack.Internal |
| consArray | Lang.Crucible.LLVM.MemModel.Partial |
| constOffset | Lang.Crucible.LLVM.MemModel.Pointer |
| constToLLVMVal | Lang.Crucible.LLVM.MemModel |
| constToLLVMValP | Lang.Crucible.LLVM.MemModel |
| Conversion | Lang.Crucible.LLVM.Printf |
| ConversionDirective | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Printf |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Printf |
| Conversion_Char | Lang.Crucible.LLVM.Printf |
| Conversion_CountChars | Lang.Crucible.LLVM.Printf |
| Conversion_Floating | Lang.Crucible.LLVM.Printf |
| Conversion_Integer | Lang.Crucible.LLVM.Printf |
| Conversion_Pointer | Lang.Crucible.LLVM.Printf |
| Conversion_String | Lang.Crucible.LLVM.Printf |
| copyMem | Lang.Crucible.LLVM.MemModel.Generic |
| Ctor | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Ctors |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Ctors |
| ctorData | Lang.Crucible.LLVM.Ctors |
| ctorFunction | Lang.Crucible.LLVM.Ctors |
| ctorPriority | Lang.Crucible.LLVM.Ctors |
| cxa_atexitOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| DataLayout | Lang.Crucible.LLVM.DataLayout |
| debugIntrinsics | Lang.Crucible.LLVM.Translation |
| debugIntrinsicsTranslationOptions | Lang.Crucible.LLVM.Translation |
| declareFromDefine | Lang.Crucible.LLVM.Translation |
| defaultDataLayout | Lang.Crucible.LLVM.DataLayout |
| defaultIntrinsicsOptions | Lang.Crucible.LLVM.Intrinsics |
| defaultMemOptions | Lang.Crucible.LLVM.MemModel |
| defaultRM | Lang.Crucible.LLVM.Intrinsics.Libc |
| defaultTranslationOptions | Lang.Crucible.LLVM.Translation |
| detailBB | Lang.Crucible.LLVM.Errors |
| details | |
| 1 (Function) | Lang.Crucible.LLVM.Errors.Poison |
| 2 (Function) | Lang.Crucible.LLVM.Errors.MemoryError |
| 3 (Function) | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| DisjOfFailures | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
| doAlloca | Lang.Crucible.LLVM.MemModel |
| doArrayConstStore | Lang.Crucible.LLVM.MemModel |
| doArrayConstStoreUnbounded | Lang.Crucible.LLVM.MemModel |
| doArrayStore | Lang.Crucible.LLVM.MemModel |
| doArrayStoreUnbounded | Lang.Crucible.LLVM.MemModel |
| doCalloc | Lang.Crucible.LLVM.MemModel |
| doConditionalWriteOperation | Lang.Crucible.LLVM.MemModel |
| doDumpMem | Lang.Crucible.LLVM.MemModel |
| doFree | Lang.Crucible.LLVM.MemModel |
| doInstallHandle | Lang.Crucible.LLVM.MemModel |
| doInvalidate | Lang.Crucible.LLVM.MemModel |
| doLoad | Lang.Crucible.LLVM.MemModel |
| doLookupHandle | Lang.Crucible.LLVM.MemModel |
| doMalloc | Lang.Crucible.LLVM.MemModel |
| doMallocHandle | Lang.Crucible.LLVM.MemModel |
| doMallocUnbounded | Lang.Crucible.LLVM.MemModel |
| doMemcpy | Lang.Crucible.LLVM.MemModel |
| doMemset | Lang.Crucible.LLVM.MemModel |
| doPtrAddOffset | Lang.Crucible.LLVM.MemModel |
| doPtrSubtract | Lang.Crucible.LLVM.MemModel |
| doResolveGlobal | Lang.Crucible.LLVM.MemModel |
| doStore | Lang.Crucible.LLVM.MemModel |
| Double | Lang.Crucible.LLVM.MemModel |
| DoubleConst | Lang.Crucible.LLVM.Translation |
| DoubleFree | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| DoubleSize | Lang.Crucible.LLVM.MemModel |
| doubleToBV | Lang.Crucible.LLVM.MemModel.Partial |
| DoubleType | Lang.Crucible.LLVM.MemType |
| doubleType | Lang.Crucible.LLVM.MemModel |
| do_register_llvm_override | Lang.Crucible.LLVM.Intrinsics |
| emptyChanges | Lang.Crucible.LLVM.MemModel.MemLog |
| EmptyMem | Lang.Crucible.LLVM.MemModel.MemLog |
| emptyMem | |
| 1 (Function) | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
| 2 (Function) | Lang.Crucible.LLVM.MemModel |
| EndianForm | Lang.Crucible.LLVM.DataLayout |
| Eq | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| Err | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
| eval | Lang.Crucible.LLVM.Arch.X86 |
| ExactMatch | Lang.Crucible.LLVM.Intrinsics |
| executeDirectives | Lang.Crucible.LLVM.Printf |
| explain | |
| 1 (Function) | Lang.Crucible.LLVM.Errors.Poison |
| 2 (Function) | Lang.Crucible.LLVM.Errors.MemoryError |
| 3 (Function) | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| explainBB | Lang.Crucible.LLVM.Errors |
| explainCex | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
| explodeStringValue | Lang.Crucible.LLVM.MemModel |
| exponentToAlignment | Lang.Crucible.LLVM.DataLayout |
| extra | Lang.Crucible.LLVM.Errors |
| ExtractElementIndex | Lang.Crucible.LLVM.Errors.Poison |
| ExtX86 | Lang.Crucible.LLVM.Arch.X86 |
| fdArgTypes | Lang.Crucible.LLVM.MemType |
| fdRetType | Lang.Crucible.LLVM.MemType |
| fdVarArgs | Lang.Crucible.LLVM.MemType |
| Field | Lang.Crucible.LLVM.MemModel |
| FieldInfo | Lang.Crucible.LLVM.MemType |
| fieldOffset | Lang.Crucible.LLVM.MemModel |
| fieldPad | Lang.Crucible.LLVM.MemModel |
| fieldVal | |
| 1 (Function) | Lang.Crucible.LLVM.MemModel |
| 2 (Function) | Lang.Crucible.LLVM.MemModel.Partial |
| fiOffset | Lang.Crucible.LLVM.MemType |
| fiPadding | Lang.Crucible.LLVM.MemType |
| fiType | Lang.Crucible.LLVM.MemType |
| FixpointEntry | |
| 1 (Type/Class) | Lang.Crucible.LLVM.SimpleLoopFixpoint |
| 2 (Data Constructor) | Lang.Crucible.LLVM.SimpleLoopFixpoint |
| Float | Lang.Crucible.LLVM.MemModel |
| floatAlignment | Lang.Crucible.LLVM.DataLayout |
| FloatConst | Lang.Crucible.LLVM.Translation |
| FloatFormat | Lang.Crucible.LLVM.Printf |
| FloatFormat_Auto | Lang.Crucible.LLVM.Printf |
| FloatFormat_Hex | Lang.Crucible.LLVM.Printf |
| FloatFormat_Scientific | Lang.Crucible.LLVM.Printf |
| FloatFormat_Standard | Lang.Crucible.LLVM.Printf |
| FloatSize | Lang.Crucible.LLVM.MemModel |
| floatToBV | Lang.Crucible.LLVM.MemModel.Partial |
| FloatType | Lang.Crucible.LLVM.MemType |
| floatType | Lang.Crucible.LLVM.MemModel |
| formatInteger | Lang.Crucible.LLVM.Printf |
| formatRational | Lang.Crucible.LLVM.Printf |
| fp80ToBV | Lang.Crucible.LLVM.MemModel.Partial |
| FreeBadOffset | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| freeMem | Lang.Crucible.LLVM.MemModel.Generic |
| freeMemAllocs | Lang.Crucible.LLVM.MemModel.MemLog |
| FreeUnallocated | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| fromAlignment | Lang.Crucible.LLVM.DataLayout |
| FuncLookupError | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel |
| functionAliases | Lang.Crucible.LLVM.Translation.Aliases |
| FunctionName | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemModel.CallStack.Internal |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.CallStack.Internal |
| FunctionProfile | |
| 1 (Type/Class) | Lang.Crucible.LLVM.ArraySizeProfile |
| 2 (Data Constructor) | Lang.Crucible.LLVM.ArraySizeProfile |
| FunDecl | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemType |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemType |
| funDecl | Lang.Crucible.LLVM.MemType |
| funProfileArgs | Lang.Crucible.LLVM.ArraySizeProfile |
| funProfileName | Lang.Crucible.LLVM.ArraySizeProfile |
| FunType | Lang.Crucible.LLVM.MemType |
| GEP | Lang.Crucible.LLVM.Translation |
| GEPOutOfBounds | Lang.Crucible.LLVM.Errors.Poison |
| GEPResult | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Translation |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Translation |
| GEP_field | Lang.Crucible.LLVM.Translation |
| GEP_index_each | Lang.Crucible.LLVM.Translation |
| GEP_index_vector | Lang.Crucible.LLVM.Translation |
| GEP_scalar_base | Lang.Crucible.LLVM.Translation |
| GEP_scatter | Lang.Crucible.LLVM.Translation |
| GEP_vector_base | Lang.Crucible.LLVM.Translation |
| getCallStack | Lang.Crucible.LLVM.MemModel.CallStack.Internal, Lang.Crucible.LLVM.MemModel.CallStack |
| getFunctionName | Lang.Crucible.LLVM.MemModel.CallStack.Internal |
| getTranslatedCFG | Lang.Crucible.LLVM.Translation |
| getTranslatedFnHandle | Lang.Crucible.LLVM.Translation |
| globalAliases | Lang.Crucible.LLVM.Translation.Aliases |
| GlobalAlloc | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| globalCtors | Lang.Crucible.LLVM.Ctors |
| GlobalInitializerMap | Lang.Crucible.LLVM.Globals |
| globalInitMap | Lang.Crucible.LLVM.Translation |
| GlobalMap | Lang.Crucible.LLVM.MemModel |
| GlobalSymbol | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemModel |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemModel |
| HasLLVMAnn | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
| HasPtrWidth | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| headerValue | |
| 1 (Function) | Lang.Crucible.LLVM.SimpleLoopInvariant |
| 2 (Function) | Lang.Crucible.LLVM.SimpleLoopFixpoint |
| HeapAlloc | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| HypotheticalInvariant | Lang.Crucible.LLVM.SimpleLoopInvariant |
| i1 | Lang.Crucible.LLVM.MemType |
| i16 | Lang.Crucible.LLVM.MemType |
| i16p | Lang.Crucible.LLVM.MemType |
| i32 | Lang.Crucible.LLVM.MemType |
| i32p | Lang.Crucible.LLVM.MemType |
| i64 | Lang.Crucible.LLVM.MemType |
| i64p | Lang.Crucible.LLVM.MemType |
| i8 | Lang.Crucible.LLVM.MemType |
| i8p | Lang.Crucible.LLVM.MemType |
| Ident | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemType |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemType |
| Immutable | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| IndeterminateLoadBehavior | Lang.Crucible.LLVM.MemModel |
| indeterminateLoadBehavior | Lang.Crucible.LLVM.MemModel |
| InductiveInvariant | Lang.Crucible.LLVM.SimpleLoopInvariant |
| InitialInvariant | Lang.Crucible.LLVM.SimpleLoopInvariant |
| initializeAllMemory | Lang.Crucible.LLVM.Globals |
| initializeMemory | Lang.Crucible.LLVM.Globals |
| initializeMemoryConstGlobals | Lang.Crucible.LLVM.Globals |
| initialLLVMFileSystem | Lang.Crucible.LLVM.SymIO |
| InsertElementIndex | Lang.Crucible.LLVM.Errors.Poison |
| IntConst | Lang.Crucible.LLVM.Translation |
| intConst | Lang.Crucible.LLVM.Translation |
| integerAlignment | Lang.Crucible.LLVM.DataLayout |
| IntFormat | Lang.Crucible.LLVM.Printf |
| IntFormat_Hex | Lang.Crucible.LLVM.Printf |
| IntFormat_Octal | Lang.Crucible.LLVM.Printf |
| IntFormat_SignedDecimal | Lang.Crucible.LLVM.Printf |
| IntFormat_UnsignedDecimal | Lang.Crucible.LLVM.Printf |
| intLayout | Lang.Crucible.LLVM.DataLayout |
| IntrinsicsOptions | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Intrinsics |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Intrinsics |
| IntType | Lang.Crucible.LLVM.MemType |
| intWidthSize | Lang.Crucible.LLVM.DataLayout |
| Invalid | Lang.Crucible.LLVM.Errors.MemoryError |
| Invalidated | Lang.Crucible.LLVM.Errors.MemoryError |
| invalidateMem | Lang.Crucible.LLVM.MemModel.Generic |
| InvariantEntry | |
| 1 (Type/Class) | Lang.Crucible.LLVM.SimpleLoopInvariant |
| 2 (Data Constructor) | Lang.Crucible.LLVM.SimpleLoopInvariant |
| InvariantPhase | Lang.Crucible.LLVM.SimpleLoopInvariant |
| isAligned | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| isAllocatedAlignedPointer | |
| 1 (Function) | Lang.Crucible.LLVM.MemModel.Generic |
| 2 (Function) | Lang.Crucible.LLVM.MemModel |
| isAllocatedGeneric | Lang.Crucible.LLVM.MemModel.MemLog |
| isAllocatedMutable | Lang.Crucible.LLVM.MemModel.Generic |
| isGlobalPointer | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| isGlobalPointer' | Lang.Crucible.LLVM.MemModel.Pointer |
| isPointerMemType | Lang.Crucible.LLVM.MemType |
| isValidPointer | |
| 1 (Function) | Lang.Crucible.LLVM.MemModel.Generic |
| 2 (Function) | Lang.Crucible.LLVM.MemModel |
| isZero | Lang.Crucible.LLVM.MemModel |
| laxArith | Lang.Crucible.LLVM.Translation |
| laxConstantEquality | Lang.Crucible.LLVM.MemModel |
| laxLoadsAndStores | Lang.Crucible.LLVM.MemModel |
| laxPointerMemOptions | Lang.Crucible.LLVM.MemModel |
| laxPointerOrdering | Lang.Crucible.LLVM.MemModel |
| Len_Byte | Lang.Crucible.LLVM.Printf |
| Len_IntMax | Lang.Crucible.LLVM.Printf |
| Len_Long | Lang.Crucible.LLVM.Printf |
| Len_LongDouble | Lang.Crucible.LLVM.Printf |
| Len_LongLong | Lang.Crucible.LLVM.Printf |
| Len_NoMod | Lang.Crucible.LLVM.Printf |
| Len_PtrDiff | Lang.Crucible.LLVM.Printf |
| Len_Short | Lang.Crucible.LLVM.Printf |
| Len_Sizet | Lang.Crucible.LLVM.Printf |
| Leq | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| LibcAbsIntMinUB | Lang.Crucible.LLVM.Intrinsics.Libc |
| liftDeclare | Lang.Crucible.LLVM.TypeContext, Lang.Crucible.LLVM.Translation |
| liftMemType | Lang.Crucible.LLVM.TypeContext, Lang.Crucible.LLVM.Translation |
| liftRetType | Lang.Crucible.LLVM.TypeContext, Lang.Crucible.LLVM.Translation |
| liftType | Lang.Crucible.LLVM.TypeContext |
| LittleEndian | Lang.Crucible.LLVM.DataLayout |
| LLVM | Lang.Crucible.LLVM.Extension, Lang.Crucible.LLVM.Intrinsics, Lang.Crucible.LLVM |
| llvmAbortOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| LLVMAbsIntMin | Lang.Crucible.LLVM.Errors.Poison |
| LLVMAbsIntMinPoison | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAbsOverride | |
| 1 (Function) | Lang.Crucible.LLVM.Intrinsics.Libc |
| 2 (Function) | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmAcosfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAcoshfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAcoshOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAcosOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAliasMap | Lang.Crucible.LLVM.TypeContext |
| LLVMAnnMap | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
| LLVMArch | Lang.Crucible.LLVM.Extension |
| llvmArch | Lang.Crucible.LLVM.Translation |
| llvmAsinfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAsinhfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAsinhOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAsinOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAssertFailOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAssertRtnOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAssumeOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmAtan2fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAtan2Override | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAtanfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAtanhfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAtanhOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAtanOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmBitreverse | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmBSwapOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCallocOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmCeilfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmCeilOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmCeilOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCeilOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| LLVMConst | Lang.Crucible.LLVM.Translation |
| LLVMContext | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Translation |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Translation |
| llvmCopysignOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCopysignOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCosfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmCoshfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmCoshOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmCosOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmCosOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCosOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCtlz | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCtpop | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCttz | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmDataLayout | Lang.Crucible.LLVM.TypeContext |
| llvmDecl | Lang.Crucible.LLVM.QQ |
| llvmDeclToFunHandleRepr | Lang.Crucible.LLVM.Translation, Lang.Crucible.LLVM.Intrinsics |
| llvmDeclToFunHandleRepr' | Lang.Crucible.LLVM.Translation |
| llvmExitOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExp10fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExp10Override | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExp2fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExp2Override | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExp2Override_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmExp2Override_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmExpectOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmExpfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExpm1fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExpm1Override | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExpOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExpOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmExpOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmExtensionEval | Lang.Crucible.LLVM.Eval |
| LLVMExtensionExpr | Lang.Crucible.LLVM.Extension |
| llvmExtensionImpl | Lang.Crucible.LLVM |
| llvmFabsF32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFabsF64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFileDescMap | Lang.Crucible.LLVM.SymIO |
| llvmFilePointerRepr | Lang.Crucible.LLVM.SymIO |
| LLVMFileSystem | |
| 1 (Type/Class) | Lang.Crucible.LLVM.SymIO |
| 2 (Data Constructor) | Lang.Crucible.LLVM.SymIO |
| llvmFileSystem | Lang.Crucible.LLVM.SymIO |
| llvmFloorfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmFloorOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmFloorOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFloorOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFmafOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmFmaOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmFmaOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFmaOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFmuladdOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFmuladdOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFreeOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmFshl | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFshr | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFunctionAliases | Lang.Crucible.LLVM.Translation |
| llvmGetenvOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmGlobalAliases | Lang.Crucible.LLVM.Translation |
| llvmGlobals | Lang.Crucible.LLVM |
| llvmGlobalsToCtx | Lang.Crucible.LLVM |
| llvmHandles | Lang.Crucible.LLVM.SymIO |
| llvmHtonlOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmHtonsOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmHypotfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmHypotOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmIntrinsicTypes | Lang.Crucible.LLVM.Intrinsics |
| llvmInvariantEndOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmInvariantEndOverride_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmInvariantStartOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmInvariantStartOverride_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmIsFpclassOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmIsFpclassOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmIsinfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmIsnanOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLAbsOverride_32 | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLAbsOverride_64 | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLifetimeEndOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLifetimeOverrideOverload | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLifetimeOverrideOverload_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLifetimeStartOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLLAbsOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLog10fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLog10Override | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLog10Override_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLog10Override_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLog1pfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLog1pOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLog2fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLog2Override | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLog2Override_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLog2Override_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLogfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLogOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLogOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLogOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMallocOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmMemcpyChkOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmMemcpyOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmMemcpyOverride_8_8_32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemcpyOverride_8_8_32_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemcpyOverride_8_8_32_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemcpyOverride_8_8_64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemcpyOverride_8_8_64_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemcpyOverride_8_8_64_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemmoveOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmMemmoveOverride_8_8_32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemmoveOverride_8_8_32_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemmoveOverride_8_8_32_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemmoveOverride_8_8_64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemmoveOverride_8_8_64_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemmoveOverride_8_8_64_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemsetChkOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmMemsetOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmMemsetOverride_8_32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemsetOverride_8_32_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemsetOverride_8_32_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemsetOverride_8_64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemsetOverride_8_64_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemsetOverride_8_64_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemVar | Lang.Crucible.LLVM.Translation |
| llvmMetadataMap | Lang.Crucible.LLVM.TypeContext |
| llvmNtohlOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmNtohsOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmObjectsizeOverride_32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmObjectsizeOverride_32_null | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmObjectsizeOverride_32_null_dynamic | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmObjectsizeOverride_32_null_dynamic_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmObjectsizeOverride_64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmObjectsizeOverride_64_null | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmObjectsizeOverride_64_null_dynamic | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmObjectsizeOverride_64_null_dynamic_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| LLVMOverride | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Intrinsics |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Intrinsics |
| llvmOverride_args | Lang.Crucible.LLVM.Intrinsics |
| llvmOverride_declare | Lang.Crucible.LLVM.Intrinsics |
| llvmOverride_def | Lang.Crucible.LLVM.Intrinsics |
| llvmOverride_ret | Lang.Crucible.LLVM.Intrinsics |
| llvmOvr | Lang.Crucible.LLVM.QQ |
| LLVMPointer | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| llvmPointerBlock | Lang.Crucible.LLVM.MemModel.Pointer |
| llvmPointerOffset | Lang.Crucible.LLVM.MemModel.Pointer |
| LLVMPointerRepr | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel, Lang.Crucible.LLVM.Translation |
| LLVMPointerType | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel, Lang.Crucible.LLVM.Translation |
| llvmPointerType | Lang.Crucible.LLVM.MemModel.Pointer |
| llvmPointerView | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| llvmPointer_bv | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| llvmPowfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmPowOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmPowOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmPowOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmPrefetchOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmPrefetchOverride_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmPrefetchOverride_preLLVM10 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmPrintfChkOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmPrintfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| LLVMPtr | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| llvmPtrWidth | Lang.Crucible.LLVM.Translation |
| llvmPutCharOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmPutsOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmReallocOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmRetTypeAsRepr | Lang.Crucible.LLVM.Translation |
| llvmSaddWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| LLVMSafetyAssertion | Lang.Crucible.LLVM.Errors |
| LLVMSideCondition | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Extension |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Extension |
| llvmSinfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmSinhfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmSinhOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmSinOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmSinOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmSinOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmSizeT | Lang.Crucible.LLVM.Intrinsics |
| llvmSmax | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmSmin | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmSmulWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmSqrtfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmSqrtOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmSqrtOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmSqrtOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmSSizeT | Lang.Crucible.LLVM.Intrinsics |
| llvmSsubWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmStackrestore | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmStacksave | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmStatementExec | Lang.Crucible.LLVM.MemModel |
| LLVMStmt | Lang.Crucible.LLVM.Extension |
| llvmStrlenOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmSymIOIntrinsicTypes | Lang.Crucible.LLVM.SymIO |
| llvmTanfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmTanhfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmTanhOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmTanOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| LLVMTranslationWarning | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Translation |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Translation |
| llvmTrapOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmType | Lang.Crucible.LLVM.QQ |
| llvmTypeAsRepr | Lang.Crucible.LLVM.Translation |
| llvmTypeCtx | Lang.Crucible.LLVM.Translation |
| llvmTypesAsCtx | Lang.Crucible.LLVM.Translation |
| llvmUaddWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmUBSanTrapOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmUmax | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmUmin | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmUmulWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmUsubWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| LLVMVal | Lang.Crucible.LLVM.MemModel |
| LLVMValArray | Lang.Crucible.LLVM.MemModel |
| LLVMValFloat | Lang.Crucible.LLVM.MemModel |
| LLVMValInt | Lang.Crucible.LLVM.MemModel |
| llvmValStorableType | Lang.Crucible.LLVM.MemModel |
| LLVMValString | Lang.Crucible.LLVM.MemModel |
| LLVMValStruct | Lang.Crucible.LLVM.MemModel |
| LLVMValUndef | Lang.Crucible.LLVM.MemModel |
| LLVMValZero | Lang.Crucible.LLVM.MemModel |
| llvmX86_pclmulqdq | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmX86_SSE2_storeu_dq | Lang.Crucible.LLVM.Intrinsics.LLVM |
| LLVM_Alloca | Lang.Crucible.LLVM.Extension |
| LLVM_Dbg | Lang.Crucible.LLVM.Extension |
| LLVM_Dbg_Addr | Lang.Crucible.LLVM.Extension |
| LLVM_Dbg_Declare | Lang.Crucible.LLVM.Extension |
| LLVM_Dbg_Value | Lang.Crucible.LLVM.Extension |
| LLVM_Debug | Lang.Crucible.LLVM.Extension |
| LLVM_Load | Lang.Crucible.LLVM.Extension |
| LLVM_LoadHandle | Lang.Crucible.LLVM.Extension |
| LLVM_MemClear | Lang.Crucible.LLVM.Extension |
| LLVM_PointerBlock | Lang.Crucible.LLVM.Extension |
| LLVM_PointerExpr | Lang.Crucible.LLVM.Extension |
| LLVM_PointerIte | Lang.Crucible.LLVM.Extension |
| LLVM_PointerOffset | Lang.Crucible.LLVM.Extension |
| LLVM_PopFrame | Lang.Crucible.LLVM.Extension |
| LLVM_PtrAddOffset | Lang.Crucible.LLVM.Extension |
| LLVM_PtrEq | Lang.Crucible.LLVM.Extension |
| LLVM_PtrLe | Lang.Crucible.LLVM.Extension |
| LLVM_PtrSubtract | Lang.Crucible.LLVM.Extension |
| LLVM_PushFrame | Lang.Crucible.LLVM.Extension |
| LLVM_ResolveGlobal | Lang.Crucible.LLVM.Extension |
| LLVM_SideConditions | Lang.Crucible.LLVM.Extension |
| LLVM_Store | Lang.Crucible.LLVM.Extension |
| llvm__isinffOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvm__isinfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvm__isnanfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvm__isnanOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| loadMaybeString | Lang.Crucible.LLVM.MemModel |
| loadRaw | Lang.Crucible.LLVM.MemModel |
| loadString | Lang.Crucible.LLVM.MemModel |
| LongDoubleConst | Lang.Crucible.LLVM.Translation |
| lookupAlias | Lang.Crucible.LLVM.TypeContext |
| lookupFileHandle | Lang.Crucible.LLVM.SymIO |
| lookupMetadata | Lang.Crucible.LLVM.TypeContext |
| LowerCase | Lang.Crucible.LLVM.Printf |
| LshrExact | Lang.Crucible.LLVM.Errors.Poison |
| LshrOp2Big | Lang.Crucible.LLVM.Errors.Poison |
| makeGlobalMap | Lang.Crucible.LLVM.Globals |
| MalformedLLVMModule | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MalformedLLVMModule |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MalformedLLVMModule |
| malformedLLVMModule | Lang.Crucible.LLVM.MalformedLLVMModule |
| mallocConstRaw | Lang.Crucible.LLVM.MemModel |
| mallocRaw | Lang.Crucible.LLVM.MemModel |
| maxAlignment | Lang.Crucible.LLVM.DataLayout |
| Mem | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemModel |
| 2 (Type/Class) | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
| 3 (Data Constructor) | Lang.Crucible.LLVM.MemModel.MemLog |
| MemAlloc | Lang.Crucible.LLVM.MemModel.MemLog |
| memAllocCount | |
| 1 (Function) | Lang.Crucible.LLVM.MemModel.Generic |
| 2 (Function) | Lang.Crucible.LLVM.MemModel |
| MemAllocs | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.MemLog |
| memAllocs | Lang.Crucible.LLVM.MemModel.Generic |
| MemArrayStore | Lang.Crucible.LLVM.MemModel.MemLog |
| MemChanges | Lang.Crucible.LLVM.MemModel.MemLog |
| MemCopy | Lang.Crucible.LLVM.MemModel.MemLog |
| MemCopyOp | Lang.Crucible.LLVM.Errors.MemoryError |
| memEndian | |
| 1 (Function) | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
| 2 (Function) | Lang.Crucible.LLVM.MemModel |
| memEndianForm | Lang.Crucible.LLVM.MemModel.MemLog |
| MemErrContext | Lang.Crucible.LLVM.Errors.MemoryError |
| MemFree | Lang.Crucible.LLVM.MemModel.MemLog |
| MemImpl | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemModel |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemModel |
| memImplBlockSource | Lang.Crucible.LLVM.MemModel |
| memImplGlobalMap | Lang.Crucible.LLVM.MemModel |
| memImplHandleMap | Lang.Crucible.LLVM.MemModel |
| memImplHeap | Lang.Crucible.LLVM.MemModel |
| memImplSymbolMap | Lang.Crucible.LLVM.MemModel |
| MemInvalidate | Lang.Crucible.LLVM.MemModel.MemLog |
| MemInvalidateOp | Lang.Crucible.LLVM.Errors.MemoryError |
| MemLoadHandleOp | Lang.Crucible.LLVM.Errors.MemoryError |
| MemLoadOp | Lang.Crucible.LLVM.Errors.MemoryError |
| memOpMem | Lang.Crucible.LLVM.Errors.MemoryError |
| MemOptions | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemModel |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemModel |
| MemoryError | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel.Partial |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel.Partial |
| memoryError | Lang.Crucible.LLVM.Errors |
| MemoryErrorReason | Lang.Crucible.LLVM.Errors.MemoryError |
| MemoryOp | Lang.Crucible.LLVM.Errors.MemoryError |
| memRepr | Lang.Crucible.LLVM.MemModel |
| MemSet | Lang.Crucible.LLVM.MemModel.MemLog |
| MemsetInvalidRegion | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| MemState | Lang.Crucible.LLVM.MemModel.MemLog |
| memState | Lang.Crucible.LLVM.MemModel.MemLog |
| MemStore | Lang.Crucible.LLVM.MemModel.MemLog |
| MemStoreBytesOp | Lang.Crucible.LLVM.Errors.MemoryError |
| MemStoreOp | Lang.Crucible.LLVM.Errors.MemoryError |
| MemType | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemType |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemType |
| memTypeAlign | Lang.Crucible.LLVM.MemType |
| memTypeBitwidth | Lang.Crucible.LLVM.MemType |
| memTypeSize | Lang.Crucible.LLVM.MemType |
| MemWrite | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemModel.MemLog |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.MemLog |
| memWriteCount | |
| 1 (Function) | Lang.Crucible.LLVM.MemModel.Generic |
| 2 (Function) | Lang.Crucible.LLVM.MemModel |
| MemWrites | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemModel.MemLog |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.MemLog |
| MemWritesChunk | Lang.Crucible.LLVM.MemModel.MemLog |
| MemWritesChunkFlat | Lang.Crucible.LLVM.MemModel.MemLog |
| MemWritesChunkIndexed | Lang.Crucible.LLVM.MemModel.MemLog |
| memWritesSingleton | Lang.Crucible.LLVM.MemModel.MemLog |
| mergeMem | Lang.Crucible.LLVM.MemModel.Generic |
| mergeWriteOperations | Lang.Crucible.LLVM.MemModel |
| MetadataType | Lang.Crucible.LLVM.MemType |
| mkArray | Lang.Crucible.LLVM.MemModel.Partial |
| mkMemVar | Lang.Crucible.LLVM.MemModel |
| mkNullPointer | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| mkStruct | Lang.Crucible.LLVM.MemModel.Partial |
| mkStructInfo | Lang.Crucible.LLVM.MemType |
| mkStructType | Lang.Crucible.LLVM.MemModel |
| mkTypeContext | Lang.Crucible.LLVM.TypeContext |
| modTransDefs | Lang.Crucible.LLVM.Translation |
| modTransHalloc | Lang.Crucible.LLVM.Translation |
| modTransModule | Lang.Crucible.LLVM.Translation |
| ModuleTranslation | Lang.Crucible.LLVM.Translation |
| MulNoSignedWrap | Lang.Crucible.LLVM.Errors.Poison |
| MulNoUnsignedWrap | Lang.Crucible.LLVM.Errors.Poison |
| Mutability | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| Mutable | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| muxLLVMPtr | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| muxLLVMVal | Lang.Crucible.LLVM.MemModel.Partial |
| muxMemAllocs | Lang.Crucible.LLVM.MemModel.MemLog |
| n0 | Lang.Crucible.LLVM.Arch.X86 |
| n1 | Lang.Crucible.LLVM.Arch.X86 |
| n128 | Lang.Crucible.LLVM.Arch.X86 |
| n2 | Lang.Crucible.LLVM.Arch.X86 |
| n256 | Lang.Crucible.LLVM.Arch.X86 |
| n3 | Lang.Crucible.LLVM.Arch.X86 |
| n32 | Lang.Crucible.LLVM.Arch.X86 |
| natBytesMul | Lang.Crucible.LLVM.Bytes |
| NeverFail | Lang.Crucible.LLVM.Intrinsics |
| nextBlock | Lang.Crucible.LLVM.MemModel |
| noAlignment | Lang.Crucible.LLVM.DataLayout |
| NoErr | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
| NoExplanation | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
| NoOverride | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel |
| NoSatisfyingWrite | Lang.Crucible.LLVM.Errors.MemoryError |
| notAliasable | Lang.Crucible.LLVM.MemModel.Generic |
| null | Lang.Crucible.LLVM.MemModel.CallStack.Internal, Lang.Crucible.LLVM.MemModel.CallStack |
| Offset | Lang.Crucible.LLVM.Bytes |
| OnlyAssertFail | Lang.Crucible.LLVM.Intrinsics |
| OpaqueType | Lang.Crucible.LLVM.MemType |
| openFile | Lang.Crucible.LLVM.SymIO |
| optLoopMerge | Lang.Crucible.LLVM.Translation |
| OverlappingRegions | Lang.Crucible.LLVM.Errors.MemoryError |
| OverrideTemplate | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Intrinsics |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Intrinsics |
| overrideTemplateAction | Lang.Crucible.LLVM.Intrinsics |
| overrideTemplateMatcher | Lang.Crucible.LLVM.Intrinsics |
| 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 |
| RawBitvector | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel |
| ReadBadAlignment | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| readFileHandle | Lang.Crucible.LLVM.SymIO |
| readMem | Lang.Crucible.LLVM.MemModel.Generic |
| registerFunPtr | Lang.Crucible.LLVM.Globals |
| registerGlobal | Lang.Crucible.LLVM.MemModel |
| registerLazyModule | Lang.Crucible.LLVM |
| registerLazyModuleFn | Lang.Crucible.LLVM |
| registerModule | Lang.Crucible.LLVM |
| registerModuleFn | Lang.Crucible.LLVM |
| register_1arg_polymorphic_override | Lang.Crucible.LLVM.Intrinsics |
| register_llvm_override | Lang.Crucible.LLVM.Intrinsics |
| register_llvm_overrides | Lang.Crucible.LLVM.Intrinsics, Lang.Crucible.LLVM |
| register_llvm_overrides_ | Lang.Crucible.LLVM.Intrinsics |
| RegOverrideM | Lang.Crucible.LLVM.Intrinsics |
| renderMalformedLLVMModule | Lang.Crucible.LLVM.MalformedLLVMModule |
| RetType | Lang.Crucible.LLVM.MemType |
| reverseAliases | Lang.Crucible.LLVM.Translation.Aliases |
| runCallStack | Lang.Crucible.LLVM.MemModel.CallStack.Internal |
| SDivByZero | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| SDivExact | Lang.Crucible.LLVM.Errors.Poison |
| SDivOverflow | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| selectHighBv | Lang.Crucible.LLVM.MemModel.Partial |
| selectLowBv | Lang.Crucible.LLVM.MemModel.Partial |
| setMem | Lang.Crucible.LLVM.MemModel.Generic |
| ShlNoSignedWrap | Lang.Crucible.LLVM.Errors.Poison |
| ShlNoUnsignedWrap | Lang.Crucible.LLVM.Errors.Poison |
| ShlOp2Big | Lang.Crucible.LLVM.Errors.Poison |
| showInstr | Lang.Crucible.LLVM.Translation |
| siFieldCount | Lang.Crucible.LLVM.MemType |
| siFieldInfo | Lang.Crucible.LLVM.MemType |
| siFieldOffset | Lang.Crucible.LLVM.MemType |
| siFields | Lang.Crucible.LLVM.MemType |
| siFieldTypes | Lang.Crucible.LLVM.MemType |
| siIndexOfOffset | Lang.Crucible.LLVM.MemType |
| siIsPacked | Lang.Crucible.LLVM.MemType |
| simpleLoopFixpoint | Lang.Crucible.LLVM.SimpleLoopFixpoint |
| simpleLoopInvariant | Lang.Crucible.LLVM.SimpleLoopInvariant |
| SingleSize | Lang.Crucible.LLVM.MemModel |
| sizeMemAllocs | Lang.Crucible.LLVM.MemModel.MemLog |
| SizeT | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| SomeAlloc | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| SomeFnHandle | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemModel |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemModel |
| SomeLLVMOverride | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Intrinsics |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Intrinsics |
| SomeOverrideSim | |
| 1 (Type/Class) | Lang.Crucible.LLVM.SymIO |
| 2 (Data Constructor) | Lang.Crucible.LLVM.SymIO |
| SomePointer | |
| 1 (Type/Class) | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| 2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| SRemByZero | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| SRemOverflow | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| StableSymbolic | Lang.Crucible.LLVM.MemModel |
| StackAlloc | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
| StackFrame | Lang.Crucible.LLVM.MemModel.MemLog |
| standard | Lang.Crucible.LLVM.Errors.Poison |
| StorageType | Lang.Crucible.LLVM.MemModel |
| StorageTypeF | Lang.Crucible.LLVM.MemModel |
| storageTypeF | Lang.Crucible.LLVM.MemModel |
| storageTypeSize | Lang.Crucible.LLVM.MemModel |
| storeConstRaw | Lang.Crucible.LLVM.MemModel |
| storeRaw | Lang.Crucible.LLVM.MemModel |
| StringConst | Lang.Crucible.LLVM.Translation |
| StringDirective | Lang.Crucible.LLVM.Printf |
| strLen | Lang.Crucible.LLVM.MemModel |
| Struct | Lang.Crucible.LLVM.MemModel |
| StructConst | Lang.Crucible.LLVM.Translation |
| StructInfo | Lang.Crucible.LLVM.MemType |
| StructType | Lang.Crucible.LLVM.MemType |
| SubNoSignedWrap | Lang.Crucible.LLVM.Errors.Poison |
| SubNoUnsignedWrap | Lang.Crucible.LLVM.Errors.Poison |
| SubstringsMatch | Lang.Crucible.LLVM.Intrinsics |
| SymbolConst | Lang.Crucible.LLVM.Translation |
| SymbolicPointer | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel |
| symio_overrides | Lang.Crucible.LLVM.SymIO |
| SymType | Lang.Crucible.LLVM.MemType |
| TemplateMatcher | Lang.Crucible.LLVM.Intrinsics |
| testBreakpointFunction | Lang.Crucible.LLVM.Translation |
| testEqual | Lang.Crucible.LLVM.MemModel |
| toAlignment | Lang.Crucible.LLVM.DataLayout |
| toBytes | Lang.Crucible.LLVM.Bytes |
| toStorableType | Lang.Crucible.LLVM.MemModel |
| totalLLVMVal | Lang.Crucible.LLVM.MemModel.Partial |
| transConstant | Lang.Crucible.LLVM.Translation |
| transConstant' | Lang.Crucible.LLVM.Translation |
| transConstantExpr | Lang.Crucible.LLVM.Translation |
| transConstantWithType | Lang.Crucible.LLVM.Translation |
| transContext | Lang.Crucible.LLVM.Translation |
| translateGEP | Lang.Crucible.LLVM.Translation |
| translateModule | Lang.Crucible.LLVM.Translation |
| TranslationOptions | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Translation |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Translation |
| traverseConds | Lang.Crucible.LLVM.Extension |
| TypeContext | Lang.Crucible.LLVM.TypeContext |
| typeContextFromModule | Lang.Crucible.LLVM.TypeContext |
| TypeMismatch | Lang.Crucible.LLVM.Errors.MemoryError |
| UDivByZero | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| UDivExact | Lang.Crucible.LLVM.Errors.Poison |
| unBytes | Lang.Crucible.LLVM.Bytes |
| Uncallable | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel |
| uncheckedMemcpy | Lang.Crucible.LLVM.MemModel |
| UndefConst | Lang.Crucible.LLVM.Translation |
| UndefinedBehavior | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| undefinedBehavior | Lang.Crucible.LLVM.Errors |
| undefinedBehavior' | Lang.Crucible.LLVM.Errors |
| UnexpectedArgumentType | Lang.Crucible.LLVM.Errors.MemoryError |
| unpackMemValue | Lang.Crucible.LLVM.MemModel |
| UnreadableRegion | Lang.Crucible.LLVM.Errors.MemoryError |
| UnstableSymbolic | Lang.Crucible.LLVM.MemModel |
| UnsupportedType | Lang.Crucible.LLVM.MemType |
| UnwritableRegion | Lang.Crucible.LLVM.Errors.MemoryError |
| UpperCase | Lang.Crucible.LLVM.Printf |
| URemByZero | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| VarArgs | Lang.Crucible.LLVM.Translation |
| VarargsFnHandle | Lang.Crucible.LLVM.MemModel |
| varArgsFunDecl | Lang.Crucible.LLVM.MemType |
| varArgsRepr | Lang.Crucible.LLVM.Translation |
| vectorAlignment | Lang.Crucible.LLVM.DataLayout |
| VectorConst | Lang.Crucible.LLVM.Translation |
| VecType | Lang.Crucible.LLVM.MemType |
| voidFunDecl | Lang.Crucible.LLVM.MemType |
| VoidType | Lang.Crucible.LLVM.MemType |
| VOp1 | Lang.Crucible.LLVM.Arch.X86 |
| VShiftL | Lang.Crucible.LLVM.Arch.X86 |
| vShiftL | Lang.Crucible.LLVM.Arch.X86 |
| VShufD | Lang.Crucible.LLVM.Arch.X86 |
| vShufD | Lang.Crucible.LLVM.Arch.X86 |
| withPtrWidth | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| writeArrayConstMem | Lang.Crucible.LLVM.MemModel.Generic |
| writeArrayMem | Lang.Crucible.LLVM.MemModel.Generic |
| WriteBadAlignment | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| writeConstMem | Lang.Crucible.LLVM.MemModel.Generic |
| writeFileHandle | Lang.Crucible.LLVM.SymIO |
| writeMem | Lang.Crucible.LLVM.MemModel.Generic |
| WriteMerge | Lang.Crucible.LLVM.MemModel.MemLog |
| writeRangesMem | Lang.Crucible.LLVM.MemModel.MemLog |
| WriteSource | Lang.Crucible.LLVM.MemModel.MemLog |
| X86 | Lang.Crucible.LLVM.Extension |
| X86Expr | Lang.Crucible.LLVM.Extension |
| X86Repr | Lang.Crucible.LLVM.Extension |
| X86_FP80 | Lang.Crucible.LLVM.MemModel |
| X86_FP80Size | Lang.Crucible.LLVM.MemModel |
| X86_FP80Type | Lang.Crucible.LLVM.MemType |
| x86_fp80Type | Lang.Crucible.LLVM.MemModel |
| ZeroConst | Lang.Crucible.LLVM.Translation |
| _argProfileInitialized | Lang.Crucible.LLVM.ArraySizeProfile |
| _argProfileSize | Lang.Crucible.LLVM.ArraySizeProfile |
| _funProfileArgs | Lang.Crucible.LLVM.ArraySizeProfile |
| _funProfileName | Lang.Crucible.LLVM.ArraySizeProfile |
| _llvmTypeCtx | Lang.Crucible.LLVM.Translation |
| _memState | Lang.Crucible.LLVM.MemModel.MemLog |
| |-> | Lang.Crucible.LLVM.Arch.Util |