crucible-llvm-0.8.0.0: Support for translating and executing LLVM code in Crucible (Index - R)

crucible-llvm-0.8.0.0: Support for translating and executing LLVM code in Crucible

A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
X
Z
|
_
All

Index - R

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.Functions
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_1arg_vec_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
renderMalformedLLVMModule	Lang.Crucible.LLVM.MalformedLLVMModule
RetType	Lang.Crucible.LLVM.MemType
reverseAliases	Lang.Crucible.LLVM.Translation.Aliases
runByteChecker	Lang.Crucible.LLVM.MemModel.Strings
runByteLoader	Lang.Crucible.LLVM.MemModel.Strings
runCallStack	Lang.Crucible.LLVM.MemModel.CallStack.Internal
runMakeOverride	Lang.Crucible.LLVM.Intrinsics