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

Index - A

abstractLanguage.Expression.Scope
abstractTraverseLanguage.Expression.Scope
AddLanguage.Expression.Example
allowQuantifiedQueriesLanguage.Verification
allSatMaxModelCountLanguage.Verification
allSatPrintAlongLanguage.Verification
AnnCommandLanguage.While.Hoare
AnnotationLanguage.Verification.Conditions
AnnSeqLanguage.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
assignVCsLanguage.Verification.Conditions