CROSSINGTUD / CryptSL

https://eclipse.org/cognicrypt/documentation/crysl/

Eclipse Public License 2.0

6 stars 5 forks source link

ENSURES constraints #28

Closed AndreSonntag closed 5 years ago

AndreSonntag commented 5 years ago

Description

The pull requests need to be accepted in the following order:

CryptSL
CryptoAnalysis
CogniCrypt

This pull request contains:

adjustments to the CrySL grammar file: constraints for the ENSURES section

Fixes # (issue) https://github.com/CROSSINGTUD/CryptoAnalysis/issues/80

Type of change

[x] New feature (non-breaking change which adds functionality)