escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2023-12-15T12:07:30Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/673#542 Add warning for duplicated state invariant2023-12-15T12:07:30ZFerdie Reijnen#542 Add warning for duplicated state invariantCloses #542Closes #542v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/670#648 CIF metamodel: rename parameters/params to arguments.2023-10-21T07:07:33ZDennis Hendriks#648 CIF metamodel: rename parameters/params to arguments.* For `ComponentInst` and `FunctionCallExpression`.
* Went through entire Git repo to make it more consistent.
* Quite some changes, but hopefully easy to review per commit.
Closes #648* For `ComponentInst` and `FunctionCallExpression`.
* Went through entire Git repo to make it more consistent.
* Quite some changes, but hopefully easy to review per commit.
Closes #648v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/669#671 Explain 2FA for pushing to Eclipse Foundation GitLab in dev docs.2023-10-16T15:24:07ZDennis Hendriks#671 Explain 2FA for pushing to Eclipse Foundation GitLab in dev docs.Closes #671Closes #671v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/668#593 CifAnnotationsTypeChecker: JavaDoc/comment fixes.2023-10-15T12:10:52ZDennis Hendriks#593 CifAnnotationsTypeChecker: JavaDoc/comment fixes.Addresses #593Addresses #593v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/667#593 Add annotations + doc annotations info to CIF reference manual.2023-10-24T07:17:50ZDennis Hendriks#593 Add annotations + doc annotations info to CIF reference manual.Addresses #593Addresses #593v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/666#524 Change color of warnings in Console2023-10-16T06:29:57ZFerdie Reijnen#524 Change color of warnings in ConsoleCloses #524
Dark mode:
![image](/uploads/908fd96a12fab3767dca271ccafe0b48/image.png)
Contrast ratio 8.26 : 1
Light mode:
![image](/uploads/439f83e817dafa9af24dd17113515637/image.png)
Contrast ratio 4.01 : 1 (Same as the red color we u...Closes #524
Dark mode:
![image](/uploads/908fd96a12fab3767dca271ccafe0b48/image.png)
Contrast ratio 8.26 : 1
Light mode:
![image](/uploads/439f83e817dafa9af24dd17113515637/image.png)
Contrast ratio 4.01 : 1 (Same as the red color we use, but maybe we want more contrast, it does not pass the WCAG AA test, which requires 4.5)
Let me know what you think. If we don't like a separate warning stream, that is also fine.v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/665#666 Eliminate custom plcgen warning class.2023-10-16T05:17:14ZAlbert Hofkamp#666 Eliminate custom plcgen warning class.Replace the custom PLCgen `WarnOutput` class by the `common.java.output.WarnOutput` class.
Addresses #666Replace the custom PLCgen `WarnOutput` class by the `common.java.output.WarnOutput` class.
Addresses #666v2.0Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/664#630 PLCgen: Add continous variables as timers2023-10-30T11:15:55ZAlbert Hofkamp#630 PLCgen: Add continous variables as timersSupport continuous variables with fixed `-1.0` derivative. They can be assigned a non-negative number, and compared for being in a range against a non-negative value. Often that is `t <= 0` which checks for timeout.
Commit can be read o...Support continuous variables with fixed `-1.0` derivative. They can be assigned a non-negative number, and compared for being in a range against a non-negative value. Often that is `t <= 0` which checks for timeout.
Commit can be read one at a time.
Closes #630v2.0Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/662#443 Add zooming to SVG viewer/visualizer2023-11-25T10:15:47ZPatrick van Berkel#443 Add zooming to SVG viewer/visualizerThis merge request implements:
1. Zooming of the SVG document by Ctrl+- and Ctrl+=.
2. ~~Panning of the SVG document by dragging the document using the mouse.~~
3. ~~Resizing of the canvas by resizing the parent window.~~
I added de de...This merge request implements:
1. Zooming of the SVG document by Ctrl+- and Ctrl+=.
2. ~~Panning of the SVG document by dragging the document using the mouse.~~
3. ~~Resizing of the canvas by resizing the parent window.~~
I added de demo video to show wat it looks like ~~(see [demo.mp4](/uploads/9c0148707ad5ade461430a93d4f86c0b/demo.mp4))~~, [demo-zoom.mp4](/uploads/32de4fd5e9b7abae5afed1108ecf4d6b/demo-zoom.mp4).
I am however having one issue. Because images are painted in memory and then passed via a queue there exists a short moment during resize in which the preprinted image does not match de size of the resized canvas. To handle this situation this implementation does not paint the image during resizing. The resulting behavior can be seen in the video ~~[issue.mp4](/uploads/3ce5d479fb67d363648918ba97c5f4ab/issue.mp4)~~, [missing-frames](/uploads/c0774a37ba666fb7582d48eef2f19830/missing-frames.mp4).
This behavior is also enabled in the Chi Visualizer als wel as the SVG viewer.
Closes #443v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/661#654 Prepare Git repo for v2.0 development2023-10-02T16:42:19ZDennis Hendriks#654 Prepare Git repo for v2.0 developmentCloses #654Closes #654v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/660#618 develop to master for v1.02023-09-30T08:32:49ZDennis Hendriks#618 develop to master for v1.0Addresses #618Addresses #618v1.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/659#618 Update release notes for v1.0.2023-09-30T08:12:09ZDennis Hendriks#618 Update release notes for v1.0.Addresses #618Addresses #618v1.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/658#617 develop to master for v1.0-RC12023-09-26T16:29:59ZDennis Hendriks#617 develop to master for v1.0-RC1Addresses #617Addresses #617v1.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/655#593 Add annotations lesson to the CIF language tutorial.2023-09-22T06:29:53ZDennis Hendriks#593 Add annotations lesson to the CIF language tutorial.* Some first information on annotations. I kept it simple for now, but at least there is something for users to read about annotations.
Addresses #593* Some first information on annotations. I kept it simple for now, but at least there is something for users to read about annotations.
Addresses #593v1.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/654#650 PLCgen: Add input/output support2023-10-03T05:09:43ZAlbert Hofkamp#650 PLCgen: Add input/output supportAdds input/output capabilities. Readable by commit.
Closes #650
Addresses #397Adds input/output capabilities. Readable by commit.
Closes #650
Addresses #397v2.0Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/653#655 Mark CIF data-based synthesis workset algorithm as mature2023-09-19T08:06:14ZDennis Hendriks#655 Mark CIF data-based synthesis workset algorithm as mature- Mark workset algorithm as mature.
- Improve documentation on when to use it.
Closes #655- Mark workset algorithm as mature.
- Improve documentation on when to use it.
Closes #655v1.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/652#617 Update release notes for v1.0-RC1.2023-09-26T15:49:34ZDennis Hendriks#617 Update release notes for v1.0-RC1.Addresses #617Addresses #617v1.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/651#593 Add 'doc' annotation as built-in CIF annotation2023-09-20T06:08:41ZDennis Hendriks#593 Add 'doc' annotation as built-in CIF annotation* Added 'doc' annotation, with string-typed 'text' argument, that must be statically evaluable.
* Support 'doc' annotation for input variables in CIF code generator. Leads to slightly less nice output if no 'doc' annotations are present....* Added 'doc' annotation, with string-typed 'text' argument, that must be statically evaluable.
* Support 'doc' annotation for input variables in CIF code generator. Leads to slightly less nice output if no 'doc' annotations are present.
* Two small other fixes: JavaDoc of `AnnotationProvider` and `toString` of `CifEvalException`.
* Best to review per commit.
Addresses #593v1.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/650#593 Handle annotations in CIF merger2023-09-19T06:33:30ZDennis Hendriks#593 Handle annotations in CIF merger* I checked all CIF code for places where we need to handle annotations in general, or specifically for input variables.
* I only found the need to adapt the CIF merger.
Addresses #593* I checked all CIF code for places where we need to handle annotations in general, or specifically for input variables.
* I only found the need to adapt the CIF merger.
Addresses #593v1.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/648#647 Remove incubation phase indications2023-09-14T15:49:22ZDennis Hendriks#647 Remove incubation phase indications* Best to review per commit.
Addresses #647* Best to review per commit.
Addresses #647v1.0