escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2021-09-27T12:13:22Zhttps://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/129#162 #150 Use ctrlBeh predicate to determine whether an event is enabled in c...2021-09-02T06:22:18ZFerdie Reijnen#162 #150 Use ctrlBeh predicate to determine whether an event is enabled in controlled system for datasynthCloses #162
Closes #150Closes #162
Closes #150v0.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/127#161 Reverting DEPENDENCIES.txt change for xerces.2021-08-26T09:32:58ZDennis Hendriks#161 Reverting DEPENDENCIES.txt change for xerces.Closes #161Closes #161v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/126#161 License check result update for xerces.2021-08-26T09:18:33ZDennis Hendriks#161 License check result update for xerces.Closes #161Closes #161v0.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/123#153 Updated dependencies file2021-08-19T15:08:57ZFerdie Reijnen#153 Updated dependencies fileCloses #153.Closes #153.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/120#143 Using constant results in unsupported linearized guard with data-based s...2021-07-16T13:51:01ZFerdie Reijnen#143 Using constant results in unsupported linearized guard with data-based synthesis.Closes #143.Closes #143.v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/117#136 Update DEPENDENCIES.txt for groovy 3.0.8.2021-07-09T07:52:03ZDennis Hendriks#136 Update DEPENDENCIES.txt for groovy 3.0.8.Closes #136Closes #136v0.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/239#192 develop to master for v0.42021-12-17T13:56:48ZDennis Hendriks#192 develop to master for v0.4v0.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/236#191 develop to master for v0.4-RC12021-12-13T18:43:23ZDennis Hendriks#191 develop to master for v0.4-RC1v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/234#191 Update release notes for v0.4-RC1.2021-12-13T18:40:24ZDennis Hendriks#191 Update release notes for v0.4-RC1.Closes #191Closes #191v0.4