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 |