escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2023-12-21T15:34:02Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/732#715 JavaScript codegen: utils class is missing 'intToReal'.2023-12-21T15:34:02ZDennis Hendriks#715 JavaScript codegen: utils class is missing 'intToReal'.* Small bugfix.
Addresses #715* Small bugfix.
Addresses #715v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/731#679 Add 'cifplcgen' to scriptable tools overview in CIF docs.2023-12-21T13:19:29ZDennis Hendriks#679 Add 'cifplcgen' to scriptable tools overview in CIF docs.* Small change. Was missed when we added the new command line tool.
Addresses #679* Small change. Was missed when we added the new command line tool.
Addresses #679v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/730#715 HTML codegen docs: explain resizing of lower area.2023-12-21T13:19:40ZDennis Hendriks#715 HTML codegen docs: explain resizing of lower area.* Small addition. I forgot to explain this in the documentation.
Addresses #715* Small addition. I forgot to explain this in the documentation.
Addresses #715v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/727#715 JavaScript code generation: improve 'fmt' function2023-12-20T23:19:56ZDennis Hendriks#715 JavaScript code generation: improve 'fmt' function* Best to review per commit.
* Fixes several issues.
* Still not full `fmt` function support, but that is for after %"v2.0". This should be sufficient for now.
Addresses #715* Best to review per commit.
* Fixes several issues.
* Still not full `fmt` function support, but that is for after %"v2.0". This should be sufficient for now.
Addresses #715v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/726#715 Update JavaScript code generation documentation + add HTML code generati...2023-12-20T23:45:51ZDennis Hendriks#715 Update JavaScript code generation documentation + add HTML code generation documentation* Update JavaScript code generation documentation. Aligned with Java code generator documentation, but made sure it is accurate for JavaScript code generation implementation.
* Add HTML code generation documentation.
* Update CIF code ge...* Update JavaScript code generation documentation. Aligned with Java code generator documentation, but made sure it is accurate for JavaScript code generation implementation.
* Add HTML code generation documentation.
* Update CIF code generator documentation in general for now always generating an enumeration for most target languages.
Addresses #715v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/725#715 JavaScriptTupleTypeInfo: don't generate 'equals' method.2023-12-20T23:18:02ZDennis Hendriks#715 JavaScriptTupleTypeInfo: don't generate 'equals' method.Addresses #715Addresses #715v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/724#715 JavaScriptCodeGen: eventId -> eventIdx.2023-12-20T23:17:47ZDennis Hendriks#715 JavaScriptCodeGen: eventId -> eventIdx.- Improves consistency and clarity.
Addresses #715- Improves consistency and clarity.
Addresses #715v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/723#715 CIF code generator: Add JavaScript and HTML target languages.2023-12-20T15:17:48ZRik Lubking#715 CIF code generator: Add JavaScript and HTML target languages.#715 - Add export target Language HTML and JavaScript.
Main changes:
* Moves css into html template.
* Moved JavaScript out of html template.
* Added JavaScript/HTML export options as target languages.
* Added write method/logic for mer...#715 - Add export target Language HTML and JavaScript.
Main changes:
* Moves css into html template.
* Moved JavaScript out of html template.
* Added JavaScript/HTML export options as target languages.
* Added write method/logic for merging JavaScript into HTML export.
Other changes:
* Frequency for HTML page was changed from 20 to 60.
* The 'download log' bugs have been fixed.
* The empty option category for JavaScript code generation was removed.
* Improved `equals` method for generated tuple classes in JS codegen.
Addresses #715v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/721#272 CIF codegen: add SVG code generation to JavaScript code generator.2023-12-19T20:20:03ZDennis Hendriks#272 CIF codegen: add SVG code generation to JavaScript code generator.* Since we can't merge !716, this merge request replaces it.
* I put everything into a single commit, so history is lost. But, the history can still be found in !716. I did attribute @riklubking and @gvlit as co-authors for the single co...* Since we can't merge !716, this merge request replaces it.
* I put everything into a single commit, so history is lost. But, the history can still be found in !716. I did attribute @riklubking and @gvlit as co-authors for the single commit.
* The last commit by @riklubking to fix the 'download log' button, is not present here. We can do it in a next merge request.
Addresses #272v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/719#712 Lithography benchmark model has duplicate invariants2023-12-19T07:35:45ZFerdie Reijnen#712 Lithography benchmark model has duplicate invariantsCloses #712Closes #712v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/717#713 ExprNoSpecificBinaryExprsCheckLevel cif test has mistake for modulus test2023-12-15T12:53:33ZFerdie Reijnen#713 ExprNoSpecificBinaryExprsCheckLevel cif test has mistake for modulus testCloses #713Closes #713v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/715#708 Event-based tools add state annotations to the output CIF models2023-12-11T16:26:54ZDennis Hendriks#708 Event-based tools add state annotations to the output CIF models* Best to review per commit.
* Adding state annotations is configurable using an option, similar to the CIF explorer.
* Added some additional tests, and renamed some tests.
* Fixed DFA minimization to produce results with origin informat...* Best to review per commit.
* Adding state annotations is configurable using an option, similar to the CIF explorer.
* Added some additional tests, and renamed some tests.
* Fixed DFA minimization to produce results with origin information, and thus state annotations (extra commits at the end).
* Updated the documentation. Also improved the documentation with an extra link.
Closes #708v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/713#709 Fix comments in simplify_values* tests + extend the tests2023-12-11T16:26:37ZDennis Hendriks#709 Fix comments in simplify_values* tests + extend the tests* Best to review per commit.
* Fixed the comments.
* Extended the tests a bit. Was inspired by issues I encountered in #697 and #698.
Closes #709* Best to review per commit.
* Fixed the comments.
* Extended the tests a bit. Was inspired by issues I encountered in #697 and #698.
Closes #709v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/712#697 Additional type checking constraints for state annotations2023-12-16T11:18:10ZDennis Hendriks#697 Additional type checking constraints for state annotations* Best to review per commit.
* Added additional type checking constraints for state annotations.
* Improved/extended the documentation for state annotations a bit.
* Fixed typos in JavaDoc of `AnnotationProblemReporter`.
Closes #697* Best to review per commit.
* Added additional type checking constraints for state annotations.
* Improved/extended the documentation for state annotations a bit.
* Fixed typos in JavaDoc of `AnnotationProblemReporter`.
Closes #697v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/711#698 Fix CIF explorer state annotation argument value type creation (2nd atte...2023-12-18T20:08:07ZDennis Hendriks#698 Fix CIF explorer state annotation argument value type creation (2nd attempt)Closes #698Closes #698v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/710#272 Generate variables and functions for JavaScript export target2023-12-19T09:05:37ZRik Lubking#272 Generate variables and functions for JavaScript export target- Added all required JavaScript implementations for generation of variables and functions for the JavaScript export target.
Addresses #272- Added all required JavaScript implementations for generation of variables and functions for the JavaScript export target.
Addresses #272v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/708#692 Allow annotating a CIF object multiple times with the same annotation2023-12-04T16:39:20ZDennis Hendriks#692 Allow annotating a CIF object multiple times with the same annotation* Best to review per commit.
* Also fixed reference manual index page, as it was missing link to state annotations page.
Closes #692* Best to review per commit.
* Also fixed reference manual index page, as it was missing link to state annotations page.
Closes #692v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/707#684 CifToPlcTrans: configure linearization consistent with precond check2023-12-01T12:18:38ZFerdie Reijnen#684 CifToPlcTrans: configure linearization consistent with precond checkCloses #684Closes #684v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/706#694 CIF codegen TypeInfoHelper: make target-specific data value.2023-11-30T08:20:50ZDennis Hendriks#694 CIF codegen TypeInfoHelper: make target-specific data value.* Best to review per commit.
* `TypeInfoHelper` is not just for Java, so fixed the JavaDoc of that class.
* Don't create hard-coded `JavaDataValue` in `TypeInfoHelper`, but via the context ask the code generator for the specific target.
...* Best to review per commit.
* `TypeInfoHelper` is not just for Java, so fixed the JavaDoc of that class.
* Don't create hard-coded `JavaDataValue` in `TypeInfoHelper`, but via the context ask the code generator for the specific target.
* Also fixed some JavaDocs and made them consistent.
Closes #694v2.0https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/705#686 Confluence check: more debug output and more termination checking2023-12-04T09:18:38ZMartijn Goorden#686 Confluence check: more debug output and more termination checkingSolution assumes that termination request cannot be unrequested. Otherwise the tool might return incorrect results.
Closes #686.Solution assumes that termination request cannot be unrequested. Otherwise the tool might return incorrect results.
Closes #686.v2.0