- 01 Feb, 2023 2 commits
-
-
Dennis Hendriks authored
#527 DEPENDENCIES.txt updated for Dash license tool output change. Closes #527 See merge request !496
-
Dennis Hendriks authored
-
- 30 Jan, 2023 1 commit
-
-
Dennis Hendriks authored
Merge branch '198-efficient-enforcement-of-state-invariant-requirements-in-databased-synthesis-2' into 'develop' #198 State requirement invariants per edge: replace simplify by a skip. Closes #198 See merge request !494
-
- 28 Jan, 2023 5 commits
-
-
Ferdie Reijnen authored
Merge branch '504-missing-info-on-https-www-eclipse-org-escet-cif-language-tutorial-values-integers-html' into 'develop' #504 Renamed section to ranged integers. Closes #504 See merge request !491
-
Ferdie Reijnen authored
-
Ferdie Reijnen authored
Merge branch '509-text-too-firm-on-https-www-eclipse-org-escet-cif-language-tutorial-data-state-evt-excl' into 'develop' #509 Text too firm on https://www.eclipse.org/escet/cif/language-tutorial/data/state-evt-excl-invariants.html Closes #509 See merge request !490
-
Ferdie Reijnen authored
Merge branch '502-missing-info-on-https-www-eclipse-org-escet-cif-language-tutorial-basics-automata-html' into 'develop' #502 Extended description on what behavior is and is not possible Closes #502 See merge request !492
-
Ferdie Reijnen authored
Merge branch '521-update-https-www-eclipse-org-escet-cif-tools-cifsim-debug-gen-code-html' into 'develop' #521 Update https://www.eclipse.org/escet/cif/tools/cifsim/debug-gen-code.html Closes #521 See merge request !493
-
- 27 Jan, 2023 6 commits
-
-
Dennis Hendriks authored
-
Ferdie Reijnen authored
-
Ferdie Reijnen authored
-
Ferdie Reijnen authored
-
Ferdie Reijnen authored
-
Ferdie Reijnen authored
-
- 24 Jan, 2023 6 commits
-
-
Dennis Hendriks authored
Merge branch '198-efficient-enforcement-of-requirement-state-invariants-in-databased-synthesis' into 'develop' #198 Add alternative second approach to apply state requirement invariants during data-based synthesis Closes #198 See merge request !487
-
Dennis Hendriks authored
#519 Fix errors and warnings in develop. Closes #519 See merge request !489
-
Dennis Hendriks authored
-
Dennis Hendriks authored
Merge branch '517-cif-type-checker-should-produce-position-information-for-all-objects' into 'develop' #517 Type checker must ensure that all objects have position info. Closes #517 See merge request !483
-
Dennis Hendriks authored
#454 New plugin for the CIF checkers. See merge request !482
-
Ferdie Reijnen authored
#518 Removed duplicate polyglot global Git ignore. Closes #518 See merge request !488
-
- 23 Jan, 2023 20 commits
-
-
Ferdie Reijnen authored
Merge branch '112-Generate-Chi-railroad-diagrams-using-the-new-railroad-diagram-generator' into 'develop' #112 Generate Chi railroad diagrams using the new railroad diagram generator Closes #112 See merge request !473
-
Ferdie Reijnen authored
-
Dennis Hendriks authored
-
Dennis Hendriks authored
-
Dennis Hendriks authored
-
Dennis Hendriks authored
-
Ferdie Reijnen authored
Merge branch '510-initial-value-raises-questions-on-https-www-eclipse-org-escet-cif-language-tutorial-channels' into 'develop' #510 Initial value raises questions on https://www.eclipse.org/escet/cif/language-tutorial/channels/intro.html Closes #510 See merge request !486
-
-
Ferdie Reijnen authored
Merge branch 'develop' into 112-Generate-Chi-railroad-diagrams-using-the-new-railroad-diagram-generator
-
Ferdie Reijnen authored
#505 Fix raildiagram text Closes #505 See merge request !481
-
Albert Hofkamp authored
#516 Refactor plcgen Closes #516 See merge request !480
-
Albert Hofkamp authored
-
Albert Hofkamp authored
-
-
Albert Hofkamp authored
-
Albert Hofkamp authored
-
Albert Hofkamp authored
-
Albert Hofkamp authored
- PlcCodeStorage() constructs a skeleton project, lazily creates variable tables, finishing with adding the main program and the needed tables. - PlcTarget constructs and runs the entire generation process in one method. ------------------------ >8 ------------------------ ; Do not modify or remove the line above. ; Everything below it will be ignored. ; ; On branch 516-refactor-plcgen ; Changes to be committed: ; modified: src/org/eclipse/escet/cif/plcgen/generators/PlcCodeStorage.java ; modified: src/org/eclipse/escet/cif/plcgen/targets/PlcTarget.java ; ; Untracked files: ; ../../common/org.eclipse.escet.common.raildiagrams/diag.png ; ../../common/org.eclipse.escet.common.raildiagrams/diag.props ; ../../common/org.eclipse.escet.common.raildiagrams/diag.rr ; ../../common/org.eclipse.escet.common.raildiagrams/diag2.png ; ../../common/org.eclipse.escet.common.raildiagrams/named-node.png ; ../../common/org.eclipse.escet.common.raildiagrams/pn.sh ; ../../new ; ../../old ; ../../plcgen24_20230105.patch ; ../../raildiagram-font-messing.patch ; ../../uit ;
-
Albert Hofkamp authored
-
Albert Hofkamp authored
-