escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2021-11-08T15:14:31Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/182#219 Corrected value for real debug output.2021-11-08T15:14:31ZFerdie Reijnen#219 Corrected value for real debug output.Closes #219Closes #219v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/172#209 Length Reduction option for yEd doesn't exist.2021-10-29T13:53:34ZFerdie Reijnen#209 Length Reduction option for yEd doesn't exist.Closes #209Closes #209v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/169#207 Don't crash SvgViewer if SVG file can't be loaded.2021-10-28T16:26:51ZDennis Hendriks#207 Don't crash SvgViewer if SVG file can't be loaded. - Prevent NullPointerException.
- Show error in SVG visualizer.
- Properly forward error to Chi/CIF simulator.
Closes #207 - Prevent NullPointerException.
- Show error in SVG visualizer.
- Properly forward error to Chi/CIF simulator.
Closes #207v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/166#205 Fixed SVG viewer save as SVG file crash.2021-10-20T09:44:01ZDennis Hendriks#205 Fixed SVG viewer save as SVG file crash.- Added org.apache.xml.serializer to target platform.
Closes #205- Added org.apache.xml.serializer to target platform.
Closes #205v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/150#183 Updated URLs that point to released documentation.2021-09-28T11:41:47ZDennis Hendriks#183 Updated URLs that point to released documentation. - Adapt to fit the multi-page HTML website.
- No 'www.' if not needed.
Closes #183 - Adapt to fit the multi-page HTML website.
- No 'www.' if not needed.
Closes #183v0.3https://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.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/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/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/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/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/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/843#792 CIF tutorial 'Variable overview' lesson: include input variables2024-03-26T17:10:20ZDennis Hendriks#792 CIF tutorial 'Variable overview' lesson: include input variables* Best to review the full diff, not per commit.
Closes #792* Best to review the full diff, not per commit.
Closes #792v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/837#227 Updated CIF documentation for SVG input mappings with updates2024-03-25T20:36:14ZFerdie Reijnen#227 Updated CIF documentation for SVG input mappings with updatesAddresses #227Addresses #227v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/836#227 Fixed metamodel documentation for assignments2024-03-22T12:42:39ZFerdie Reijnen#227 Fixed metamodel documentation for assignmentsAddresses #227Addresses #227v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/835#227 Added to simplify value docs that 'if' and 'elif' updates in SVG input m...2024-03-20T20:09:56ZFerdie Reijnen#227 Added to simplify value docs that 'if' and 'elif' updates in SVG input mappings may be simplified.Addresses #227Addresses #227v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/834#364 Add wafer_scanner CIF benchmark model + generator2024-03-22T07:38:17ZDennis Hendriks#364 Add wafer_scanner CIF benchmark model + generator* Best to review per commit.
* Added:
* Generator to generate `wafer_scanner` benchmark models with n = 1-7 production wafers (besides 2 dummy wafers).
* Generated models for n = 1 and n = 2. The rest can be generated additionally.
...* Best to review per commit.
* Added:
* Generator to generate `wafer_scanner` benchmark models with n = 1-7 production wafers (besides 2 dummy wafers).
* Generated models for n = 1 and n = 2. The rest can be generated additionally.
* Benchmark script for n = 1 only, as that is currently difficult enough to synthesize, compared to the other benchmarks.
* Changes compared to original generator:
* Some things are in a slightly different order, due to use of ordered vs unordered sets/dicts/etc. But, for n = 1, the state spaces of the synthesized supervisors are language equivalent.
* Generated models had warnings due to having plants that refer to requirement state. The requirement is therefore split into a monitor and requirement, similar to what the synthesis tool now does under the hood. The original author agrees. The resulting supervisor state space for n = 1 is language equivalent to the one before this change.
* Other notes:
* Certain events are always disabled in the uncontrolled system or in the controlled system. This is by design. This is confirmed by the original author.
* The original first author is OK with contributing this to ESCET.
Addresses #364v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/833#227 CIF merger: check that SVG input mappings with updates are still valid a...2024-03-20T12:08:24ZFerdie Reijnen#227 CIF merger: check that SVG input mappings with updates are still valid after mergingAddresses #227Addresses #227v3.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/831#593 Allow annotations on constants2024-03-18T10:21:15ZDennis Hendriks#593 Allow annotations on constants* Best to review per commit.
* Notable changes besides allowing annotations on constants:
* CIF code generator: No postfix comments for C89/C99/Simulink anymore for constants. Is similar to other declarations that got annotations.
* ...* Best to review per commit.
* Notable changes besides allowing annotations on constants:
* CIF code generator: No postfix comments for C89/C99/Simulink anymore for constants. Is similar to other declarations that got annotations.
* `EventsPostChecker`: fixed a typo in a JavaDoc.
Addresses #593v3.0