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/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/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/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/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/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/820#781 PLCgen: Reduce some test duplication.2024-03-24T21:03:37ZAlbert Hofkamp#781 PLCgen: Reduce some test duplication.- Introduces a way to specify a subset of targets for a test.
- Limits testing on "prechecker.cif", "options.cif" and "option_max_iter_inf.cif"
- Drops old "--convert-enums" override, as the targets have this information instead.
Fixes ...- Introduces a way to specify a subset of targets for a test.
- Limits testing on "prechecker.cif", "options.cif" and "option_max_iter_inf.cif"
- Drops old "--convert-enums" override, as the targets have this information instead.
Fixes #781v3.0Albert HofkampAlbert Hofkamphttps://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/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/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/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/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/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/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/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/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/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/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/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/720#227 Allow assigning input variables via SVG input mapping2024-03-14T21:05:53ZFerdie Reijnen#227 Allow assigning input variables via SVG input mappingIt has been a while since we worked on this. What I want to do:
* Implement idea U1 from https://gitlab.eclipse.org/eclipse/escet/escet/-/issues/203#note_273350 / #227
* Extend metamodel to a minimum
* Update `SvgIn` element, make `e...It has been a while since we worked on this. What I want to do:
* Implement idea U1 from https://gitlab.eclipse.org/eclipse/escet/escet/-/issues/203#note_273350 / #227
* Extend metamodel to a minimum
* Update `SvgIn` element, make `event` optional and make `updates` with \[0..\*\]. Parser should enforce one of the two is present.
* Reuse `Update` element from `Automaton`.
* Extend parser to a minimum
* Allow update to have general name, not just an identifier (was done in !190, that was never merged to develop, I will redo it).
* Implement `@SVGINKW IDKW Expression DOKW Updates OptSvgFile @SEMICOLTK`
* For now, don't implement `@SVGINKW IDKW Expression EVENTKW SvgInEvent DOKW Updates OptSvgFile @SEMICOLTK`
What still needs to be done:
* Everything related to simulator code.
* Everything related to HTML code generation.
* Tests for ~the typechecker~ and merge.
* ~Update Metamodel diagram images.~
* ~Update LaTeX documentation.~
* Update common methods (if applicable).
* Update CIF to CIF transformations and other tools.
* The CIF merger would not be able to merge an `svgin` assignment with another specification that provides a non-input variable to be merged with the input variable, as then the `svgin` mapping would assign a non-input variable.
* Update CIF documentation.
* Update CIF example.
Addresses #227v3.0