escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2021-12-16T08:47:07Zhttps://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/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/227#258 CIF pretty printer breaks for variables used as indices in tuples that a...2021-12-12T21:37:55ZFerdie Reijnen#258 CIF pretty printer breaks for variables used as indices in tuples that are also field namesCloses #258Closes #258v0.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/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/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/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/221#257 Configure Checkstyle for asciidoc files.2021-12-09T10:28:29ZFerdie Reijnen#257 Configure Checkstyle for asciidoc files.Addresses #257Addresses #257v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/220#239 Add link from documentation TOC back to website.2021-12-07T07:35:33ZDennis Hendriks#239 Add link from documentation TOC back to website.Closes #239Closes #239v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/219#54 Use https for links.2021-12-06T18:52:09ZFerdie Reijnen#54 Use https for links.Closes #54Closes #54v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/218#236 Make paper/book/etc references in documentation consistent2023-02-18T09:25:10ZMartijn Goorden#236 Make paper/book/etc references in documentation consistentCloses #236Closes #236v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/217#54 One empty line separation in documentation.2021-12-13T10:21:50ZFerdie Reijnen#54 One empty line separation in documentation.Addresses #54.Addresses #54.v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/216#235 Rename and reorder statistics options2021-12-05T13:24:56ZMartijn Goorden#235 Rename and reorder statistics optionsCloses #235Closes #235v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/215#54 Codebox style improvements2021-12-05T15:12:11ZFerdie Reijnen#54 Codebox style improvementsAddresses #54Addresses #54v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/213#256 Better explain trinary value of 'Event.controllable'.2021-11-30T17:22:01ZFerdie Reijnen#256 Better explain trinary value of 'Event.controllable'.Closes #256Closes #256v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/212#171 Fix license header check to exclude expected stats file.2021-11-30T08:38:03ZMartijn Goorden#171 Fix license header check to exclude expected stats file.Closes #171Closes #171v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/211#253 ECore diagram cannot resolve type reference 'string'2021-11-30T07:59:44ZFerdie Reijnen#253 ECore diagram cannot resolve type reference 'string'Closes #253Closes #253v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/210#228 Improve CIF language modification page2021-11-29T21:47:33ZFerdie Reijnen#228 Improve CIF language modification pageCloses #228Closes #228v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/209#249 CIF PLC code generator generates escaped candidate names2021-11-26T13:02:20ZFerdie Reijnen#249 CIF PLC code generator generates escaped candidate namesCloses #249Closes #249v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/208#250 SimulinkCodeGenPreChecker uses non-absolute names for messages2021-11-26T12:00:20ZFerdie Reijnen#250 SimulinkCodeGenPreChecker uses non-absolute names for messagesCloses #250Closes #250v0.4