escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2024-03-27T10:45:14Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/845#717 develop to master for v3.0-RC12024-03-27T10:45:14ZDennis Hendriks#717 develop to master for v3.0-RC1Addresses #717Addresses #717v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/843#792 CIF tutorial 'Variable overview' lesson: include input variables2024-03-26T17:10:20ZDennis Hendriks#792 CIF tutorial 'Variable overview' lesson: include input variables* Best to review the full diff, not per commit.
Closes #792* Best to review the full diff, not per commit.
Closes #792v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/842#717 Update release notes for v3.0-RC1.2024-03-27T10:42:51ZDennis Hendriks#717 Update release notes for v3.0-RC1.Addresses #717Addresses #717v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/840#791 Use ESCET logo/icon in ESCET IDE2024-03-26T07:24:11ZDennis Hendriks#791 Use ESCET logo/icon in ESCET IDE* Best to review per commit.
* Changes:
* Added ESCET icon as perspective icon, feature image, window images.
* Added a new about dialog image.
* Added a new splash screen image.
* Added 96x96 pixels version of the ESCET icon.
...* Best to review per commit.
* Changes:
* Added ESCET icon as perspective icon, feature image, window images.
* Added a new about dialog image.
* Added a new splash screen image.
* Added 96x96 pixels version of the ESCET icon.
* Added ESCET icon .ico file.
* Added ESCET icon to ESCET IDE Windows launcher.
* No icon yet for ESCET IDE Linux/macOS launcher. They require an XPM and ICNS icon, and I don't know how to make those.
Closes #791v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/838#791 Use ESCET logo in relevant places on the website2024-03-24T10:50:29ZDennis Hendriks#791 Use ESCET logo in relevant places on the website* Best to review per commit.
* Uses the new logo on the website:
* On the home page.
* As favicon on static pages.
* As favicon on documentation pages.
* In the icon selector dropdown menu.
* I've also add the icon in various res...* Best to review per commit.
* Uses the new logo on the website:
* On the home page.
* As favicon on static pages.
* As favicon on documentation pages.
* In the icon selector dropdown menu.
* I've also add the icon in various resolutions. I used them for the website, but we'll also need them for the IDE in a next merge request for this issue.
Addresses #791v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/837#227 Updated CIF documentation for SVG input mappings with updates2024-03-25T20:36:14ZFerdie Reijnen#227 Updated CIF documentation for SVG input mappings with updatesAddresses #227Addresses #227v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/836#227 Fixed metamodel documentation for assignments2024-03-22T12:42:39ZFerdie Reijnen#227 Fixed metamodel documentation for assignmentsAddresses #227Addresses #227v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/835#227 Added to simplify value docs that 'if' and 'elif' updates in SVG input m...2024-03-20T20:09:56ZFerdie Reijnen#227 Added to simplify value docs that 'if' and 'elif' updates in SVG input mappings may be simplified.Addresses #227Addresses #227v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/834#364 Add wafer_scanner CIF benchmark model + generator2024-03-22T07:38:17ZDennis Hendriks#364 Add wafer_scanner CIF benchmark model + generator* Best to review per commit.
* Added:
* Generator to generate `wafer_scanner` benchmark models with n = 1-7 production wafers (besides 2 dummy wafers).
* Generated models for n = 1 and n = 2. The rest can be generated additionally.
...* Best to review per commit.
* Added:
* Generator to generate `wafer_scanner` benchmark models with n = 1-7 production wafers (besides 2 dummy wafers).
* Generated models for n = 1 and n = 2. The rest can be generated additionally.
* Benchmark script for n = 1 only, as that is currently difficult enough to synthesize, compared to the other benchmarks.
* Changes compared to original generator:
* Some things are in a slightly different order, due to use of ordered vs unordered sets/dicts/etc. But, for n = 1, the state spaces of the synthesized supervisors are language equivalent.
* Generated models had warnings due to having plants that refer to requirement state. The requirement is therefore split into a monitor and requirement, similar to what the synthesis tool now does under the hood. The original author agrees. The resulting supervisor state space for n = 1 is language equivalent to the one before this change.
* Other notes:
* Certain events are always disabled in the uncontrolled system or in the controlled system. This is by design. This is confirmed by the original author.
* The original first author is OK with contributing this to ESCET.
Addresses #364v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/833#227 CIF merger: check that SVG input mappings with updates are still valid a...2024-03-20T12:08:24ZFerdie Reijnen#227 CIF merger: check that SVG input mappings with updates are still valid after mergingAddresses #227Addresses #227v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/832#777 Add Eclipse ESCET logo2024-03-21T11:54:11ZDennis Hendriks#777 Add Eclipse ESCET logo* Best to review per commit.
Closes #777* Best to review per commit.
Closes #777v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/831#593 Allow annotations on constants2024-03-18T10:21:15ZDennis Hendriks#593 Allow annotations on constants* Best to review per commit.
* Notable changes besides allowing annotations on constants:
* CIF code generator: No postfix comments for C89/C99/Simulink anymore for constants. Is similar to other declarations that got annotations.
* ...* Best to review per commit.
* Notable changes besides allowing annotations on constants:
* CIF code generator: No postfix comments for C89/C99/Simulink anymore for constants. Is similar to other declarations that got annotations.
* `EventsPostChecker`: fixed a typo in a JavaDoc.
Addresses #593v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/829#227 Ensure CIF edge-related checks only consider edges (and not SVG input ma...2024-03-18T13:15:53ZFerdie Reijnen#227 Ensure CIF edge-related checks only consider edges (and not SVG input mappings)Addresses #227Addresses #227v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/828#227 Event disabler now handles SVG input mappings without events2024-03-17T17:19:58ZFerdie Reijnen#227 Event disabler now handles SVG input mappings without eventsAddresses #227Addresses #227v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/827#227 CIF to CIF 'Eliminate if updates' transformation: support SVG input mapp...2024-03-18T14:24:40ZFerdie Reijnen#227 CIF to CIF 'Eliminate if updates' transformation: support SVG input mappings with updates* CIF to CIF 'Eliminate if updates' transformation: support SVG input mappings with updates, and eliminate 'if' updates there as well.
* Also fixes `CifAddressableUtils` for input variables, as well as some JavaDoc fixes.
* Also fixes a ...* CIF to CIF 'Eliminate if updates' transformation: support SVG input mappings with updates, and eliminate 'if' updates there as well.
* Also fixes `CifAddressableUtils` for input variables, as well as some JavaDoc fixes.
* Also fixes a JavaDoc in `ElimIfUpdates`.
Addresses #227v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/826#227 CIF code generator for HTML does not yet support SVG input mappings with...2024-03-18T19:43:26ZFerdie Reijnen#227 CIF code generator for HTML does not yet support SVG input mappings with updates* Adds a new check for checking this condition, and a test for it.
* Adds the check to the CIF code generator, and documents the new precondition.
* Fixes a typo in the CIF code generator documentation.
Addresses #227* Adds a new check for checking this condition, and a test for it.
* Adds the check to the CIF code generator, and documents the new precondition.
* Fixes a typo in the CIF code generator documentation.
Addresses #227v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/825#227 CIF simulator does not yet support SVG input mappings with updates2024-03-18T13:21:38ZFerdie Reijnen#227 CIF simulator does not yet support SVG input mappings with updatesAddresses #227Addresses #227v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/823#782 PLCgen: Improve documentation in the transition code2024-03-26T11:11:39ZAlbert Hofkamp#782 PLCgen: Improve documentation in the transition codeReadable by commit, the last 2 are big as they update resp add a test.
A unit test evolves with the commits to see what gets changed in the output.
Adds
- A header with involved automata in an event.
- List of edges being considered fo...Readable by commit, the last 2 are big as they update resp add a test.
A unit test evolves with the commits to see what gets changed in the output.
Adds
- A header with involved automata in an event.
- List of edges being considered for the various steps in the process.
- Single line comments what the next code is doing or what conclusions can be drawn.
- `channel.cif` test with senders, receivers, syncers and monitors.
Closes #782v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/822#779 Java formatter: no longer format single line comments.2024-03-12T14:18:27ZDennis Hendriks#779 Java formatter: no longer format single line comments.* Best to review per commit.
* Changes:
* Java formatter: no longer format single line comments.
* Checkstyle: check for space after start of single line comment. Some exceptions:
* Allow `//` at the end of a line.
* Allow `/...* Best to review per commit.
* Changes:
* Java formatter: no longer format single line comments.
* Checkstyle: check for space after start of single line comment. Some exceptions:
* Allow `//` at the end of a line.
* Allow `///`-like headers.
* Only check if space before comment, to allow URLs (`https://...`, `tooldef://...`) etc.
* Fix few single-line comments that violate the new Checkstyle rule.
Closes #779v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/821#593 Allow annotations on algebraic variables2024-03-12T14:12:45ZDennis Hendriks#593 Allow annotations on algebraic variables* Best to review per commit.
* Some additional changes for the CIF code generator:
* C89/C99/Simulink code generation: algebraic variable JavaDocs now end with `.`, not `;`.
* C89/C99/Simulink code generation: algebraic variable Java...* Best to review per commit.
* Some additional changes for the CIF code generator:
* C89/C99/Simulink code generation: algebraic variable JavaDocs now end with `.`, not `;`.
* C89/C99/Simulink code generation: algebraic variable JavaDocs had a newline too many.
* C89/C99 code generation: algebraic variable JavaDocs are now on a single line if the algebraic variable has no documentation annotations.
Addresses #593v3.0