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 daaa138a301c819ae7592cb7e9ada6ce1e9f3469..756da65f7a2e69d35990b5e419920bf0df1bf2fd 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 5daa8f3d1ca03053ca3c0f94fae851f8baf0938a..82bab4515a85cff11d6f59229f8cf7eae3e4be37 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 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. +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). - 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 26cfe922af6e5c239e57f31a58966084e2d85ae7..e4e917f405f3d8b505de8e8ebf7450e9b5a357f9 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 e77e62ad8a6bf1a17c1ecea9f417908a7006f958..50a5d162402a39cebaf41e69055ca3f56a968cc1 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 5395a0fa16b1dabe47d185693948574eb53ce2ff..f2bcb04b7ae487b4051561656c52b66eb88f444f 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