escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2024-01-05T13:02:37Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/757#500 Update license headers for 20242024-01-05T13:02:37ZFerdie Reijnen#500 Update license headers for 2024Closes #500Closes #500https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/474#501 Typo on https://www.eclipse.org/escet/cif/language-tutorial/2023-01-12T11:44:18ZFerdie Reijnen#501 Typo on https://www.eclipse.org/escet/cif/language-tutorial/Closes #501Closes #501v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/492#502 Extended description on what behavior is and is not possible for CIF aut...2023-02-14T21:15:53ZFerdie Reijnen#502 Extended description on what behavior is and is not possible for CIF automataCloses #502Closes #502v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/475#503 Bug in example on https://www.eclipse.org/escet/cif/language-tutorial/ba...2023-01-12T11:45:43ZFerdie Reijnen#503 Bug in example on https://www.eclipse.org/escet/cif/language-tutorial/basics/non-determinism.htmlCloses #503Closes #503v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/491#504 Renamed section to ranged integers.2023-01-28T10:56:04ZFerdie Reijnen#504 Renamed section to ranged integers.Closes #504Closes #504v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/481#505 Fix raildiagram text2023-01-23T18:07:54ZAlbert Hofkamp#505 Fix raildiagram textFixes #505
Also does a few other minor fixes.
Reading each commit separately is recommended, or the big deletes make not much sense.
This is just the patched code, I'd guess some other things should be done too, but not sure what.
At ...Fixes #505
Also does a few other minor fixes.
Reading each commit separately is recommended, or the big deletes make not much sense.
This is just the patched code, I'd guess some other things should be done too, but not sure what.
At the very least we should decide an approach together with !473v0.9Albert HofkampAlbert Hofkamphttps://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.9https://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/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/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/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/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/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/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/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/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/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/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/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/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.9