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

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

SDivByZero	Lang.Crucible.LLVM.Errors.UndefinedBehavior
SDivExact	Lang.Crucible.LLVM.Errors.Poison
SDivOverflow	Lang.Crucible.LLVM.Errors.UndefinedBehavior
selectHighBv	Lang.Crucible.LLVM.MemModel.Partial
selectLowBv	Lang.Crucible.LLVM.MemModel.Partial
setMem	Lang.Crucible.LLVM.MemModel.Generic
ShlNoSignedWrap	Lang.Crucible.LLVM.Errors.Poison
ShlNoUnsignedWrap	Lang.Crucible.LLVM.Errors.Poison
ShlOp2Big	Lang.Crucible.LLVM.Errors.Poison
showInstr	Lang.Crucible.LLVM.Translation
siFieldCount	Lang.Crucible.LLVM.MemType
siFieldInfo	Lang.Crucible.LLVM.MemType
siFieldOffset	Lang.Crucible.LLVM.MemType
siFields	Lang.Crucible.LLVM.MemType
siFieldTypes	Lang.Crucible.LLVM.MemType
siIndexOfOffset	Lang.Crucible.LLVM.MemType
siIsPacked	Lang.Crucible.LLVM.MemType
simpleLoopFixpoint	Lang.Crucible.LLVM.SimpleLoopFixpoint
simpleLoopInvariant	Lang.Crucible.LLVM.SimpleLoopInvariant
SingleSize	Lang.Crucible.LLVM.MemModel
sizeMemAllocs	Lang.Crucible.LLVM.MemModel.MemLog
SizeT	Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel
SomeAlloc
1 (Type/Class)	Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel
2 (Data Constructor)	Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel
SomeFnHandle
1 (Type/Class)	Lang.Crucible.LLVM.MemModel
2 (Data Constructor)	Lang.Crucible.LLVM.MemModel
SomeLLVMOverride
1 (Type/Class)	Lang.Crucible.LLVM.Intrinsics
2 (Data Constructor)	Lang.Crucible.LLVM.Intrinsics
SomeOverrideSim
1 (Type/Class)	Lang.Crucible.LLVM.SymIO
2 (Data Constructor)	Lang.Crucible.LLVM.SymIO
SomePointer
1 (Type/Class)	Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel
2 (Data Constructor)	Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel
SRemByZero	Lang.Crucible.LLVM.Errors.UndefinedBehavior
SRemOverflow	Lang.Crucible.LLVM.Errors.UndefinedBehavior
StableSymbolic	Lang.Crucible.LLVM.MemModel
StackAlloc	Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel
StackFrame	Lang.Crucible.LLVM.MemModel.MemLog
standard	Lang.Crucible.LLVM.Errors.Poison
StorageType	Lang.Crucible.LLVM.MemModel
StorageTypeF	Lang.Crucible.LLVM.MemModel
storageTypeF	Lang.Crucible.LLVM.MemModel
storageTypeSize	Lang.Crucible.LLVM.MemModel
storeConstRaw	Lang.Crucible.LLVM.MemModel
storeRaw	Lang.Crucible.LLVM.MemModel
StringConst	Lang.Crucible.LLVM.Translation
StringDirective	Lang.Crucible.LLVM.Printf
strLen	Lang.Crucible.LLVM.MemModel
Struct	Lang.Crucible.LLVM.MemModel
StructConst	Lang.Crucible.LLVM.Translation
StructInfo	Lang.Crucible.LLVM.MemType
StructType	Lang.Crucible.LLVM.MemType
SubNoSignedWrap	Lang.Crucible.LLVM.Errors.Poison
SubNoUnsignedWrap	Lang.Crucible.LLVM.Errors.Poison
SubstringsMatch	Lang.Crucible.LLVM.Intrinsics
SymbolConst	Lang.Crucible.LLVM.Translation
SymbolicPointer	Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel
symio_overrides	Lang.Crucible.LLVM.SymIO
SymType	Lang.Crucible.LLVM.MemType