escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2023-04-05T06:29:57Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/551#377 Legacy hyper-edge creator: consider location invariants.2023-04-05T06:29:57ZDennis Hendriks#377 Legacy hyper-edge creator: consider location invariants.- Previously, for each location, the automaton invariants were handled, where the location invariants were to be processed.
- It was a copy/paste bug.
- This could affect synthesis performance.
Closes #377- Previously, for each location, the automaton invariants were handled, where the location invariants were to be processed.
- It was a copy/paste bug.
- This could affect synthesis performance.
Closes #377v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/550#563 Improve CIF data-synthesis main fixed point loop sections2023-04-04T18:43:49ZDennis Hendriks#563 Improve CIF data-synthesis main fixed point loop sections- Changes: clearer comments to indicate which section belongs to which operation.
- Dedicated 'end of fixed point loop' detections for 2nd and 3rd operations. No more split or shared functionality.
- All changes of this branch are backwa...- Changes: clearer comments to indicate which section belongs to which operation.
- Dedicated 'end of fixed point loop' detections for 2nd and 3rd operations. No more split or shared functionality.
- All changes of this branch are backward compatible. None of these changes change synthesis behavior (hence to test output has changed either). Only the code is changed to make it easier to follow.
- I made separate commits to reduce the Git diff per commit as much as possible. The one where indentation is changed looks complicated, but only two code blocks changed indentation.
- I know a lot else can be improved in the data-based synthesis tool, but the only goal here is to make the sections dedicated per operation, and to then make it clear to which operation each section belongs.
Closes #563v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/552#564 CIF benchmark script: use normal output instead of debug output.2023-04-03T13:29:00ZDennis Hendriks#564 CIF benchmark script: use normal output instead of debug output.* Makes synthesis faster, without affecting the platform-independent BDD metrics.
* Also makes benchmarking require less less disk space, as there is less output to store.
Closes #564* Makes synthesis faster, without affecting the platform-independent BDD metrics.
* Also makes benchmarking require less less disk space, as there is less output to store.
Closes #564v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/518#540 Refactor AppStream to detect all EOL sequences.2023-04-01T10:45:57ZAlbert Hofkamp#540 Refactor AppStream to detect all EOL sequences.Implementing recognizing `\r`, `\n`, and `\r\n` sequences as an EOL sequence, to be replaced by the configured replacement in `AppStream`.
Addresses #540Implementing recognizing `\r`, `\n`, and `\r\n` sequences as an EOL sequence, to be replaced by the configured replacement in `AppStream`.
Addresses #540v0.9Albert HofkampAlbert Hofkamphttps://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/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/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/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/319#364 CIF data-based synthesis performance test models: water_lock2023-03-14T12:59:59ZFerdie Reijnen#364 CIF data-based synthesis performance test models: water_lockAddresses #364Addresses #364v0.6https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/426#464 Include state/event exclusion invariants in linearized hyper-edge creator2023-03-12T11:23:27ZDennis Hendriks#464 Include state/event exclusion invariants in linearized hyper-edge creatorCloses #464Closes #464v0.8https://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/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.9