From 03d8f4a997c6774f523aa30f9b5f4e05fe32b62a Mon Sep 17 00:00:00 2001 From: Dennis Hendriks Date: Thu, 1 Jul 2021 22:42:12 +0200 Subject: [PATCH 1/2] #131 Updated release notes for release v0.2. --- .../asciidoc/release-notes.asciidoc | 6 +++- .../asciidoc/release-notes.asciidoc | 29 ++++++++++++++++--- .../asciidoc/release-notes.asciidoc | 16 ++++++---- .../asciidoc/release-notes.asciidoc | 3 +- .../asciidoc/release-notes.asciidoc | 4 ++- 5 files changed, 44 insertions(+), 14 deletions(-) diff --git a/chi/org.eclipse.escet.chi.documentation/asciidoc/release-notes.asciidoc b/chi/org.eclipse.escet.chi.documentation/asciidoc/release-notes.asciidoc index daaa138a3..756da65f7 100644 --- a/chi/org.eclipse.escet.chi.documentation/asciidoc/release-notes.asciidoc +++ b/chi/org.eclipse.escet.chi.documentation/asciidoc/release-notes.asciidoc @@ -23,9 +23,13 @@ The release notes may refer to issues, the details for which can be found at the See also the Eclipse ESCET link:https://www.eclipse.org/escet/escet/#release-notes-chapter-index[toolkit release notes] covering those aspects that are common to the various Eclipse ESCET tools. + === Version 0.2 -TBD +Improvements and fixes: + +- Chi simulator no longer crashes when using the Eclipse Compiler for Java (ecj) as Java compiler (issue #46). + === Version 0.1 diff --git a/cif/org.eclipse.escet.cif.documentation/asciidoc/release-notes.asciidoc b/cif/org.eclipse.escet.cif.documentation/asciidoc/release-notes.asciidoc index 5daa8f3d1..5ab3928a2 100644 --- a/cif/org.eclipse.escet.cif.documentation/asciidoc/release-notes.asciidoc +++ b/cif/org.eclipse.escet.cif.documentation/asciidoc/release-notes.asciidoc @@ -23,9 +23,13 @@ The release notes may refer to issues, the details for which can be found at the See also the Eclipse ESCET link:https://www.eclipse.org/escet/escet/#release-notes-chapter-index[toolkit release notes] covering those aspects that are common to the various Eclipse ESCET tools. + === Version 0.2 -TBD +Language changes: + +- A switch case key must now have a type that is compatible (ignoring ranges) with the type of the switch value, rather than the type needing to be fully contained in the type of the switch value. +This is a backward compatible change (issue #105). Deprecations and removals: @@ -50,17 +54,34 @@ See the documentation of the PLC code generator for further details (issue #78). Improvements and fixes: - Various fixes for handling component definition/instantiation as well as references via component instantiations and component parameters (issues #25, #39 and #66). +- CIF type checker now properly detects cycles for algebraic variables and derivatives of continuous variables defined via equations per location of an automaton (issue #106). +- CIF to CIF 'eliminate the use of locations in expressions' transformation no longer generates location pointer variables for automata with exactly one location (issue #99). +- CIF to CIF linearize transformations no longer generate location pointer variables for automata with exactly one location (issue #99). - CIF to CIF linearize merge transformation no longer crashes for channels without a sender (issue #56). +- CIF to CIF 'component definition/instantiation' transformation no longer produces invalid results for models with algebraic parameters with `int` type instantiated with a constant value (issue #105). +- CIF simulator no longer crashes on enumeration literals that have a name that is a Java keyword (issue #104). +- CIF simulator initialization fixed to properly account for algebraic variables and derivatives of continuous variables defined via equations per location of an automaton (issue #106). - CIF simulator now correctly determines initial value for locations without initialization predicates, when those locations are used in initial values of variables (issue #37). - CIF simulator no longer crashes on assignments to dictionaries with non-int keys (issue #47). +- CIF simulator no longer crashes when using the Eclipse Compiler for Java (ecj) as Java compiler (issue #46). - CIF simulator is now more robust for larger numbers of state invariants in components (issue #49). +- CIF data-based synthesis now supports state/event exclusion plant invariants (issue #84). +- CIF data-based synthesis now properly ensures requirement invariants are rebranded as supervisor invariants in the synthesis output (issue #117). - CIF data-based synthesis documentation, debug output and warnings improved/fixed regarding invariants vs requirement invariants and controlled vs uncontrolled system (issue #83). +- CIF PLC code generator now supports state/event exclusion invariants (issue #94). +- CIF PLC code generator no longer generates location pointer variables for automata with exactly one location when performing linearization as preprocessing (issue #99). - CIF PLC code generator now creates output folder if it does not yet exist, rather than giving an error, if IEC 61131-3 output is requested (issue #74). - CIF PLC code generator documentation now correctly indicates the order in which CIF to CIF transformations are applied (issue #78). - CIF PLC code generator PLCOpen XML output fixes for PLC tasks (issue #75). -- CIF to mCRL2 transformation precondition check messages improved to avoid duplicates for multiple initial locations (issue #60). -- CIF to mCRL2 documentation updated to reflect that input variables are not supported (issue #59). -- CIF to Supremica and CIF to UPPAAL precondition check message wording for discrete variables with multiple potential initial values has been fixed (issue #58). +- CIF code generator now supports state/event exclusion invariants (issue #94). +- CIF code generator no longer generates location pointer variables for automata with exactly one location when performing linearization as preprocessing (issue #99). +- CIF to mCRL2 transformation now supports algebraic variables (issue #120). +- CIF to mCRL2 transformation precondition check messages and documentation improvements (issues #59, #60 and #120). +- CIF to Supremica precondition check message wording for discrete variables with multiple potential initial values has been fixed (issue #58). +- CIF to Supremica transformation now supports state/event exclusion invariants (issue #94). +- CIF to UPPAAL precondition check message wording for discrete variables with multiple potential initial values has been fixed (issue #58). +- CIF to UPPAAL transformation now supports state/event exclusion invariants (issue #94). +- CIF to UPPAAL transformation now supports algebraic variables and enumerations (issue #129). - CIF tutorial updated to remove explanation of list subtraction operator that doesn't exist in the language and implementation (issue #77). - CIF documentation updated to fix two broken links (issue #80). diff --git a/products/org.eclipse.escet.documentation/asciidoc/release-notes.asciidoc b/products/org.eclipse.escet.documentation/asciidoc/release-notes.asciidoc index 26cfe922a..e4e917f40 100644 --- a/products/org.eclipse.escet.documentation/asciidoc/release-notes.asciidoc +++ b/products/org.eclipse.escet.documentation/asciidoc/release-notes.asciidoc @@ -28,19 +28,23 @@ See also the release notes for the specific tools for more information: - link:https://www.eclipse.org/escet/tooldef/#release-notes-chapter-index[ToolDef release notes] - link:https://www.eclipse.org/escet/setext/#setext-readme-release-notes[SeText release notes] -=== Version 0.2 -TBD +=== Version 0.2 Improvements and fixes: - Various documentation updates, including simpler installation instructions (issues #30 and #31). -- This release is based on Java 11. -Java is now included again in the release and no longer needs to be installed separately (issues #29 and #30). -- Linux command line scripts now work from any directory rather than only from the `bin` directory that contains them (issue #88). +- Java 11 is now included in the release and Java thus no longer needs to be installed separately (issues #29 and #30). +- The Eclipse ESCET IDE now includes the Eclipse Marketplace (issue #71). +- Linux command line scripts now work properly from any directory rather than only from the `bin` directory that contains them (issue #88). - macOS releases are now packaged as `.dmg` files and with proper entitlements (issue #31). -- This release is based on Eclipse 2021-03 (issue #28). +- Eclipse ESCET downloads now contain a folder in the root of the archive, to properly support unpacking in e.g. a downloads directory (issue #87). +- This release is based on Eclipse 2021-06 (issues #28 and #121). +- Improved Eclipse ESCET download filenames (issues #87 and #92). +- Improved Eclipse ESCET version numbers in documentation, plugin/feature versions, and Eclipse ESCET IDE about dialog (issues #92 and #103). - Non-release builds now indicate they are a development build in the Eclipse About dialog (issue #26). +- Eclipse ESCET downloads for Linux previously included an 'executable' `about.html` file (issue #90). +- Crash reports now indicate where and how to report issues (issue #33). === Version 0.1 diff --git a/setext/org.eclipse.escet.setext.documentation/asciidoc/release-notes.asciidoc b/setext/org.eclipse.escet.setext.documentation/asciidoc/release-notes.asciidoc index e77e62ad8..50a5d1624 100644 --- a/setext/org.eclipse.escet.setext.documentation/asciidoc/release-notes.asciidoc +++ b/setext/org.eclipse.escet.setext.documentation/asciidoc/release-notes.asciidoc @@ -21,9 +21,8 @@ The release notes may refer to issues, the details for which can be found at the See also the Eclipse ESCET link:https://www.eclipse.org/escet/escet/#release-notes-chapter-index[toolkit release notes] covering those aspects that are common to the various Eclipse ESCET tools. -=== Version 0.2 -TBD +=== Version 0.2 Improvements and fixes: diff --git a/tooldef/org.eclipse.escet.tooldef.documentation/asciidoc/release-notes.asciidoc b/tooldef/org.eclipse.escet.tooldef.documentation/asciidoc/release-notes.asciidoc index 5395a0fa1..f2bcb04b7 100644 --- a/tooldef/org.eclipse.escet.tooldef.documentation/asciidoc/release-notes.asciidoc +++ b/tooldef/org.eclipse.escet.tooldef.documentation/asciidoc/release-notes.asciidoc @@ -23,9 +23,11 @@ The release notes may refer to issues, the details for which can be found at the See also the Eclipse ESCET link:https://www.eclipse.org/escet/escet/#release-notes-chapter-index[toolkit release notes] covering those aspects that are common to the various Eclipse ESCET tools. + === Version 0.2 -TBD +This release contains no specific changes for ToolDef. + === Version 0.1 -- GitLab From 3c864b1498a9f314a8fa8f65391c3e37b5a65df9 Mon Sep 17 00:00:00 2001 From: Dennis Hendriks Date: Fri, 2 Jul 2021 19:55:03 +0200 Subject: [PATCH 2/2] #131 Improved release notes for v0.2. --- .../asciidoc/release-notes.asciidoc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cif/org.eclipse.escet.cif.documentation/asciidoc/release-notes.asciidoc b/cif/org.eclipse.escet.cif.documentation/asciidoc/release-notes.asciidoc index 5ab3928a2..82bab4515 100644 --- a/cif/org.eclipse.escet.cif.documentation/asciidoc/release-notes.asciidoc +++ b/cif/org.eclipse.escet.cif.documentation/asciidoc/release-notes.asciidoc @@ -58,7 +58,6 @@ Improvements and fixes: - CIF to CIF 'eliminate the use of locations in expressions' transformation no longer generates location pointer variables for automata with exactly one location (issue #99). - CIF to CIF linearize transformations no longer generate location pointer variables for automata with exactly one location (issue #99). - CIF to CIF linearize merge transformation no longer crashes for channels without a sender (issue #56). -- CIF to CIF 'component definition/instantiation' transformation no longer produces invalid results for models with algebraic parameters with `int` type instantiated with a constant value (issue #105). - CIF simulator no longer crashes on enumeration literals that have a name that is a Java keyword (issue #104). - CIF simulator initialization fixed to properly account for algebraic variables and derivatives of continuous variables defined via equations per location of an automaton (issue #106). - CIF simulator now correctly determines initial value for locations without initialization predicates, when those locations are used in initial values of variables (issue #37). @@ -66,7 +65,8 @@ Improvements and fixes: - CIF simulator no longer crashes when using the Eclipse Compiler for Java (ecj) as Java compiler (issue #46). - CIF simulator is now more robust for larger numbers of state invariants in components (issue #49). - CIF data-based synthesis now supports state/event exclusion plant invariants (issue #84). -- CIF data-based synthesis now properly ensures requirement invariants are rebranded as supervisor invariants in the synthesis output (issue #117). +- CIF data-based synthesis now properly ensures requirement invariants are rebranded as supervisor invariants in the synthesis output. +Therefore, simulating a synthesized supervisor no longer gives warnings for simulating requirement invariants (issues #116 and #117). - CIF data-based synthesis documentation, debug output and warnings improved/fixed regarding invariants vs requirement invariants and controlled vs uncontrolled system (issue #83). - CIF PLC code generator now supports state/event exclusion invariants (issue #94). - CIF PLC code generator no longer generates location pointer variables for automata with exactly one location when performing linearization as preprocessing (issue #99). -- GitLab