escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2021-11-13T21:51:58Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/193#232 Added favicons to Chi/CIF/ToolDef static web pages.2021-11-13T21:51:58ZDennis Hendriks#232 Added favicons to Chi/CIF/ToolDef static web pages.Closes #232Closes #232v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/194#233 Fixed some broken links on website to legal page.2021-11-13T21:33:38ZDennis Hendriks#233 Fixed some broken links on website to legal page.Closes #233Closes #233v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/195#234 Type checker should warn for convoluted references2021-11-19T08:09:06ZFerdie Reijnen#234 Type checker should warn for convoluted referencesCloses #234Closes #234v0.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/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/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/202#242 Allow running 'copy_all' scripts from development environment.2021-11-19T09:51:58ZDennis Hendriks#242 Allow running 'copy_all' scripts from development environment.Closes #242Closes #242v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/204#244 CIF to CIF eliminate component definition/instantiation crashes for Comp...2021-11-25T11:04:08ZFerdie Reijnen#244 CIF to CIF eliminate component definition/instantiation crashes for CompInstWrapTypeCloses #244Closes #244v0.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/206#246 Java*TypeInfo comment fixes.2021-11-24T19:22:28ZDennis Hendriks#246 Java*TypeInfo comment fixes.- JavaEnumTypeInfo comment still doesn't really make sense. To be addressed in #247 after #155.
Closes #246- JavaEnumTypeInfo comment still doesn't really make sense. To be addressed in #247 after #155.
Closes #246v0.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/205#248 Removed duplicated words in comments and documentation.2021-11-24T19:24:31ZFerdie Reijnen#248 Removed duplicated words in comments and documentation.Closes #248Closes #248v0.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.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/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/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/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/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/814#269 Allow converting more/extra updates/predicates/expressions.2024-02-20T14:35:46ZDennis Hendriks#269 Allow converting more/extra updates/predicates/expressions.* Small changes needed for our research.
* Made a few methods public in the conversion class, to allow converting more updates/predicates/expressions/etc after the regular conversion.
* Needed to make a few methods static as well, to all...* Small changes needed for our research.
* Made a few methods public in the conversion class, to allow converting more updates/predicates/expressions/etc after the regular conversion.
* Needed to make a few methods static as well, to allow invoking them outside/after the regular conversion.
* The `problems` become parameters then. This should change to a proper precondition checker using our new checker framework later on, but that is out-of-scope here.
Addresses #269v3.0