escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2021-06-11T15:37:36Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/91#33 Include issue reporting instructions in crash reports.2021-06-11T15:37:36ZDennis Hendriks#33 Include issue reporting instructions in crash reports.Closes #33Closes #33v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/93#118 Realigned require-bundle for Cif simulator and debug simulator.2021-06-12T08:55:24ZFerdie Reijnen#118 Realigned require-bundle for Cif simulator and debug simulator.Closes #118.Closes #118.https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/92#105 Ignore type ranges for switch expressions.2021-06-12T15:14:17ZFerdie Reijnen#105 Ignore type ranges for switch expressions.Closes #105.Closes #105.https://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/84#22 Update dependency list and automatic dependency license checking2021-06-14T11:18:22ZDennis Hendriks#22 Update dependency list and automatic dependency license checking
Addresses #22
Addresses #22v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/89#92 Fixed version qualifiers and other version improvements2021-06-15T19:39:22ZDennis Hendriks#92 Fixed version qualifiers and other version improvements- Use single fixed version qualifier for all plugins/features/etc.
- Defaults to 'dev'.
- Replaced in Jenkinsfile for Jenkins builds.
- Include `-M1`, `-RC1` etc postfix in qualifier for non-final releases.
- Renamed `releaseVersio...- Use single fixed version qualifier for all plugins/features/etc.
- Defaults to 'dev'.
- Replaced in Jenkinsfile for Jenkins builds.
- Include `-M1`, `-RC1` etc postfix in qualifier for non-final releases.
- Renamed `releaseVersion` to `escet.version.enduser`.
- Replace `qualifiedVersion` by end user version.
- Gives simpler, more readable names for the download archive file names.
- Gives simpler, more readable names in generated documentation.
- Customized website download archive filenames to be more readable.
Closes #92v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/90#103 Fix About dialog for product started as dev runtime.2021-06-15T19:39:50ZDennis Hendriks#103 Fix About dialog for product started as dev runtime.Closes #103Closes #103v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/96#117 Rebrand requirement invariants to supervisor invariants as synthesis out...2021-06-16T07:39:33ZFerdie Reijnen#117 Rebrand requirement invariants to supervisor invariants as synthesis output.Closes #117.Closes #117.https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/82#99 No location pointers for automata with single location2021-06-16T08:27:23ZFerdie Reijnen#99 No location pointers for automata with single locationCloses #99.Closes #99.https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/95#104 CIF simulation crashes for enumeration literals that are java keywords.2021-06-16T15:40:29ZFerdie Reijnen#104 CIF simulation crashes for enumeration literals that are java keywords.Closes #104.Closes #104.https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/88#101 Documented process for contributor to become a committer.2021-06-16T15:59:34ZDennis Hendriks#101 Documented process for contributor to become a committer.Closes #101Closes #101v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/98#124 Refactor to type-safe empty lists, sets, maps.2021-06-21T12:36:01ZAlbert Hofkamp#124 Refactor to type-safe empty lists, sets, maps.Closes #124Closes #124https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/101#126 Remove CIF to PLC test cases cif.err files2021-06-22T17:59:43ZFerdie Reijnen#126 Remove CIF to PLC test cases cif.err filesCloses #126Closes #126https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/103#128 Java common test case fails due to wrong decimal separator2021-06-23T20:17:09ZFerdie Reijnen#128 Java common test case fails due to wrong decimal separatorCloses #128.Closes #128.https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/99#94 code generator tools should support state event exclusion invariants2021-08-31T08:36:30ZFerdie Reijnen#94 code generator tools should support state event exclusion invariantsCloses #94.Closes #94.https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/102#120 Make preprocessing and supported specification consistent for CIF to mCRL2.2021-06-23T20:27:38ZFerdie Reijnen#120 Make preprocessing and supported specification consistent for CIF to mCRL2.Closes #120.Closes #120.https://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/100#122 Add controller check for finite response2021-07-01T09:05:12ZFerdie Reijnen#122 Add controller check for finite responseAddresses #122.
Also-by: Albert Hofkamp <A.T.Hofkamp@tue.nl>Addresses #122.
Also-by: Albert Hofkamp <A.T.Hofkamp@tue.nl>https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/106#129 Elim enums and algebraic variables as preprocessing for CIF to Uppaal.2021-07-01T18:23:58ZFerdie Reijnen#129 Elim enums and algebraic variables as preprocessing for CIF to Uppaal.Closes #129.Closes #129.