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

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

liftScope	Language.Expression.Scope
liftSymbolic	Language.Verification.Core
lit	Language.Expression.Example
Literal	Language.Expression.Example
LogAnd	Language.Expression.Prop, Language.Verification.Conditions
LogEquiv	Language.Expression.Prop, Language.Verification.Conditions
LogicOp	Language.Expression.Prop, Language.Verification.Conditions
LogImpl	Language.Expression.Prop, Language.Verification.Conditions
LogLit	Language.Expression.Prop, Language.Verification.Conditions
LogNot	Language.Expression.Prop, Language.Verification.Conditions
LogOr	Language.Expression.Prop, Language.Verification.Conditions
lookupVar	Language.While.Syntax