escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2022-11-25T17:43:47Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/398#418 Document intended PLC runtime structure.2022-11-25T17:43:47ZAlbert Hofkamp#418 Document intended PLC runtime structure.Adding a document to discuss and document PLC program runtime structure.
Compared with previous code generators, this design is closer to the PLC capabilities. As a result, the gap between CIF and the PLC code becomes larger.
I tried to...Adding a document to discuss and document PLC program runtime structure.
Compared with previous code generators, this design is closer to the PLC capabilities. As a result, the gap between CIF and the PLC code becomes larger.
I tried to limit the impact by less freedom in the CIF input and/or more pre-processing.
While this is a merge request and I think the document is useful to keep around, a second goal is to discuss this proposal, and perhaps find alternatives, or other improvements in the CIF to PLC conversion process.
Addresses #418v0.8Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/397#357 Update CIF documentation for recent Inkscape versions2022-11-24T18:13:04ZMartijn Goorden#357 Update CIF documentation for recent Inkscape versionsCloses #357.
This merge request includes
- Screenshots of the updated Inkscape interface.
- Text removed on the different coordinate systems, as there is no longer a difference (since Inkscape version >= 1.0).
- Text removed on resizing...Closes #357.
This merge request includes
- Screenshots of the updated Inkscape interface.
- Text removed on the different coordinate systems, as there is no longer a difference (since Inkscape version >= 1.0).
- Text removed on resizing document, since Inkscape no longer adds a transformation to the first layer (at least in the latest Inkscape version 1.2.1 I used today).
- Updated menu names in text.
- Updated the SVG files used for the screenshot so they no longer generate a legacy warning on opening in Inkscape. (At some point Inkscape changed from 90 DPI to 96 DPI.)v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/396#441 DEPENDENCIES.txt update.2022-10-22T10:17:53ZDennis Hendriks#441 DEPENDENCIES.txt update.Closes #441Closes #441v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/395#424 Add a checker for disallowing specific standard functions.2022-10-25T05:29:51ZAlbert Hofkamp#424 Add a checker for disallowing specific standard functions.Could technically be part of `ExprNoSpecificExprsCheck`, but a separate checker seemed better as the expr-check was quite big already.Could technically be part of `ExprNoSpecificExprsCheck`, but a separate checker seemed better as the expr-check was quite big already.v0.8Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/394#424 Checker for verifying automata counts.2022-10-22T08:53:53ZAlbert Hofkamp#424 Checker for verifying automata counts.Addresses the Cif to PLC conversion at least.Addresses the Cif to PLC conversion at least.v0.8Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/393#440 Add CifCheckNoCompDefInst check baseclass.2022-10-19T10:49:27ZAlbert Hofkamp#440 Add CifCheckNoCompDefInst check baseclass.Closes #440Closes #440v0.8Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/392#199 Open large Chi, CIF, SeText and ToolDef files using text editor.2022-10-24T16:37:23ZDennis Hendriks#199 Open large Chi, CIF, SeText and ToolDef files using text editor.- Uses default text editor for Chi, CIF, SeText and ToolDef files that are >10 MiB to prevent performance issues.
- Note that:
- Files keep their custom icons.
- Files are still by default opened by their own editors.
- Only larger...- Uses default text editor for Chi, CIF, SeText and ToolDef files that are >10 MiB to prevent performance issues.
- Note that:
- Files keep their custom icons.
- Files are still by default opened by their own editors.
- Only larger files are opened by the default text editor.
- Explicitly opening larger files with their own editor works as expected.
- Documentation updates are from !164.
Closes #199v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/391#439 Get rid of references to 'receive(d) variables'.2022-10-17T06:34:42ZDennis Hendriks#439 Get rid of references to 'receive(d) variables'.Closes #439Closes #439v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/390#438 Various small JavaDoc/documentation fixes/improvements.2022-10-17T06:33:55ZDennis Hendriks#438 Various small JavaDoc/documentation fixes/improvements.- `{link` -> `{@link`
- `{code` -> `{@code`
- `Whether the evaluate` -> `Whether to evaluate`
- `positiveCount: count >= 0` -> `nonNegativeCount: count >= 0`
- `<code>...</code>` -> `{@code ...}` where possible.
Closes #438- `{link` -> `{@link`
- `{code` -> `{@code`
- `Whether the evaluate` -> `Whether to evaluate`
- `positiveCount: count >= 0` -> `nonNegativeCount: count >= 0`
- `<code>...</code>` -> `{@code ...}` where possible.
Closes #438v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/389#436 Custom PDE preferences for all projects.2022-10-17T07:10:50ZDennis Hendriks#436 Custom PDE preferences for all projects.- Custom PDE preferences for all projects.
- Enabled some additional warnings, including warnings for non-exported packages.
- New PLC code generator now in sync wrt preferences (except for separate !388 change).
Closes #436- Custom PDE preferences for all projects.
- Enabled some additional warnings, including warnings for non-exported packages.
- New PLC code generator now in sync wrt preferences (except for separate !388 change).
Closes #436v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/388#400 Fix encoding warning on plcgen project.2022-10-15T14:03:55ZDennis Hendriks#400 Fix encoding warning on plcgen project.Closes #400Closes #400v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/387#424 Migrate CIF tool precondition checkers for CIF to UPPAAL to new common C...2022-11-22T19:07:25ZFerdie Reijnen#424 Migrate CIF tool precondition checkers for CIF to UPPAAL to new common CIF checkers framework.Addresses #424Addresses #424https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/386#368 Extend and add checker classes for cif2dmm2022-10-14T13:16:25ZAlbert Hofkamp#368 Extend and add checker classes for cif2dmmAddresses #368Addresses #368v0.8Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/385#417 More ESCET dark theme support2023-04-16T11:57:09ZDennis Hendriks#417 More ESCET dark theme supportPlot visualizer:
* Plot visualizer does not need to store theme listener is a field.
CIF simulator GUI input component:
* JavaDocs are more clear about background vs foreground colors.
* Added light and dark theme color schemes and them...Plot visualizer:
* Plot visualizer does not need to store theme listener is a field.
CIF simulator GUI input component:
* JavaDocs are more clear about background vs foreground colors.
* Added light and dark theme color schemes and theming support.
* Color composites are now color canvases.
* Setting background color for a component doesn't work.
* Eclipse dark themes overrides it.
* So is now a canvas that is manually painted.
* To allow (re)painting, store color choices in field `choiceColors`.
* Added focus listeners to ensure colors 'stick' when using dark theme.
* Improved color markers.
* Previously they were color composites, now color canvases.
* Made them a bit wider, to be better visible.
* Updated CIF simulator documentation.
Addresses #417v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/384#433 Link Eclipse/Java upgrade policies + extend Eclipse upgrade info.2022-10-13T07:55:36ZDennis Hendriks#433 Link Eclipse/Java upgrade policies + extend Eclipse upgrade info.Closes #433Closes #433v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/383#417 Added dark theme suport for synthesis analysis tool.2022-10-11T14:13:40ZFerdie Reijnen#417 Added dark theme suport for synthesis analysis tool.Closes #417Closes #417v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/382#432 CifChecker/CifPreconditionChecker constructor should not be array but va...2022-10-03T12:02:54ZDennis Hendriks#432 CifChecker/CifPreconditionChecker constructor should not be array but varargs* `CifChecker`/`CifPreconditionChecker` now have varargs constructors.
* JavaDoc fix in `CifCheckViolation`.
* `CifToSupremicaPreChecker` extends `CifPreconditionChecker`.
Closes #432* `CifChecker`/`CifPreconditionChecker` now have varargs constructors.
* JavaDoc fix in `CifCheckViolation`.
* `CifToSupremicaPreChecker` extends `CifPreconditionChecker`.
Closes #432v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/380#423 Prepare Git repo for v0.8 development2022-10-09T08:40:47ZDennis Hendriks#423 Prepare Git repo for v0.8 developmentCloses #423Closes #423v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/379#429 Updated DEPENDENCIES.txt for Dash license tool output changes.2022-09-30T17:14:59ZDennis Hendriks#429 Updated DEPENDENCIES.txt for Dash license tool output changes.Closes #429Closes #429v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/378#390 develop to master for v0.72022-09-30T13:03:49ZDennis Hendriks#390 develop to master for v0.7Addresses #390Addresses #390v0.7