escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2023-03-28T06:12:07Zhttps://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/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/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/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/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.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/525#364 Add multi agent formation model as CIF benchmark model.2023-03-11T13:23:04ZDennis Hendriks#364 Add multi agent formation model as CIF benchmark model.Addresses #364Addresses #364v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/524#364 Add themepark model as CIF benchmark model.2023-03-11T13:22:56ZDennis Hendriks#364 Add themepark model as CIF benchmark model.Addresses #364Addresses #364v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/523#364 Add cluster tool as CIF benchmark model.2023-03-11T13:22:34ZDennis Hendriks#364 Add cluster tool as CIF benchmark model.Addresses #364Addresses #364v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/522#364 Add AGV model as CIF benchmark model.2023-03-11T13:22:10ZDennis Hendriks#364 Add AGV model as CIF benchmark model.Addresses #364Addresses #364v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/521#538 Generalized and improved benchmarking scripts.2023-03-11T17:22:39ZDennis Hendriks#538 Generalized and improved benchmarking scripts.* Improved terminology.
* Print configurations used for benchmarking, before starting with any synthesis.
* Simplified configuring the configurations for which to run synthesis. Is more flexible and powerful as well.
* Allow running a su...* Improved terminology.
* Print configurations used for benchmarking, before starting with any synthesis.
* Simplified configuring the configurations for which to run synthesis. Is more flexible and powerful as well.
* Allow running a subset of the configurations, to e.g., rerun parts of it, or run parts of it in parallel.
* More robust against partial/missing information.
* More robust against inconsistent/duplicate information.
* Some other smaller improvements.
Best reviewed per commit. See commit messages for further details.
Closes #538v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/519#544 Event-based synthesis should allow specifications without requirements.2023-03-04T10:15:46ZMartijn Goorden#544 Event-based synthesis should allow specifications without requirements.Closes #544.Closes #544.v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/516#418 Add model for PLC expressions and statements.2023-04-13T11:39:17ZAlbert Hofkamp#418 Add model for PLC expressions and statements.Adresses #418
Adding data classes for constructing PLC expression and statements object trees, together with a conversion to text.Adresses #418
Adding data classes for constructing PLC expression and statements object trees, together with a conversion to text.v0.9Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/515#539 Improve CIF data-based synthesis benchmarking overview HTML2023-03-04T08:46:08ZDennis Hendriks#539 Improve CIF data-based synthesis benchmarking overview HTML- More colors, besides only green, to better see what are best and worst metric values.
- Several small HTML styling improvements.
- Added handling of unknown values, which are generated, but were not yet handled by overview generation.
...- More colors, besides only green, to better see what are best and worst metric values.
- Several small HTML styling improvements.
- Added handling of unknown values, which are generated, but were not yet handled by overview generation.
- Generated overview now supports both absolute and relative metric values.
Best reviewed per commit.
Closes #539v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/514#299 Add warning for duplicated event in state/event exclusion invariant2023-03-02T05:16:25ZFerdie Reijnen#299 Add warning for duplicated event in state/event exclusion invariantCloses #299Closes #299v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/513#537 Add Body Comfort System (BCS) benchmarking model.2023-02-27T22:20:52ZDennis Hendriks#537 Add Body Comfort System (BCS) benchmarking model.- Builds on top of !509, as that changes the API for benchmarking scripts.
Closes #537- Builds on top of !509, as that changes the API for benchmarking scripts.
Closes #537v0.9