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

Index - E

emptyAnnSeqLanguage.Verification.Conditions
EqualLanguage.Expression.Example
eqVarTypesLanguage.Verification.Core, Language.Verification
evalManyLanguage.Expression.GeneralOp
EvalOpAtLanguage.Expression.GeneralOp
evalPropLanguage.Verification.Core, Language.Verification
evalProp'Language.Verification.Core, Language.Verification
evalPropSimpleLanguage.Verification.Core, Language.Verification
evalSimpleExprSymbolicLanguage.Expression.Example
evalVarSymbolicLanguage.Expression.Example
evalWhileExprLanguage.While.Syntax
evalXOrYLanguage.Expression.Example
exampleExprLanguage.Expression.Example
exampleExpr2Language.Expression.Example
examplePredicateLanguage.Expression.Example
exprLanguage.Expression.Prop, Language.Verification.Conditions