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

Index - C

CAnnLanguage.While.Syntax
CAssignLanguage.While.Syntax
castVarSymLanguage.Verification.Core, Language.Verification
chainSubLanguage.Verification.Conditions
checkPartialHoareLanguage.While.Hoare.Prover
choiceToUnionLanguage.Expression.Choice
ChooseOpLanguage.Expression.Choice
chooseOpLanguage.Expression.Choice
CIfLanguage.While.Syntax
cmdAnnSeqLanguage.Verification.Conditions
CmdAssignLanguage.Verification.Conditions
CommandLanguage.While.Syntax
CSeqLanguage.While.Syntax
CSkipLanguage.While.Syntax
CWhileLanguage.While.Syntax