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

Index - O

oneStepLanguage.While.Syntax
OpLanguage.Expression.GeneralOp
OpAddLanguage.While.Syntax
OpAndLanguage.While.Syntax
OpChoiceLanguage.Expression.Choice
OpEqLanguage.While.Syntax
OpGELanguage.While.Syntax
OpGTLanguage.While.Syntax
OpLELanguage.While.Syntax
OpLitLanguage.While.Syntax
OpLTLanguage.While.Syntax
OpMulLanguage.While.Syntax
OpNotLanguage.While.Syntax
OpOrLanguage.While.Syntax
OpSubLanguage.While.Syntax
OpThatLanguage.Expression.Choice
OpThisLanguage.Expression.Choice
optimizeValidateConstraintsLanguage.Verification