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

#646 FESTO benchmark model: removed duplicate invariants.

!647 · created Sep 10, 2023 by Dennis Hendriks v1.0
CIF TypeBug
- Merged
- Approved
- 0
updated Sep 11, 2023
#605 Implement edge selection heuristics for CIF data-based synthesis workset algorithm

!636 · created Aug 21, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- 4
updated Sep 12, 2023
#647 Remove incubation phase indications

!648 · created Sep 12, 2023 by Dennis Hendriks v1.0
RelEng/DevOps TypeEnhancement
- Merged
- Approved
- 2
updated Sep 14, 2023
#593 Add CIF annotation providers and use them to perform additional type checking

!644 · created Sep 05, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- 18
updated Sep 16, 2023
#649 EventDisabler now uses try-with-resources to read event names file.

!649 · created Sep 16, 2023 by Dennis Hendriks v1.0
CIF TypeBug
- Merged
- Approved
- 0
updated Sep 16, 2023
#593 Handle annotations in CIF merger

!650 · created Sep 16, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
- 4
updated Sep 19, 2023
#655 Mark CIF data-based synthesis workset algorithm as mature

!653 · created Sep 18, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
- 0
updated Sep 19, 2023
#593 Add 'doc' annotation as built-in CIF annotation

!651 · created Sep 16, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
- 21
updated Sep 20, 2023
#593 Add annotations lesson to the CIF language tutorial.

!655 · created Sep 19, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
- 27
updated Sep 22, 2023
#469 Consider allowing CIF/SVG inputs mappings that map to a disabled event

!646 · created Sep 09, 2023 by Ferdie Reijnen v1.0
CIF TypeEnhancement
- Merged
- Approved
- 37
updated Sep 23, 2023
#658 Fix 'cifexplorer' script: use correct plugin to find application.

!657 · created Sep 25, 2023 by Dennis Hendriks v1.0
CIF TypeBug
- Merged
- Approved
- 0
updated Sep 25, 2023
#617 Update release notes for v1.0-RC1.

!652 · created Sep 18, 2023 by Dennis Hendriks v1.0
RelEng/DevOps TypeEnhancement
- Merged
- 4
updated Sep 26, 2023
#617 develop to master for v1.0-RC1

!658 · created Sep 26, 2023 by Dennis Hendriks v1.0 master
RelEng/DevOps TypeEnhancement
- Merged
- 0
updated Sep 26, 2023
#89 #331 Explicitly choose exit behavior of Application.run() functions. 39 of 39 checklist items completed

!656 · created Sep 23, 2023 by Patrick van Berkel v1.0
Products TypeBug
- 17
updated Sep 26, 2023
#650 PLCgen: Add input/output support

!654 · created Sep 19, 2023 by Albert Hofkamp v1.0
CIF TypeEnhancement
updated Sep 25, 2023
#631 Construct non-app-framework output

!624 · created Jul 27, 2023 by Albert Hofkamp v1.0
Common TypeEnhancement
updated Sep 26, 2023
Draft: #611 CIF simulator handles large expressions

!618 · created Jun 30, 2023 by Martijn Goorden v1.0
CIF TypeBug
- 243
updated Sep 27, 2023
#596 PLCgen: differentiate between reading and writing CIF variables.

!600 · created Jun 02, 2023 by Albert Hofkamp v0.10
CIF TypeEnhancement
- Closed
- 9
updated Jun 05, 2023
Draft: #520 Add algorithm by Fei et al. (2014) to compute edge dependency sets

!595 · created May 28, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Closed
- 3
updated May 29, 2023
#418 PLCgen: add default initial values to the converted state variable declarations.

!562 · created Apr 26, 2023 by Albert Hofkamp v0.10
CIF TypeEnhancement
- Closed
- 26
updated Apr 30, 2023

Prev
1
…
27
28
29
30
31
32
33
Next

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