escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2024-03-18T13:15:53Zhttps://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.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/819#681 PLCgen: Improve prechecking error reports (addon)2024-03-14T13:51:02ZDennis Hendriks#681 PLCgen: Improve prechecking error reports (addon)* Best to review per commit.
* Attempt to get a solution for !798. This targets the branch of that merge request.
* Made the messages as specific as I can think of.
* Extended the test model, to cover all cases I can think of.
Addresses...* Best to review per commit.
* Attempt to get a solution for !798. This targets the branch of that merge request.
* Made the messages as specific as I can think of.
* Extended the test model, to cover all cases I can think of.
Addresses #681v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/817#776 Website version switcher: include all preview versions after last release2024-02-21T07:53:40ZDennis Hendriks#776 Website version switcher: include all preview versions after last releaseCloses #776Closes #776v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/816#269 Make UnsupportedPredicateException public.2024-02-20T16:21:27ZDennis Hendriks#269 Make UnsupportedPredicateException public.* Very small follow-up to !814. I forgot to make `UnsupportedPredicateException` public, and it is a checked exception thrown by some of the methods I made public in `CifToBddConverter`. When calling them, this exception must be caught. ...* Very small follow-up to !814. I forgot to make `UnsupportedPredicateException` public, and it is a checked exception thrown by some of the methods I made public in `CifToBddConverter`. When calling them, this exception must be caught. But since it is private, that code won't compile. So, make this public as well.
Addresses #269v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/815#716 develop to master for v3.0-M12024-02-20T11:09:41ZDennis Hendriks#716 develop to master for v3.0-M1Addresses #716Addresses #716v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/814#269 Allow converting more/extra updates/predicates/expressions.2024-02-20T14:35:46ZDennis Hendriks#269 Allow converting more/extra updates/predicates/expressions.* Small changes needed for our research.
* Made a few methods public in the conversion class, to allow converting more updates/predicates/expressions/etc after the regular conversion.
* Needed to make a few methods static as well, to all...* Small changes needed for our research.
* Made a few methods public in the conversion class, to allow converting more updates/predicates/expressions/etc after the regular conversion.
* Needed to make a few methods static as well, to allow invoking them outside/after the regular conversion.
* The `problems` become parameters then. This should change to a proper precondition checker using our new checker framework later on, but that is out-of-scope here.
Addresses #269v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/813#593 Allow annotations on continuous variables.2024-02-19T19:18:32ZDennis Hendriks#593 Allow annotations on continuous variables.* Best to review per commit.
* Allow annotations on continuous variables.
Addresses #593* Best to review per commit.
* Allow annotations on continuous variables.
Addresses #593v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/812#757 Test models produced by CIF tools in integration tests for being valid (...2024-02-19T19:18:55ZDennis Hendriks#757 Test models produced by CIF tools in integration tests for being valid (part 3, event-based toolset)* I applied the same changes as for other scripts here as well. All in the same way.
* Best to review per commit.
Addresses #757* I applied the same changes as for other scripts here as well. All in the same way.
* Best to review per commit.
Addresses #757v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/811#716 Updated release notes for v3.0-M1.2024-02-20T10:00:34ZDennis Hendriks#716 Updated release notes for v3.0-M1.Addresses #716Addresses #716v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/809#437 Website deployment: fix updating the '.versions' file.2024-02-16T07:52:31ZDennis Hendriks#437 Website deployment: fix updating the '.versions' file.Addresses #437Addresses #437v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/808#757 Test models produced by CIF tools in integration tests for being valid (...2024-02-15T10:46:57ZDennis Hendriks#757 Test models produced by CIF tools in integration tests for being valid (2nd part)* Best to review per commit.
* This is the 2nd round. More to follow later, see #757.
Addresses #757* Best to review per commit.
* This is the 2nd round. More to follow later, see #757.
Addresses #757v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/807#437 Allow easy switching between website versions2024-02-15T10:49:06ZDennis Hendriks#437 Allow easy switching between website versions* Best to review per commit.
* Changes:
* Adds version switcher to the top-right of the 12 fixed website pages. Separated the version number and release notes links to make this possible. Only some versions are shown in the dropdown me...* Best to review per commit.
* Changes:
* Adds version switcher to the top-right of the 12 fixed website pages. Separated the version number and release notes links to make this possible. Only some versions are shown in the dropdown menu, to prevent a very long list.
* The list of versions is obtained through JavaScript, from a `.versions` file on the website. This file does not exist yet. It will be added once this merge request is approved, and before it is merged. After that, the file will be automatically updated when a new website version is added or removed.
* Improved styling of dropdown menus, also for existing ones.
* Added a `versions.html` fixed website page that lists all website versions.
* Added link from `download.html` to `versions.html`.
* Testing this is somewhat difficult. I'll explain that in a separate comment, with examples of what it looks like now.
Addresses #437v3.0