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

verifiable-expressions-0.6.1: 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 - A

abstract	Language.Expression.Scope
abstractTraverse	Language.Expression.Scope
Add	Language.Expression.Example
allowQuantifiedQueries	Language.Verification
allSatMaxModelCount	Language.Verification
allSatPrintAlong	Language.Verification
AnnCommand	Language.While.Hoare
Annotation	Language.Verification.Conditions
AnnSeq	Language.Verification.Conditions
AsOp
1 (Type/Class)	Language.Expression.Choice
2 (Data Constructor)	Language.Expression.Choice
Assignment
1 (Type/Class)	Language.Verification.Conditions
2 (Data Constructor)	Language.Verification.Conditions
assignVCs	Language.Verification.Conditions