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

crucible-llvm-0.6: 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 - B

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