escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2023-03-31T10:30:57Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/545#481 develop to master for v0.92023-03-31T10:30:57ZDennis Hendriks#481 develop to master for v0.9Addresses #481Addresses #481v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/544#481 Update release notes for v0.9.2023-03-31T10:02:28ZDennis Hendriks#481 Update release notes for v0.9.Addresses #481Addresses #481v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/543#561 Update DEPENDENCIES.txt for changed Dash license tool output.2023-03-29T11:58:28ZDennis Hendriks#561 Update DEPENDENCIES.txt for changed Dash license tool output.Closes #561Closes #561v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/542#480 develop to master for v0.9-RC12023-03-28T06:28:35ZDennis Hendriks#480 develop to master for v0.9-RC1Addresses #480Addresses #480v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/541#480 develop to master for v0.9-RC12023-03-28T06:11:48ZDennis Hendriks#480 develop to master for v0.9-RC1Addresses #480Addresses #480v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/540#480 Release notes updates for v0.9-RC1.2023-03-28T06:12:07ZDennis Hendriks#480 Release notes updates for v0.9-RC1.Addresses #480Addresses #480v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/539#489 Add simulation scenarios readme to CIF bridge example.2023-03-27T13:46:18ZDennis Hendriks#489 Add simulation scenarios readme to CIF bridge example.Closes #489Closes #489v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/538#379 CIF data-based synthesis variable ordering new default2023-03-22T11:57:27ZDennis Hendriks#379 CIF data-based synthesis variable ordering new default- DCSH is enabled by default now. Linearized hyper-edges are used by default for FORCE and sliding window.
- Best reviewed per commit.
Closes #379- DCSH is enabled by default now. Linearized hyper-edges are used by default for FORCE and sliding window.
- Best reviewed per commit.
Closes #379v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/537#552 Fix BDD variable order option name in CIF documentation.2023-03-21T12:26:29ZDennis Hendriks#552 Fix BDD variable order option name in CIF documentation.* Rename 'BDD variable order' option in CIF docs to correct name.
* Improve JavaDoc of `BddVariableOrderOption` class.
Closes #552* Rename 'BDD variable order' option in CIF docs to correct name.
* Improve JavaDoc of `BddVariableOrderOption` class.
Closes #552v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/536#551 CIF benchmark HTML overview gets averages and sorting2023-03-20T08:16:02ZDennis Hendriks#551 CIF benchmark HTML overview gets averages and sorting* Averages: Both 'Average' and 'Weighted average' are now present as columns. Best value for the model, per metric, is used as weight.
* Additional information: Added table with number of configurations and models, as well as a table wit...* Averages: Both 'Average' and 'Weighted average' are now present as columns. Best value for the model, per metric, is used as weight.
* Additional information: Added table with number of configurations and models, as well as a table with warnings in case of missing information.
* Sorting: Allow sorting on 'Nr', 'Average' and 'Weighted avg.'. Sorting one metric table sorts the other table to the same order.
* There are some more smaller changes. See the individual commits for the details.
Closes #551v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/535#550 Export non-exported packages to silence warnings.2023-03-20T08:13:22ZDennis Hendriks#550 Export non-exported packages to silence warnings.Closes #550Closes #550v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/534#364 Add swarm robotics CIF benchmark models.2023-03-17T07:51:29ZDennis Hendriks#364 Add swarm robotics CIF benchmark models.Addresses #364Addresses #364v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/533#364 Small fix in lithography_init CIF benchmark model _source.txt file.2023-03-17T07:51:32ZDennis Hendriks#364 Small fix in lithography_init CIF benchmark model _source.txt file.Addresses #364Addresses #364v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/532#364 Add ball sorting system as CIF benchmarking model2024-01-25T16:03:58ZDennis Hendriks#364 Add ball sorting system as CIF benchmarking model* Cleaned up the model a bit. Kept both original and adapted models.
* Fixed some issues with the model (typo, warnings). See separate commits.
Addresses #364* Cleaned up the model a bit. Kept both original and adapted models.
* Fixed some issues with the model (typo, warnings). See separate commits.
Addresses #364v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/531#549 DEPENDENCIES.txt update for Dash license check tool output change.2023-03-13T09:15:44ZDennis Hendriks#549 DEPENDENCIES.txt update for Dash license check tool output change.Closes #549Closes #549v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/530#541 No longer generate rail diagrams during the build2023-03-13T10:38:41ZDennis Hendriks#541 No longer generate rail diagrams during the build* Best reviewed per commit.
Closes #541* Best reviewed per commit.
Closes #541v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/529#547 DEPENDENCIES.txt update for Dash license check tool output change.2023-03-11T14:22:38ZDennis Hendriks#547 DEPENDENCIES.txt update for Dash license check tool output change.Closes #547Closes #547v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/528#546 Write DMM as text in Dmm.toString()2023-04-01T10:45:57ZAlbert Hofkamp#546 Write DMM as text in Dmm.toString()Closes #546
Multi-level Dmm output in tests is a text-file rather than a pure CSV file, therefore using normal EOL sequences is sufficient.Closes #546
Multi-level Dmm output in tests is a text-file rather than a pure CSV file, therefore using normal EOL sequences is sufficient.v0.9Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/527#364 Add ADAS model as CIF benchmark model.2023-03-11T13:23:16ZDennis Hendriks#364 Add ADAS model as CIF benchmark model.Addresses #364Addresses #364v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/526#364 Add production cell as CIF benchmark model.2023-03-11T13:23:10ZDennis Hendriks#364 Add production cell as CIF benchmark model.Addresses #364Addresses #364v0.9