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

crucible-llvm-0.7.1: 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 - E

emptyChanges	Lang.Crucible.LLVM.MemModel.MemLog
EmptyMem	Lang.Crucible.LLVM.MemModel.MemLog
emptyMem
1 (Function)	Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic
2 (Function)	Lang.Crucible.LLVM.MemModel
EndianForm	Lang.Crucible.LLVM.DataLayout
Eq	Lang.Crucible.LLVM.Errors.UndefinedBehavior
Err	Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel
eval	Lang.Crucible.LLVM.Arch.X86
ExactMatch	Lang.Crucible.LLVM.Intrinsics
executeDirectives	Lang.Crucible.LLVM.Printf
ExecutionFeatureContext
1 (Type/Class)	Lang.Crucible.LLVM.SimpleLoopFixpointCHC
2 (Data Constructor)	Lang.Crucible.LLVM.SimpleLoopFixpointCHC
executionFeatureContextFixpointStates	Lang.Crucible.LLVM.SimpleLoopFixpointCHC
executionFeatureContextInvPreds	Lang.Crucible.LLVM.SimpleLoopFixpointCHC
executionFeatureContextLoopFunEquivConds	Lang.Crucible.LLVM.SimpleLoopFixpointCHC
explain
1 (Function)	Lang.Crucible.LLVM.Errors.Poison
2 (Function)	Lang.Crucible.LLVM.Errors.MemoryError
3 (Function)	Lang.Crucible.LLVM.Errors.UndefinedBehavior
explainBB	Lang.Crucible.LLVM.Errors
explainCex	Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel
explodeStringValue	Lang.Crucible.LLVM.MemModel
exponentToAlignment	Lang.Crucible.LLVM.DataLayout
extra	Lang.Crucible.LLVM.Errors
ExtractElementIndex	Lang.Crucible.LLVM.Errors.Poison
ExtX86	Lang.Crucible.LLVM.Arch.X86