All third-party content is reviewed and certified as license-compatible with the project license.
This minor release introduces the following new features
See Eclipse ESCET GitLab v0.3 issues for more information.
This release comprises a publish of the Eclipse Temurin binaries in line with the OpenJDK July 2021 PSU Quarterly update.
The binaries will be based upon OpenJDK 8u, 11u, and 16u code levels tagged as "jdk8u302-ga", "jdk-11.0.12-ga", "jdk-16.0.2-ga". That is the July 20, 2021, GA code level.
Supported platforms will be MacOS 64-bit Intel, Windows 64-bit Intel, and Linux 64-bit Intel.
Support for name spaces.
Improvement of test generation
Changes in this version:
The target platform of StatET 4.5.0 is the Eclipse IDE 2021-12.