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

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

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