escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2021-12-08T07:19:18Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/224#247 CIF code generator generated Java code for enum compare improved.2021-12-08T07:19:18ZDennis Hendriks#247 CIF code generator generated Java code for enum compare improved.- Uses object equality now instead of value equality.
Closes #247- Uses object equality now instead of value equality.
Closes #247v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/225#257 Configure Checkstyle for AsciiDoc files.2021-12-08T07:39:59ZFerdie Reijnen#257 Configure Checkstyle for AsciiDoc files.Addresses #257Addresses #257v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/222#184 Explain easier collaboration with forks/contributors.2021-12-08T20:44:54ZDennis Hendriks#184 Explain easier collaboration with forks/contributors. - Simplified information on collaboration documentation page.
- Moved more extensive information to development process page.
- Added some scripts to make collaborating easier.
Closes #184 - Simplified information on collaboration documentation page.
- Moved more extensive information to development process page.
- Added some scripts to make collaborating easier.
Closes #184v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/226#188 Move Convert CIF to Yed diagram to CIF miscellaneous tools2023-02-18T09:24:52ZMartijn Goorden#188 Move Convert CIF to Yed diagram to CIF miscellaneous toolsCloses #188.Closes #188.v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/223#245 ElimLocRefExprs and linearization naming improvements2021-12-09T19:50:30ZDennis Hendriks#245 ElimLocRefExprs and linearization naming improvementsElimLocRefExpr:
- Introduced generalized naming functions for ElimLocRefExpr.
- Improved renaming warnings messages.
- Small code improvement to reuse 'oldName' variables.
- absVarNamesMap becomes lpVarToAbsAutNameMap:
- Conceptua...ElimLocRefExpr:
- Introduced generalized naming functions for ElimLocRefExpr.
- Improved renaming warnings messages.
- Small code improvement to reuse 'oldName' variables.
- absVarNamesMap becomes lpVarToAbsAutNameMap:
- Conceptual improvement:
- It was some kind of weird name with some parts left out.
- It was difficult to understand. New mapping has clear semantics.
- Backward compatible:
- Was only used by linearization transformation.
- The way it was used by linearization matches the new semantics.
- No changes needed to tests as is backward compatible.
- New defaults for naming location pointers + enums.
- Affects the CIF to CIF transformation itself.
- Affects CIF to Supremica, which uses the default as well.
- JavaDoc improvement.
LinearizeBase:
- Improved/simpler name for location pointer enums.
- Prevent LP var temp name renames using name highly unlikely to clash.
Other:
- Removed empty lines at end of JavaDoc comments.
Closes #245v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/228#158 Upgrade from Tycho 2.3 to 2.52021-12-11T12:29:07ZFerdie Reijnen#158 Upgrade from Tycho 2.3 to 2.5Closes #158Closes #158v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/232#165 Add Eclipse/Orbit update sites to our update site.2021-12-12T21:31:42ZDennis Hendriks#165 Add Eclipse/Orbit update sites to our update site. - Add Eclipse/Orbit update sites to our update site.
- Use https URLs.
- Aligned with update sites configured in our product.
- Add extra instruction to Eclipse upgrade instructions.
Closes #165 - Add Eclipse/Orbit update sites to our update site.
- Use https URLs.
- Aligned with update sites configured in our product.
- Add extra instruction to Eclipse upgrade instructions.
Closes #165v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/231#159 Refer to target file rather than target artefact for Maven build2021-12-12T21:32:37ZDennis Hendriks#159 Refer to target file rather than target artefact for Maven build- Maven configuration: use target platform file rather than artifact.
- Removed one no longer needed manual step from release process docs.
Closes #159- Maven configuration: use target platform file rather than artifact.
- Removed one no longer needed manual step from release process docs.
Closes #159v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/233#156 Don't eliminate enums for CIF to mCRL22021-12-13T14:25:42ZDennis Hendriks#156 Don't eliminate enums for CIF to mCRL2 - Don't eliminate enums for CIF to mCRL2.
- Added CifCollectUtils.collectEnumDecls.
- Reuse CifCollectUtils.collectEnumDecls for CIF simulator compiler.
- Move enum representative computation from CIF simulator compiler to CIF common... - Don't eliminate enums for CIF to mCRL2.
- Added CifCollectUtils.collectEnumDecls.
- Reuse CifCollectUtils.collectEnumDecls for CIF simulator compiler.
- Move enum representative computation from CIF simulator compiler to CIF common plugin (CifEnumUtils).
Closes #156v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/234#191 Update release notes for v0.4-RC1.2021-12-13T18:40:24ZDennis Hendriks#191 Update release notes for v0.4-RC1.Closes #191Closes #191v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/237#216 Cannot terminate GUI simulations with terminate button2021-12-16T08:47:07ZMartijn Goorden#216 Cannot terminate GUI simulations with terminate buttonCloses #216Closes #216v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/235#270 Rename product and releng plugins2021-12-17T16:30:01ZFerdie Reijnen#270 Rename product and releng pluginsCloses #270Closes #270v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/240#160 No longer sort the generated dependencies file.2021-12-18T14:55:34ZFerdie Reijnen#160 No longer sort the generated dependencies file.Addresses #160Addresses #160v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/238#262 Merge test plugins into their corresponding non-test plugins2023-06-12T20:25:46ZFerdie Reijnen#262 Merge test plugins into their corresponding non-test pluginsCloses #262Closes #262v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/241#266 Prepare Git repo for v0.5 development2021-12-20T20:25:26ZDennis Hendriks#266 Prepare Git repo for v0.5 developmentAlso updated the release update documentation for version upgrades. Less manual work is now needed. Probably due to upgrade to Tycho 2.5.0 as part of #158.
Closes #266Also updated the release update documentation for version upgrades. Less manual work is now needed. Probably due to upgrade to Tycho 2.5.0 as part of #158.
Closes #266v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/243#274 CIF simulator GUI input mode termination by red stop button leaves butto...2022-01-05T12:48:11ZFerdie Reijnen#274 CIF simulator GUI input mode termination by red stop button leaves buttons enabledCloses #274Closes #274v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/246#285 Copyright update to 2022.2023-01-02T10:42:07ZFerdie Reijnen#285 Copyright update to 2022.Closes #285Closes #285https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/253#275 Reconsider assigning all open issues to current release and moving them ...2022-01-09T12:50:03ZFerdie Reijnen#275 Reconsider assigning all open issues to current release and moving them from release to releaseCloses #275Closes #275v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/252#283 Add raildiagram generator image debug output.2022-01-13T08:50:51ZAlbert Hofkamp#283 Add raildiagram generator image debug output.- Generalize the image generation back-end, and make a second debug output target.
- Add tests, make fixes.
Tests work for the current graphics settings. Unfortunately, as soon as you change rendering settings everything dies again. `ja...- Generalize the image generation back-end, and make a second debug output target.
- Add tests, make fixes.
Tests work for the current graphics settings. Unfortunately, as soon as you change rendering settings everything dies again. `java.awt` doesn't follow its own promises and doesn't give stable graphics output.
That is however for the next patch.
Closes #283v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/251#142 CIF to PLC should support Siemens S72024-01-19T08:48:50ZFerdie Reijnen#142 CIF to PLC should support Siemens S7Closes #142Closes #142v0.5