Bug fix release for participation in release train for Eclipse 2019.09
Type B - Full IP Due Diligience (License, Provenance, Scanning)
All third-party content is reviewed and certified as license-compatible with the project license, and has had the provenance validated and content scanned for anomalies by the Eclipse IP Team.
Improved support for contract-based analysis and model checking (integration with OCRA; nuXmv, xSAP tools)
New feature about CHESS-Mobius integration.
CHESSML dependability profile extended with security concerns.
Set up of Tycho/Maven.
The Eclipse Triquetrum 0.3.0 release includes:
- An updated version of the Ptolemy II runtime that included minor bug fixes to Ptolemy II since the previous Triquetrum 0.2.1 release in December 2017. See the ptII osgi-2-0 commits for a complete list of changes.
- Support for Eclipse 2019-09
- Support for JDK 1.8 and JDK 13
- Updated to EPL-2.0