escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2023-02-01T19:35:34Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/496#527 DEPENDENCIES.txt updated for Dash license tool output change.2023-02-01T19:35:34ZDennis Hendriks#527 DEPENDENCIES.txt updated for Dash license tool output change.Closes #527Closes #527v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/614#526 Add controlled system state space size as statistics option2023-06-22T19:37:11ZDennis Hendriks#526 Add controlled system state space size as statistics option* Add it as a statistic. ~Enabled by default.~
* Normal output now, no longer debug output. Still separated from debug output as before though.
* No more extra indentation to match debug output. (similar to other statistics)
* Updated be...* Add it as a statistic. ~Enabled by default.~
* Normal output now, no longer debug output. Still separated from debug output as before though.
* No more extra indentation to match debug output. (similar to other statistics)
* Updated benchmark script, updated/added tests, updated/added documentation.
Best reviewed per commit.
Closes #526v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/499#525 CIF to CIF transformation to remove unused events2023-02-10T14:13:21ZMartijn Goorden#525 CIF to CIF transformation to remove unused eventsCloses #525.Closes #525.v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/666#524 Change color of warnings in Console2023-10-16T06:29:57ZFerdie Reijnen#524 Change color of warnings in ConsoleCloses #524
Dark mode:
![image](/uploads/908fd96a12fab3767dca271ccafe0b48/image.png)
Contrast ratio 8.26 : 1
Light mode:
![image](/uploads/439f83e817dafa9af24dd17113515637/image.png)
Contrast ratio 4.01 : 1 (Same as the red color we u...Closes #524
Dark mode:
![image](/uploads/908fd96a12fab3767dca271ccafe0b48/image.png)
Contrast ratio 8.26 : 1
Light mode:
![image](/uploads/439f83e817dafa9af24dd17113515637/image.png)
Contrast ratio 4.01 : 1 (Same as the red color we use, but maybe we want more contrast, it does not pass the WCAG AA test, which requires 4.5)
Let me know what you think. If we don't like a separate warning stream, that is also fine.v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/567#523 Optimize enforcement of state plant invariants like state requirement in...2023-06-22T19:54:29ZDennis Hendriks#523 Optimize enforcement of state plant invariants like state requirement invariantsIt seems for the test models we have, the change actually makes things worse. Then again, we had something similar for state requirement invariants, if I remember correctly. The test models are simply too small and too few to reach any r...It seems for the test models we have, the change actually makes things worse. Then again, we had something similar for state requirement invariants, if I remember correctly. The test models are simply too small and too few to reach any real conclusion. And for real-world models, for state requirement invariants, it did actually improve performance, a lot. So, here we just do the same for state plant invariants. We currently don't have enough test or real-world models to conclude what is best either way.
Closes #523v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/509#522 Add cat and mouse tower benchmark models2023-02-24T07:59:50ZDennis Hendriks#522 Add cat and mouse tower benchmark models- Initial commit has generator that generates models that match the GitHub repo.
- Subsequent commits have improvements, to support both the original version and modified versions, improve layout of generated models, etc.
- Changed bench...- Initial commit has generator that generates models that match the GitHub repo.
- Subsequent commits have improvements, to support both the original version and modified versions, improve layout of generated models, etc.
- Changed benchmarking base script as well, to allow multiple benchmark models from a single folder.
Closes #522v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/493#521 Update https://www.eclipse.org/escet/cif/tools/cifsim/debug-gen-code.html2023-01-28T07:31:23ZFerdie Reijnen#521 Update https://www.eclipse.org/escet/cif/tools/cifsim/debug-gen-code.htmlCloses #521Closes #521v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/587#520 Add workset algorithm to data-based synthesis2023-05-30T18:50:19ZDennis Hendriks#520 Add workset algorithm to data-based synthesis* This adds the workset algorithm. Its 2 key ingredients, the edge selection heuristic and edge/event dependency sets, will be improved in later merge requests. See also the step by step plain in #520.
* Best to review per commit.
* I al...* This adds the workset algorithm. Its 2 key ingredients, the edge selection heuristic and edge/event dependency sets, will be improved in later merge requests. See also the step by step plain in #520.
* Best to review per commit.
* I also tested it by running the benchmarks with and without the workset algorithm, and running all tests with the workset algorithm. This didn't reveal any issues.
Addresses #520v0.10https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/48#51 Make SeText documentation multi-page like other documentation sets.2021-04-30T16:35:17ZFerdie Reijnen#51 Make SeText documentation multi-page like other documentation sets.Closes #51Closes #51https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/56#51 Fix license header check exceptions for SeText documentation.2021-05-01T15:25:12ZDennis Hendriks#51 Fix license header check exceptions for SeText documentation.Closes #51Closes #51v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/489#519 Fix errors and warnings in develop.2023-01-24T08:00:52ZDennis Hendriks#519 Fix errors and warnings in develop.Closes #519Closes #519v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/488#518 Removed duplicate polyglot global Git ignore.2023-01-24T07:01:22ZDennis Hendriks#518 Removed duplicate polyglot global Git ignore.Closes #518Closes #518v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/483#517 Type checker must ensure that all objects have position info.2023-01-24T07:23:03ZDennis Hendriks#517 Type checker must ensure that all objects have position info.* This is a prerequisite for reporting CIF check violations on any object that has a violation, in #454.
* This separates out changes from !464 that are not really in scope of #454.
* Also optimizes int to real widening in CIF type check...* This is a prerequisite for reporting CIF check violations on any object that has a violation, in #454.
* This separates out changes from !464 that are not really in scope of #454.
* Also optimizes int to real widening in CIF type checker; there is no need to create the integer literal/type if they are not used.
* Best reviewed per commit.
Closes #517v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/480#516 Refactor plcgen2023-01-23T17:25:52ZAlbert Hofkamp#516 Refactor plcgenShould be readable by viewing each commit. Fixing moved code is often done separately so this doesn't compile after each commit.
Closes #516Should be readable by viewing each commit. Fixing moved code is often done separately so this doesn't compile after each commit.
Closes #516v0.9Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/484#513 Made CIF simulator unsupported message for time-dependent state invarian...2023-01-22T09:32:09ZFerdie Reijnen#513 Made CIF simulator unsupported message for time-dependent state invariants more specificCloses #513Closes #513v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/485#512 Initial value of pos in https://www.eclipse.org/escet/v0.1/cif/#tut-time...2023-01-22T09:31:48ZFerdie Reijnen#512 Initial value of pos in https://www.eclipse.org/escet/v0.1/cif/#tut-time-chapter-deadlock-livelockCloses #512Closes #512v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/486#510 Initial value raises questions on https://www.eclipse.org/escet/cif/lang...2023-01-23T19:04:01ZFerdie Reijnen#510 Initial value raises questions on https://www.eclipse.org/escet/cif/language-tutorial/channels/intro.htmlCloses #510Closes #510v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/71#50 Rethink sign-off instructions/documentation.2021-05-17T15:24:02ZFerdie Reijnen#50 Rethink sign-off instructions/documentation.Closes #50Closes #50https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/490#509 Text too firm on https://www.eclipse.org/escet/cif/language-tutorial/dat...2023-01-28T07:32:15ZFerdie Reijnen#509 Text too firm on https://www.eclipse.org/escet/cif/language-tutorial/data/state-evt-excl-invariants.htmlCloses #509Closes #509v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/476#506 Copy, paste, not-modified error on https://www.eclipse.org/escet/cif/lan...2023-01-12T21:26:47ZFerdie Reijnen#506 Copy, paste, not-modified error on https://www.eclipse.org/escet/cif/language-tutorial/data/state-invariants.htmlCloses #506Closes #506v0.9