escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2023-11-21T07:12:07Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/698#688 Fix icon name of CIF to PLC application.2023-11-21T07:12:07ZAlbert Hofkamp#688 Fix icon name of CIF to PLC application.Closes #688Closes #688v2.0Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/697#676 Insert empty line between different event transitions2023-11-23T06:37:15ZAlbert Hofkamp#676 Insert empty line between different event transitionsRemoves the formal invoke options, adds the max-iter option, and inserts an empty line between events in the transition code.
Patch is readable by commit.
Addresses #676
Addresses #679Removes the formal invoke options, adds the max-iter option, and inserts an empty line between events in the transition code.
Patch is readable by commit.
Addresses #676
Addresses #679v2.0Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/695#593 Allow annotations on locations2023-11-21T07:33:55ZDennis Hendriks#593 Allow annotations on locations* Best to review per commit.
* Also fixed a sentence in the CIF language tutorial lesson on function statements.
* Generalized a few things to prevent having to change it again in the future.
Addresses #593* Best to review per commit.
* Also fixed a sentence in the CIF language tutorial lesson on function statements.
* Generalized a few things to prevent having to change it again in the future.
Addresses #593v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/694#685 Renamed CIF application menu item icons to 'cif_app.png'2023-11-20T20:09:06ZDennis Hendriks#685 Renamed CIF application menu item icons to 'cif_app.png'Closes #685Closes #685v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/693#651 develop to master for v2.0-M12023-11-14T09:37:26ZDennis Hendriks#651 develop to master for v2.0-M1Addresses #651Addresses #651v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/692#651 Add release notes for v2.0-M1.2023-11-14T09:17:52ZDennis Hendriks#651 Add release notes for v2.0-M1.Addresses #651Addresses #651v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/691#683 CIF codegen: configure linearization to be consistent with precondition ...2023-11-13T19:19:30ZDennis Hendriks#683 CIF codegen: configure linearization to be consistent with precondition check- Both check for automata having a single initial location. In both cases, allow considering variable values for this. Prevents crashes for models with multiple potential initial locations.
- Best to review per commit. I moved things sep...- Both check for automata having a single initial location. In both cases, allow considering variable values for this. Prevents crashes for models with multiple potential initial locations.
- Best to review per commit. I moved things separately from changing them.
- Additionally, there is a JavaDoc fix in `ElimLocRefExprs`.
Closes #683v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/690#676 PLCgen: Connect PLCgen with the GUI.2023-11-20T20:09:06ZAlbert Hofkamp#676 PLCgen: Connect PLCgen with the GUI.Addresses #676Addresses #676v2.0Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/689#676 PLCgen: Forbid use of user-defined functions.2023-11-14T06:55:12ZAlbert Hofkamp#676 PLCgen: Forbid use of user-defined functions.Addresses #676Addresses #676v2.0Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/688#679 PLCgen: Introduce infix/informal/formal supported notations for function...2023-11-20T08:08:25ZAlbert Hofkamp#679 PLCgen: Introduce infix/informal/formal supported notations for function calls.Introduces an enumeration for expressing support notation forms of a function call.
Also cleaned up function call construction and switched to using parameter order for adding arguments to the call.
Commits should be readable, Only nea...Introduces an enumeration for expressing support notation forms of a function call.
Also cleaned up function call construction and switched to using parameter order for adding arguments to the call.
Commits should be readable, Only near the final commits is the code error-free again.
#Addresses #676 #679v2.0Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/687#667 Support logical implication operator in CIF to mCRL22023-11-02T18:57:54ZMartijn Goorden#667 Support logical implication operator in CIF to mCRL2Closes #667.
The changed test case is accepted by mCRL2 as a well-formed mCRL2 specification.Closes #667.
The changed test case is accepted by mCRL2 as a well-formed mCRL2 specification.v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/686#272 Added utils classes for JavasScript export function.2023-12-19T09:05:37ZRik Lubking#272 Added utils classes for JavasScript export function.- Added xxxUtils.js, a (direct as possible) translation of utils classes
taken from the Java export function.
- Utils functions can be called via JS console, the next commit adds UI and tests.
Discussion, see: https://gitlab.eclipse.org...- Added xxxUtils.js, a (direct as possible) translation of utils classes
taken from the Java export function.
- Utils functions can be called via JS console, the next commit adds UI and tests.
Discussion, see: https://gitlab.eclipse.org/riklubking/escet/-/issues/27
Addresses #272
Fixed after feedback at https://gitlab.eclipse.org/riklubking/escet/-/issues/27#note_1221642:
- Removed trailing whitespaces.
- Introduced MIN_INT / MAX_INT instead of Number.MIN_SAFE_INTEGER /
Number.MAX_SAFE_INTEGER, equal to Java Integer min/max.
- Improved custom exception.
- Added backticks in the place of all {@code} tags in JSDocs.
- Fixed capitals: javascript -> JavaScript / javaScript -> JavaScript,
number -> Number.
- Added space for for(), changed ++i to i++.
- div() returns integers only (truncated result).
- escape() replaces all instances, not just first instance.
- Removed makeList() and intToReal() (not required for JavaScript).
- mod() don't return -0.0 (change to 0.0, same as exp() and others).
- Refactored project() functions, renamed to projectList and
projectString. Fixed projectList().
- strToInt/strToReal: Remove exception (wasn't thrown), add if check for
bounds/NaN instead.
- Added TODO's with essential info.
* TODO 1: fmt() function supports only %d and %s at the moment, which is
all that's used so far. Will need to extend as more options become
required.
* TODO 2: realToStr() will need to implement some formatting code. This
may become a bit messy, perhaps there is some standard function/way to
do this, will discuss and do in a separate commit.v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/685#669 Added history page to CIF documentation2023-11-20T08:16:00ZDennis Hendriks#669 Added history page to CIF documentation* Added a 'CIF history' page to the CIF documentation. I turned this history page into a page that explains more of history, not only why 'CIF' was named 'CIF'. It is thus quite a bit longer than what was [proposed](https://gitlab.eclips...* Added a 'CIF history' page to the CIF documentation. I turned this history page into a page that explains more of history, not only why 'CIF' was named 'CIF'. It is thus quite a bit longer than what was [proposed](https://gitlab.eclipse.org/eclipse/escet/escet/-/issues/669#note_1224537) earlier by @ahofkamp.
* I linked the new page in several relevant places.
* I dropped the old meaning of 'CIF' as 'Compositional Interchange Format' where it was still mentioned (CIF tutorial + CIF metamodel docs).
* I tried to reconstruct history best I could. Let me know if anything is incorrect.
* I added some reference to publications that I think are most representative. If you disagree, let me know.
Closes #669v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/684#682 Fix default target language in CIF code generator documentation.2023-11-02T07:50:19ZDennis Hendriks#682 Fix default target language in CIF code generator documentation.Closes #682Closes #682v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/682#675 PLCgen Siemens target: location variables get assigned non-existing values.2023-10-31T10:48:34ZAlbert Hofkamp#675 PLCgen Siemens target: location variables get assigned non-existing values.Resolve the undefined `someConstantVariable` in the PLC code by unfolding the referenced constants to their value.
Closes #675Resolve the undefined `someConstantVariable` in the PLC code by unfolding the referenced constants to their value.
Closes #675v2.0Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/681#272 CIF code generator: add JavaScript as code generation target2023-11-02T07:56:05ZRik Lubking#272 CIF code generator: add JavaScript as code generation target- Added JavaScript export option to export menu.
- Added empty search/replace template (to be filled in later).
- Created empty stub methods for most implementations (to be filled in
later).
* Export feature works without problems/error...- Added JavaScript export option to export menu.
- Added empty search/replace template (to be filled in later).
- Created empty stub methods for most implementations (to be filled in
later).
* Export feature works without problems/errors, but currently only
generates an empty .html file.
Fixed after feedback from: https://gitlab.eclipse.org/riklubking/escet/-/issues/27#note_1215200
- Fixed formatting.
- Added stub method TODO's.
- Added documentation.
- Javascript -> JavaScript.
- Renamed main.html -> index.html
Addresses #272v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/679#593 CIF docs: indicate whether/how tools support/handle annotations.2023-10-30T20:34:36ZDennis Hendriks#593 CIF docs: indicate whether/how tools support/handle annotations.Some unrelated documentation improvements:
- CIF explorer: fixed a copy/paste mistake.
- CIF explorer: fixed an incomplete sentence.
Addresses #593Some unrelated documentation improvements:
- CIF explorer: fixed a copy/paste mistake.
- CIF explorer: fixed an incomplete sentence.
Addresses #593v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/678#680 CIF merger checks annotation post-check constraints after merge.2023-10-30T20:35:49ZDennis Hendriks#680 CIF merger checks annotation post-check constraints after merge.Closes #680Closes #680v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/677#672 Improved CIF type checker messages for component definition/instantiatio...2023-11-13T08:31:29ZDennis Hendriks#672 Improved CIF type checker messages for component definition/instantiation mismatchCloses #672Closes #672v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/676#670 Fix 'test-all' launch configuration.2023-10-30T08:28:23ZDennis Hendriks#670 Fix 'test-all' launch configuration.- Wait for a test to complete before starting the next one.
Closes #670- Wait for a test to complete before starting the next one.
Closes #670v2.0