escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2021-09-24T10:09:51Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/137#175 XmlSupport.writeFile now uses try-with-resources.2021-09-24T10:09:51ZDennis Hendriks#175 XmlSupport.writeFile now uses try-with-resources.- XmlSupport.writeFile now uses try-with-resources.
- The output stream is now also buffered.
Closes #175- XmlSupport.writeFile now uses try-with-resources.
- The output stream is now also buffered.
Closes #175v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/136#174 Jenkinsfile: label->inheritFrom (get rid of deprecation warning)2021-09-24T07:36:20ZDennis Hendriks#174 Jenkinsfile: label->inheritFrom (get rid of deprecation warning)Closes #174Closes #174v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/134#36 AsciiDoc multi-page HTML generation for website and Eclipse help2021-09-27T12:13:22ZDennis Hendriks#36 AsciiDoc multi-page HTML generation for website and Eclipse help - Added AsciiDoc multi-page HTML split functionality and integrated it into the build for all 5 documentation sets.
- Multi-page HTML links to both PDF and single-page HTML now.
- No more warnings on missing 'toc.xml' files if no loca... - Added AsciiDoc multi-page HTML split functionality and integrated it into the build for all 5 documentation sets.
- Multi-page HTML links to both PDF and single-page HTML now.
- No more warnings on missing 'toc.xml' files if no local build has been done. Added dummy toc.xml files.
- No more duplicated contents in documentation plugins for Eclipse help content. A development runtime will no longer contain the 5 documentation sets, even after a local build. Do a full local build and check the product instead.
- No more section anchors for Eclipse help output. Enabled section anchors for website output.
- No more 'geneclipsetoc-maven-plugin' dependency for build.
- Added jsoup and guava to the target platform.
- Fixed documentation build launch configurations to also make dependencies, not dependents.
- Chi documention: unique section name per source file.
- CIF documentation: increase TOC level to ensure all pages in TOC, simulation TOC structure fix, small capitalization improvements, link syntax fix.
- Lists.single method added.
Closes #36v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/132#167 Updated release notes for v0.3-M1.2021-09-14T18:55:50ZDennis Hendriks#167 Updated release notes for v0.3-M1.Addresses #167Addresses #167v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/131#164 Add warnings for uncontrollable events not enabled in the controlled sta...2021-09-05T08:51:48ZFerdie Reijnen#164 Add warnings for uncontrollable events not enabled in the controlled statespace.Closes #164Closes #164v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/128#144 Changed supervisor simplification for events that are not enabled in the...2021-08-31T08:20:10ZFerdie Reijnen#144 Changed supervisor simplification for events that are not enabled in the system to true.Closes #144Closes #144v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/125#157 Fail license check early for Dash license tool Maven failures.2021-09-01T15:16:10ZDennis Hendriks#157 Fail license check early for Dash license tool Maven failures.Closes #157Closes #157v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/124#149 #154 Add test cases for CIF to PLC for TwinCAT2021-08-30T09:01:41ZFerdie Reijnen#149 #154 Add test cases for CIF to PLC for TwinCATCloses #149.
Closes #154.Closes #149.
Closes #154.v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/122#150, #144 Add warning message for event not enabled in controlled state spac...2021-08-31T08:19:49ZFerdie Reijnen#150, #144 Add warning message for event not enabled in controlled state space and changed simplificating for those eventsCloses #150
Closes #144Closes #150
Closes #144v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/121#148 Add switch expressions to data-based synthesis.2021-07-18T19:22:06ZFerdie Reijnen#148 Add switch expressions to data-based synthesis.Closes #148Closes #148v0.3https://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/97#122 Add controller check for finite response2021-09-28T06:51:37ZAlbert Hofkamp#122 Add controller check for finite responseCloses #122
Please reviewCloses #122
Please reviewv0.3Albert HofkampFerdie ReijnenAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/135#173 Fix JavaDoc @-tags starting with a lower-case letter.2021-09-24T10:10:37ZDennis Hendriks#173 Fix JavaDoc @-tags starting with a lower-case letter.- Checkstyle: JavaDoc @-tag descriptions should not start with lower-case letter.
- Fix JavaDoc @-tags starting with a lower-case letter.
- SeText-generator parsers JavaDoc @-tag descriptions improvement.
- No warnings for @-tag desc...- Checkstyle: JavaDoc @-tag descriptions should not start with lower-case letter.
- Fix JavaDoc @-tags starting with a lower-case letter.
- SeText-generator parsers JavaDoc @-tag descriptions improvement.
- No warnings for @-tag descriptions starting with lower-case letter.
- Terminal/non-terminal names in JavaDoc usign {@code ...} syntax.
- Some other small comment/JavaDoc improvements.
Closes #173v0.3