escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2021-06-23T20:17:09Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/103#128 Java common test case fails due to wrong decimal separator2021-06-23T20:17:09ZFerdie Reijnen#128 Java common test case fails due to wrong decimal separatorCloses #128.Closes #128.https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/106#129 Elim enums and algebraic variables as preprocessing for CIF to Uppaal.2021-07-01T18:23:58ZFerdie Reijnen#129 Elim enums and algebraic variables as preprocessing for CIF to Uppaal.Closes #129.Closes #129.https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/11#12 Update release process for tags and GitLab release record.2021-03-05T10:08:25ZDennis Hendriks#12 Update release process for tags and GitLab release record.Addresses #12
#12 Update release process for tags and GitLab release record.Addresses #12
#12 Update release process for tags and GitLab release record.v0.1https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/111#131 develop to master for v0.2-RC12021-07-02T18:40:25ZDennis Hendriks#131 develop to master for v0.2-RC1https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/113#131 Merge develop to master for v0.2-RC1, with #138 fix.2021-07-02T19:48:26ZDennis Hendriks#131 Merge develop to master for v0.2-RC1, with #138 fix.https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/109#131 Updated release notes for release v0.2.2021-07-02T18:36:01ZDennis Hendriks#131 Updated release notes for release v0.2.Addresses #131Addresses #131v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/108#132 Update DEPENDENCIES.txt for org.apache.batik.dom.svg 1.14.2021-07-01T18:53:38ZDennis Hendriks#132 Update DEPENDENCIES.txt for org.apache.batik.dom.svg 1.14.Closes #132Closes #132v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/110#133 Merge string concatenations on a single line into a single string in Jav...2021-07-02T18:33:42ZFerdie Reijnen#133 Merge string concatenations on a single line into a single string in Java code.Closes #133.Closes #133.https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/117#136 Update DEPENDENCIES.txt for groovy 3.0.8.2021-07-09T07:52:03ZDennis Hendriks#136 Update DEPENDENCIES.txt for groovy 3.0.8.Closes #136Closes #136v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/115#137 Prepare for v0.3 development2021-07-08T19:27:13ZDennis Hendriks#137 Prepare for v0.3 developmentCloses #137Closes #137v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/112#138 Fix signing Windows executables and macOS app.2021-07-02T19:47:01ZDennis Hendriks#138 Fix signing Windows executables and macOS app.Closes #138Closes #138v0.2https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/116#139 #140 remove inherintence of supervisory kind for invariants2021-07-16T14:05:12ZFerdie Reijnen#139 #140 remove inherintence of supervisory kind for invariantsCloses #139.
Closes #140.Closes #139.
Closes #140.https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/119#141 CollectUtils should use collection interface.2021-07-10T19:43:05ZFerdie Reijnen#141 CollectUtils should use collection interface.Closes #141Closes #141https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/251#142 CIF to PLC should support Siemens S72024-01-19T08:48:50ZFerdie Reijnen#142 CIF to PLC should support Siemens S7Closes #142Closes #142v0.5https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/120#143 Using constant results in unsupported linearized guard with data-based s...2021-07-16T13:51:01ZFerdie Reijnen#143 Using constant results in unsupported linearized guard with data-based synthesis.Closes #143.Closes #143.v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/128#144 Changed supervisor simplification for events that are not enabled in the...2021-08-31T08:20:10ZFerdie Reijnen#144 Changed supervisor simplification for events that are not enabled in the system to true.Closes #144Closes #144v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/351#145 Add confluence check to controllercheck2023-08-23T20:26:59ZAlbert Hofkamp#145 Add confluence check to controllercheckAdds confluence checking to the `controllercheck` application, as both properties should hold before a specification can be used in a PLC implementation.
Refactored computing MDD and other data into a new class, which is then made avail...Adds confluence checking to the `controllercheck` application, as both properties should hold before a specification can be used in a PLC implementation.
Refactored computing MDD and other data into a new class, which is then made available to both finite response and confluence checking.
It is likely easier to read each commit separately.v0.7Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/121#148 Add switch expressions to data-based synthesis.2021-07-18T19:22:06ZFerdie Reijnen#148 Add switch expressions to data-based synthesis.Closes #148Closes #148v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/124#149 #154 Add test cases for CIF to PLC for TwinCAT2021-08-30T09:01:41ZFerdie Reijnen#149 #154 Add test cases for CIF to PLC for TwinCATCloses #149.
Closes #154.Closes #149.
Closes #154.v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/14#14 Copyright update to 2021.2022-01-04T08:53:31ZDennis Hendriks#14 Copyright update to 2021.Closes #14Closes #14v0.1