escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2021-03-05T17:14:34Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/19#19 Release notes updates for v0.1 + documentation improvements.2021-03-05T17:14:34ZDennis Hendriks#19 Release notes updates for v0.1 + documentation improvements.#19 Release notes updates for v0.1 + documentation improvements.
- Updated/extended released notes for v0.1.
- Removed '(unreleased)' annotations in release notes.
- Difficult to keep up-to-date.
- Added more documentation cross-l...#19 Release notes updates for v0.1 + documentation improvements.
- Updated/extended released notes for v0.1.
- Removed '(unreleased)' annotations in release notes.
- Difficult to keep up-to-date.
- Added more documentation cross-linking (ESCET to/from languages).
- Using actual online URLs, which are now known.
- Cross-linking information extended with what you'll find there.
- Refer to website for development information.
- Our tools are also available as plug-ins from an update site.
- Some other small textual changes in documentation.
Closes #19v0.1https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/14#14 Copyright update to 2021.2022-01-04T08:53:31ZDennis Hendriks#14 Copyright update to 2021.Closes #14Closes #14v0.1https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/49#39 Fix CompParamWrapExpression for nested Def/Inst.2021-04-28T16:40:34ZDennis Hendriks#39 Fix CompParamWrapExpression for nested Def/Inst.Also-by: Dennis Hendriks
Closes #39Also-by: Dennis Hendriks
Closes #39v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/60#46 RuntimeJavaFileManager updates for Java 9+.2021-05-20T14:30:39ZDennis Hendriks#46 RuntimeJavaFileManager updates for Java 9+. - Re-enable runtime Java compiler tests for JDK compiler.
- Override 'contains' method introduced in Java 9.
- Using the ECJ compiler provided by JDT still fails.
- It requires this fix.
- It also requires JDT patch I created.
... - Re-enable runtime Java compiler tests for JDK compiler.
- Override 'contains' method introduced in Java 9.
- Using the ECJ compiler provided by JDT still fails.
- It requires this fix.
- It also requires JDT patch I created.
- See https://bugs.eclipse.org/bugs/show_bug.cgi?id=541269.
- With the 2 fixes combined, all our unit tests work.
Addresses #46v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/46#63 "Add rail diagram generator"2021-06-12T15:29:15ZAlbert Hofkamp#63 "Add rail diagram generator"Closes #63Closes #63v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/94#63 License header check script update for new rail diagram generator.2021-06-13T19:48:55ZDennis Hendriks#63 License header check script update for new rail diagram generator.Closes #63Closes #63v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/105#121 #130 #123 #46 #100 #130 Upgrade to Eclipse 2021-06 + dependency licenses...2021-06-28T06:57:04ZDennis Hendriks#121 #130 #123 #46 #100 #130 Upgrade to Eclipse 2021-06 + dependency licenses + Maven 3.8.1 + fix runtime JDT compilation + no more limit-modules#121 Upgrade to Eclipse 2021-06 and associated dependencies.
#121 No more version range for Batik. Now just like other dependencies.
#121 No GUI mode for ReportExceptionTest.
- Setting option values before option parsing has no effec...#121 Upgrade to Eclipse 2021-06 and associated dependencies.
#121 No more version range for Batik. Now just like other dependencies.
#121 No GUI mode for ReportExceptionTest.
- Setting option values before option parsing has no effect.
- Provide as command line argument instead.
#121 Improved upgrade and build instructions.
#121 #130 Updated DEPENDENCIES.txt.
- For org.tukaani.xz change (#130).
- For Eclipse 2021-06 (#121).
- We seem to have a false negative for the license check.
- Concerns org.apache.batik.dom.svg 1.14 from Orbit.
- See https://github.com/eclipse/dash-licenses/issues/76.
#123 Upgrade Maven 3.6.3 to 3.8.1.
#46 Fixed runtime Java compilation using JDT compiler.
#46 Re-enabled runtime Java compiler tests for JDT compiler.
- Fix runtime Java compiler tests for Maven build.
- Disabled annotation processing for runtime Java compiler tests.
#46 Runtime Java compiler improvements/fixes.
- Extra debug output for runtime Java compiler.
- Automatically determine Java version for RuntimeJavaCompiler.
#100 Removed limit-modules configuration for app framework.
- No longer needed for Eclipse 2021-06.
Closes #46
Closes #100
Addresses #121
Closes #123
Closes #130v0.2https://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/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/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/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/130#163 Updated datasynth documentation.2021-09-02T05:53:40ZFerdie Reijnen#163 Updated datasynth documentation.Closes #163Closes #163https://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/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/138#177 Inconsistent error reporting on list projection with impossible static b...2021-09-23T10:43:20ZAlbert Hofkamp#177 Inconsistent error reporting on list projection with impossible static bounds.Closes #177Closes #177v0.3Albert HofkampAlbert Hofkamphttps://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/146#172 AsciiDoc source file/folder renames2021-09-27T19:19:18ZDennis Hendriks#172 AsciiDoc source file/folder renamesI looked through the files/folders a bit and changed the things I think could be improved or may pose issues later on if not changed now.
Closes #172I looked through the files/folders a bit and changed the things I think could be improved or may pose issues later on if not changed now.
Closes #172v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/147#172 License header check updates for documentation file/dir renames2021-09-27T15:38:52ZDennis Hendriks#172 License header check updates for documentation file/dir renames- More AsciiDoc source file/directory renaming.
- License header check updates for documentation file/dir renames
Closes #172- More AsciiDoc source file/directory renaming.
- License header check updates for documentation file/dir renames
Closes #172v0.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/149#186 Small documentation improvements.2021-09-28T11:41:09ZDennis Hendriks#186 Small documentation improvements. - CIF controller checker is not a transformation.
- Explained new common.asciidoc project in developer documentation.
Closes #186 - CIF controller checker is not a transformation.
- Explained new common.asciidoc project in developer documentation.
Closes #186v0.3