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

Index - D

defaultSMTCfgLanguage.Verification
dsatPrecisionLanguage.Verification