escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2021-07-08T19:27:13Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/115#137 Prepare for v0.3 development2021-07-08T19:27:13ZDennis Hendriks#137 Prepare for v0.3 developmentCloses #137Closes #137v0.3https://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/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/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/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/179#54 Changed hyphens to asterisks for unordered lists.2021-11-01T13:17:54ZFerdie Reijnen#54 Changed hyphens to asterisks for unordered lists.Addresses #54Addresses #54v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/178#202 Full test coverage for Chi/CIF/SeText/ToolDef scanner/parser hooks classes2021-11-04T17:52:11ZDennis Hendriks#202 Full test coverage for Chi/CIF/SeText/ToolDef scanner/parser hooks classesCloses #202Closes #202v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/171#54 General documentation style/source improvements2021-10-31T21:42:48ZFerdie Reijnen#54 General documentation style/source improvementsAddresses #54
This should fix:
* Proper/consistent use of layout macros, e.g. `menu`, `kbd`, `btn`.
* Get rid of table/figure references and titles.Addresses #54
This should fix:
* Proper/consistent use of layout macros, e.g. `menu`, `kbd`, `btn`.
* Get rid of table/figure references and titles.v0.4Dennis HendriksDennis Hendrikshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/167#35 New static home/landing webpages to replace placeholder and AsciiDoc-gene...2021-10-29T13:42:05ZDennis Hendriks#35 New static home/landing webpages to replace placeholder and AsciiDoc-generated home/landing pages - New project that contains the static web pages and build the full website zip. Now thus only a single zip for the entire website.
- Various changes to documentation sets to account for the new static webpages.
- Various URL changes ... - New project that contains the static web pages and build the full website zip. Now thus only a single zip for the entire website.
- Various changes to documentation sets to account for the new static webpages.
- Various URL changes due to changes to the website structure.
- Improved Eclipse Incubation URL.
- AsciiDoc multi-page HTML now supports the root AsciiDoc file to have any name.
- Some other small documentation improvements.
Closes #35v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/162#73 Split ESCET end-user and developer documentation into two separate docume...2021-10-17T09:27:35ZDennis Hendriks#73 Split ESCET end-user and developer documentation into two separate documentation sets.- Split ESCET end-user and developer documentation into two separate documentation sets.
- Renamed 'developer' to 'development' for dev docset.
- Renamed/moved the ESCET project documentation plugin/folder.
- Less cross-docset linking.
-...- Split ESCET end-user and developer documentation into two separate documentation sets.
- Renamed 'developer' to 'development' for dev docset.
- Renamed/moved the ESCET project documentation plugin/folder.
- Less cross-docset linking.
- AsciiDoc multi-page split fix fixes:
- Empty section bodies are now also removed.
- Removal of empty paragraphs/sections is now repeated until nothing left to remove.
Closes #73v0.4https://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/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/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/216#235 Rename and reorder statistics options2021-12-05T13:24:56ZMartijn Goorden#235 Rename and reorder statistics optionsCloses #235Closes #235v0.4