escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2021-10-29T13:53:34Zhttps://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/163#204 SvgNameUtils: read data from file rather than hard-coded mapping.2021-10-13T07:37:06ZDennis Hendriks#204 SvgNameUtils: read data from file rather than hard-coded mapping. - Code coverage can now process the class file.
- It is now also easier to adapt the data.
Closes #204 - Code coverage can now process the class file.
- It is now also easier to adapt the data.
Closes #204v0.4https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/153#189 contributing.asciidoc: more URL escaping to prevent links.2021-09-28T12:26:01ZDennis Hendriks#189 contributing.asciidoc: more URL escaping to prevent links.Closes #189Closes #189https://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/148#185 dev-env-setup.asciidoc contains invalid link2021-09-28T07:37:32ZDennis Hendriks#185 dev-env-setup.asciidoc contains invalid link - dev-env-setup.asciidoc: fixed a link not intended to be linked.
- AsciiDoc email link improvements:
- AsciiDoc multi-html: support mailto.
- release-process.asciidoc: email was not intended to be linked.
Closes #185 - dev-env-setup.asciidoc: fixed a link not intended to be linked.
- AsciiDoc email link improvements:
- AsciiDoc multi-html: support mailto.
- release-process.asciidoc: email was not intended to be linked.
Closes #185v0.3Dennis HendriksDennis Hendrikshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/142#179 Documented location of eclipse.ini file on MacOS2021-09-26T13:02:17ZMartijn Goorden#179 Documented location of eclipse.ini file on MacOS- Changes the location description in the end-user documentation of the `eclipse.ini` on MacOS systems.
- While I changed the location folder to `eclipseESCET.app/Contents/Eclipse`, the true folder depends on the version of ESCET. For ex...- Changes the location description in the end-user documentation of the `eclipse.ini` on MacOS systems.
- While I changed the location folder to `eclipseESCET.app/Contents/Eclipse`, the true folder depends on the version of ESCET. For example, for version `0.2`, it would be `eclipseESCET-v0.2.app/Contents/Eclipse`. Including the version number in the documentation means that it has to be changed each time we release a new version. I'm not sure whether that is doable.
Closes #179https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/140#166 Removed in-place update instructions, as they don't work.2021-09-25T17:52:10ZDennis Hendriks#166 Removed in-place update instructions, as they don't work.- Removed in-place update instructions, as they don't work.
- Some other small improvements to the update instructions as well.
Closes #166- Removed in-place update instructions, as they don't work.
- Some other small improvements to the update instructions as well.
Closes #166v0.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/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/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/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/112#138 Fix signing Windows executables and macOS app.2021-07-02T19:47:01ZDennis Hendriks#138 Fix signing Windows executables and macOS app.Closes #138Closes #138v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/108#132 Update DEPENDENCIES.txt for org.apache.batik.dom.svg 1.14.2021-07-01T18:53:38ZDennis Hendriks#132 Update DEPENDENCIES.txt for org.apache.batik.dom.svg 1.14.Closes #132Closes #132v0.2