escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2023-05-02T13:48:28Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/570#568 Ensure plugins that are not JAR-signed are GPG-signed2023-05-02T13:48:28ZDennis Hendriks#568 Ensure plugins that are not JAR-signed are GPG-signed* Added GPG signing of third-party dependencies redistributed on the Eclipse ESCET update site.
* Upgraded JavaBDD 4.0.0 to 5.0.0 and get it directly from Maven Central, removing it from our repository. It has only packaging/metadata cha...* Added GPG signing of third-party dependencies redistributed on the Eclipse ESCET update site.
* Upgraded JavaBDD 4.0.0 to 5.0.0 and get it directly from Maven Central, removing it from our repository. It has only packaging/metadata changes.
* Added one new third party feature that contains all the third party dependencies that we redistribute on our update site. No separate feature per plugin anymore, which eases maintenance. Eclipse Platform does it in a similar way now.
* The `thirdparty` directory now is an Eclipse project as well, like the other folders.
Quite some commits to get it right. Best reviewed as a full diff, I think.
Closes #568v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/572#568 Update DEPENDENCIES.txt for output on Jenkins.2023-05-02T15:36:28ZDennis Hendriks#568 Update DEPENDENCIES.txt for output on Jenkins.Closes #568Closes #568v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/629#569 DEPENDENCIES.txt update.2023-08-15T08:06:37ZDennis Hendriks#569 DEPENDENCIES.txt update.Change as on Jenkins we seem to get slightly different output than I get locally.
Closes #569Change as on Jenkins we seem to get slightly different output than I get locally.
Closes #569v1.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/606#569 Upgrade from JUnit 4 to JUnit 52024-02-04T09:08:50ZFerdie Reijnen#569 Upgrade from JUnit 4 to JUnit 5Closes #569Closes #569v1.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/601#569 Upgrade from JUnit 4 to JUnit 52023-06-11T12:14:42ZFerdie Reijnen#569 Upgrade from JUnit 4 to JUnit 5Addresses #569Addresses #569https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/34#56 CIF linearization crashes on channel without sender.2021-04-14T19:54:09ZFerdie Reijnen#56 CIF linearization crashes on channel without sender.Closes #56Closes #56https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/564#570 Ensure 'dsmclustering' command line script is executable.2023-04-28T10:20:37ZDennis Hendriks#570 Ensure 'dsmclustering' command line script is executable.Closes #570Closes #570v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/563#571 ToolDef readlines/writefile improvements2023-04-28T12:24:26ZDennis Hendriks#571 ToolDef readlines/writefile improvements* `readlines`/`writefile`: use try-with-resources.
* `readlines`: use UTF-8 encoding, to match `writefile`. Also, we always use UTF-8, rather than the default (platform) encoding, and especially ToolDef should be platform-independent.
* ...* `readlines`/`writefile`: use try-with-resources.
* `readlines`: use UTF-8 encoding, to match `writefile`. Also, we always use UTF-8, rather than the default (platform) encoding, and especially ToolDef should be platform-independent.
* `writefile`: different way of handling new lines.
* Added new optional `newline` argument.
* Default of `newline` is `platform`, for backward compatibility.
* Allows `preserve` for writing `text` to write raw `text`.
* Allows custom specific new lines to be used as well.
* No `preserve` when writing `lines` as then may be get mixed new lines.
* Extended ToolDef documentation for the `readlines`/`writefile` tools.
Closes #571v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/565#573 Print extra help text for ToolDef exit codes.2023-04-28T11:05:21ZDennis Hendriks#573 Print extra help text for ToolDef exit codes.See individual commits for details.
Closes #573See individual commits for details.
Closes #573v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/568#574 DEPENDENCIES.txt update for Dash license check tool output change.2023-04-28T14:53:40ZDennis Hendriks#574 DEPENDENCIES.txt update for Dash license check tool output change.Closes #574Closes #574v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/569#576 DEPENDENCIES.txt update for Dash license check tool output changes.2023-04-30T18:45:22ZDennis Hendriks#576 DEPENDENCIES.txt update for Dash license check tool output changes.Closes #576Closes #576v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/574#577 Change eclipse.org to eclipse.dev2023-05-08T19:17:10ZDennis Hendriks#577 Change eclipse.org to eclipse.dev* Changed `eclipse.org` to `eclipse.dev`, where relevant. I didn't update the namespace URIs of the metamodels, to ensure models stay backwards compatible. Since `eclipse.org` stays registered to the Eclipse Foundation, I don't think we ...* Changed `eclipse.org` to `eclipse.dev`, where relevant. I didn't update the namespace URIs of the metamodels, to ensure models stay backwards compatible. Since `eclipse.org` stays registered to the Eclipse Foundation, I don't think we need to change this.
* Changed `www.eclipse.dev` to `eclipse.dev`. The non-www variant is now the canonical URL, so removed all `www.` parts for `www.eclipse.dev/escet`. This also fixes bugs, as for `www.eclipse.org/escet/<version>` and now `www.eclipse.dev/escet/<version>`, `<version>` was not replaced for URLs with `www.`. For more robustness, now also `www.` URLs are rewritten.
* Removed an outdated comment in CIF documentation sources.
Most easily reviewed per commit, to see similar changes together.
Addresses #577v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/571#578 Added a new 'Tool invocation' option to the ToolDef interpreter2023-05-02T13:56:05ZDennis Hendriks#578 Added a new 'Tool invocation' option to the ToolDef interpreter* Also improved/fixed the documentation of ToolDef interpreter.
* Probably best to review per commit.
Closes #578* Also improved/fixed the documentation of ToolDef interpreter.
* Probably best to review per commit.
Closes #578v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/575#579 Update development setup documentation for JMV172023-05-08T07:30:52ZMartijn Goorden#579 Update development setup documentation for JMV17Closes #579.Closes #579.v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/65#57 Re-add Eclipse AsciiDoc Editor plugin to dev env (new update site).2021-05-16T18:02:11ZDennis Hendriks#57 Re-add Eclipse AsciiDoc Editor plugin to dev env (new update site).Addresses #57Addresses #57v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/63#57 Re-add Eclipse Checkstyle plugin to dev env + upgrade version.2021-05-16T18:01:16ZDennis Hendriks#57 Re-add Eclipse Checkstyle plugin to dev env + upgrade version.- Re-add Eclipse Checkstyle plugin to dev env, from new update site.
- Upgrade Checkstyle from 8.39 to 8.41 for plugin and Maven build.
Addresses #57- Re-add Eclipse Checkstyle plugin to dev env, from new update site.
- Upgrade Checkstyle from 8.39 to 8.41 for plugin and Maven build.
Addresses #57v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/66#57 Re-enable Maven build Eclipse help TOC generation.2021-05-16T18:01:34ZDennis Hendriks#57 Re-enable Maven build Eclipse help TOC generation.- New Maven repo location for geneclipsetoc plugin.
Addresses #57- New Maven repo location for geneclipsetoc plugin.
Addresses #57v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/58#57 Temporarily disable dl.bintray.com and geneclipsetoc in build.2021-05-03T16:22:25ZDennis Hendriks#57 Temporarily disable dl.bintray.com and geneclipsetoc in build. - dl.bintray.com has been discontinued.
- geneclipsetoc is used in Maven build to generate Eclipse help TOCs.
- geneclipsetoc is only hosted at dl.bintray.com for now.
- Disabled TOC generation for now.
Addresses #57 - dl.bintray.com has been discontinued.
- geneclipsetoc is used in Maven build to generate Eclipse help TOCs.
- geneclipsetoc is only hosted at dl.bintray.com for now.
- Disabled TOC generation for now.
Addresses #57v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/57#57 Temporarily remove BinTray-hosted functionality from Oomph setup.2021-05-03T15:25:55ZDennis Hendriks#57 Temporarily remove BinTray-hosted functionality from Oomph setup.- The following will not be available in the development environment:
- AsciiDoctor editor.
- Checkstyle plugin.
Closes #57- The following will not be available in the development environment:
- AsciiDoctor editor.
- Checkstyle plugin.
Closes #57v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/577#580 Data-based synth updates conversion: reverse unchanged vars order.2023-05-08T19:19:52ZDennis Hendriks#580 Data-based synth updates conversion: reverse unchanged vars order.* This improves the performance of synthesis, or rather the conversion of the CIF model to the synthesis representation. See #580 for an explanation why this is the case.
* I'll add benchmarking results in a separate comment.
Closes #580* This improves the performance of synthesis, or rather the conversion of the CIF model to the synthesis representation. See #580 for an explanation why this is the case.
* I'll add benchmarking results in a separate comment.
Closes #580v0.10