Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet · GitLab

#667 Support logical implication operator in CIF to mCRL2

!687 · created Nov 02, 2023 by Martijn Goorden v2.0
CIF TypeEnhancement
- Merged
- 2
- Approved
updated Nov 02, 2023
#679 PLCgen: Introduce infix/informal/formal supported notations for function calls.

!688 · created Nov 10, 2023 by Albert Hofkamp v2.0
CIF TypeEnhancement
- Merged
- 99
- Approved
updated Nov 20, 2023
#676 PLCgen: Forbid use of user-defined functions.

!689 · created Nov 10, 2023 by Albert Hofkamp v2.0
CIF TypeEnhancement
- Merged
- 3
- Approved
updated Nov 14, 2023
#676 PLCgen: Connect PLCgen with the GUI.

!690 · created Nov 10, 2023 by Albert Hofkamp v2.0
CIF TypeEnhancement
- Merged
- 28
- Approved
updated Nov 20, 2023
#683 CIF codegen: configure linearization to be consistent with precondition check

!691 · created Nov 11, 2023 by Dennis Hendriks v2.0
CIF TypeBug
- Merged
- 7
- Approved
updated Nov 13, 2023
#685 Renamed CIF application menu item icons to 'cif_app.png'

!694 · created Nov 16, 2023 by Dennis Hendriks v2.0
CIF TypeEnhancement
- Merged
- 3
- Approved
updated Nov 20, 2023
#593 Allow annotations on locations

!695 · created Nov 19, 2023 by Dennis Hendriks v2.0
CIF TypeEnhancement
- Merged
- 2
- Approved
updated Nov 21, 2023
#319 Add sub-plant creation functionality

!696 · created Nov 20, 2023 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 373
- Approved
updated Apr 25, 2024
#676 Insert empty line between different event transitions

!697 · created Nov 20, 2023 by Albert Hofkamp v2.0
CIF TypeEnhancement
- Merged
- 27
- Approved
updated Nov 23, 2023
#688 Fix icon name of CIF to PLC application.

!698 · created Nov 21, 2023 by Albert Hofkamp v2.0
CIF TypeBug
- Merged
- Approved
updated Nov 21, 2023
#272 JavaScript code generation: added UI/CSS

!699 · created Nov 23, 2023 by Rik Lubking v2.0
CIF TypeEnhancement
- Merged
- 29
- Approved
updated Nov 27, 2023
#676 PLCgen: Add documentation.

!700 · created Nov 24, 2023 by Albert Hofkamp v2.0
CIF TypeEnhancement
- Merged
- 346
- Approved
updated Dec 14, 2023
#689 Fix CIF explorer crashing on models with minimum integer value

!701 · created Nov 25, 2023 by Dennis Hendriks v2.0
CIF TypeBug
- Merged
- 1
- Approved
updated Nov 27, 2023
#690 Fix CIF explorer for models with function-typed discrete variables without an initial value

!702 · created Nov 25, 2023 by Dennis Hendriks v2.0
CIF TypeBug
- Merged
- 4
- Approved
updated Nov 27, 2023
#687 Add 'state' annotations and CIF explorer adds them to statespace automata

!703 · created Nov 27, 2023 by Dennis Hendriks v2.0
CIF TypeEnhancement
- Merged
- 25
updated Dec 14, 2023
#272 JavaScript code generation: generate variables and functions boilerplate

!704 · created Nov 27, 2023 by Rik Lubking v2.0
CIF TypeEnhancement
- Merged
- 17
- Approved
updated Dec 01, 2023
#686 Confluence check: more debug output and more termination checking

!705 · created Nov 28, 2023 by Martijn Goorden v2.0
CIF TypeEnhancement
- Merged
- 32
- Approved
updated Dec 04, 2023
#694 CIF codegen TypeInfoHelper: make target-specific data value.

!706 · created Nov 28, 2023 by Dennis Hendriks v2.0
CIF TypeBug
- Merged
- Approved
updated Nov 30, 2023
#684 CifToPlcTrans: configure linearization consistent with precond check

!707 · created Nov 30, 2023 by Ferdie Reijnen v2.0
CIF TypeBug
- Merged
- 1
- Approved
updated Dec 01, 2023
#692 Allow annotating a CIF object multiple times with the same annotation

!708 · created Dec 03, 2023 by Dennis Hendriks v2.0
CIF TypeEnhancement
- Merged
- 2
- Approved
updated Dec 04, 2023

Prev
1
…
13
14
15
16
17
18
19
20
21
…
32
Next

Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent