escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2021-07-01T18:23:58Zhttps://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/107Resolve "Enhance debug output of the rail diagram generator"2021-07-02T08:15:07ZAlbert HofkampResolve "Enhance debug output of the rail diagram generator"Closes #125
Add debug options to dump computed coordinates the relate directly to pixel positions.Closes #125
Add debug options to dump computed coordinates the relate directly to pixel positions.v0.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/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/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/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/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/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/114#108 additional checks/warnings for data based synthesis related to state eve...2021-07-13T11:18:13ZFerdie Reijnen#108 additional checks/warnings for data based synthesis related to state event exclusion invariants.Closes #108.Closes #108.https://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/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/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/118#122 Finite response checker2021-07-12T12:09:15ZFerdie Reijnen#122 Finite response checkerPlease merge into !97 and review collectively.Please merge into !97 and review collectively.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/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/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/123#153 Updated dependencies file2021-08-19T15:08:57ZFerdie Reijnen#153 Updated dependencies fileCloses #153.Closes #153.v0.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/125#157 Fail license check early for Dash license tool Maven failures.2021-09-01T15:16:10ZDennis Hendriks#157 Fail license check early for Dash license tool Maven failures.Closes #157Closes #157v0.3https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/126#161 License check result update for xerces.2021-08-26T09:18:33ZDennis Hendriks#161 License check result update for xerces.Closes #161Closes #161v0.3