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