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

#523 Optimize enforcement of state plant invariants like state requirement invariants

!567 · created Apr 27, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- Approved
- 20
updated Jun 22, 2023
#553 Event-based synthesis: warn if no requirement automata.

!566 · created Apr 27, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- Approved
- 0
updated Apr 28, 2023
#567 Fix CIF synthesis analysis tool command line script ending prematurely

!559 · created Apr 21, 2023 by Patrick van Berkel v0.10
CIF TypeBug
- Merged
- Approved
- 23
updated Apr 24, 2023
#567 Added launch configuration to run stand-alone cifsim for tank model from devenv

!558 · created Apr 20, 2023 by Patrick van Berkel v0.10
CIF TypeEnhancement
- Merged
- Approved
- 8
updated Apr 22, 2023
#567 Reference correct plugin_name in eventbased standalone application.

!557 · created Apr 20, 2023 by Patrick van Berkel v0.10
CIF TypeBug
- Merged
- Approved
- 3
updated Apr 20, 2023
#559 Add PLCgen expression generator.

!553 · created Apr 06, 2023 by Albert Hofkamp v0.10
CIF TypeEnhancement
- Merged
- Approved
- 165
updated Apr 25, 2023
#564 CIF benchmark script: use normal output instead of debug output.

!552 · created Apr 02, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- Approved
- 3
updated Apr 03, 2023
#377 Legacy hyper-edge creator: consider location invariants.

!551 · created Apr 02, 2023 by Dennis Hendriks v0.10
CIF TypeBug
- Merged
- Approved
- 3
updated Apr 05, 2023
#563 Improve CIF data-synthesis main fixed point loop sections

!550 · created Apr 02, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- 4
updated Apr 04, 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
#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
#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 Handle annotations in CIF merger

!650 · created Sep 16, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
- 4
updated Sep 19, 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
#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
#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
#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
#593 Basic type checking and pretty printing for annotations

!643 · created Sep 01, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
- 6
updated Sep 05, 2023
#593 Add parsing of annotations.

!640 · created Aug 28, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
- 8
updated Aug 30, 2023

Prev
1
…
9
10
11
12
13
14
Next

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