Releases: CROSSINGTUD/CryptSL
Releases · CROSSINGTUD/CryptSL
4.0.0
3.0.2
CrySL 3.0.1
-Important dependency updates
CrySL 3.0.0
- Rework and clean up of CrySL language.
- Set minimum required version to Java 11
- Compatible with CryptoAnalysis 3.0.0
Release 2.0.1
Contains the public API changes
PredLit::getCons():Constraint --> PredLit::getCons():EObject
PredLit::setCons(Constraint) --> PredLit::setCons(EObject)