verifiable-expressions-0.4.0: An intermediate language for Hoare logic style verification. (Index - S)

verifiable-expressions-0.4.0: An intermediate language for Hoare logic style verification.

A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
*
.
\
^
_
All

Index - S

satCmd	Language.Verification
Scope
1 (Type/Class)	Language.Expression.Scope
2 (Data Constructor)	Language.Expression.Scope
Scoped
1 (Type/Class)	Language.Expression.Scope
2 (Data Constructor)	Language.Expression.Scope
sequenceVCs	Language.Verification.Conditions
SFree	Language.Expression.Scope
SimpleExpr	Language.Expression.Example
SimpleOp	Language.Expression.Example
SimpleVar
1 (Type/Class)	Language.Expression.Example
2 (Data Constructor)	Language.Expression.Example
skipVCs	Language.Verification.Conditions
SMTConfig
1 (Data Constructor)	Language.Verification
2 (Type/Class)	Language.Verification
smtLibVersion	Language.Verification
solver	Language.Verification
solverSetOptions	Language.Verification
SomeSym
1 (Type/Class)	Language.Verification.Core
2 (Data Constructor)	Language.Verification.Core
splitSeq	Language.While.Hoare
SPure	Language.Expression.Scope
squashExpression	Language.Expression.Choice
StepResult	Language.While.Syntax
subAssignment	Language.Verification.Conditions
SubsetOp	Language.Expression.Choice
subsetOp	Language.Expression.Choice
subVar	Language.Verification.Core, Language.Verification
SWrap	Language.Expression.Scope
symbolVar	Language.Verification.Core
symForVar	Language.Verification.Core, Language.Verification