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

#621 Prepare controller properties checker tool for BDD-based bounded response check

!898 · created May 20, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 4
- Approved
updated May 21, 2024
#625 Upgrade to JavaBDD 7.0.0.

!925 · created Jun 11, 2024 by Dennis Hendriks v4.0
CIF TypeBug
- Merged
- Approved
updated Aug 05, 2024
#628 CIF code generator: split svgin/uncontrollable/controllable events into separate loops

!1036 · created Aug 14, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 5
updated Aug 15, 2024
#628 PLCgen: Split events on controllability.

!857 · created Apr 12, 2024 by Albert Hofkamp v4.0
CIF TypeBug
- Merged
- 62
- Approved
updated Apr 29, 2024
#630 PLCgen: Add continous variables as timers

!664 · created Oct 11, 2023 by Albert Hofkamp v2.0
CIF TypeEnhancement
- Merged
- 158
- Approved
updated Oct 30, 2023
#632 multi-level: Construct multi-level synthesis node tree

!625 · created Aug 03, 2023 by Albert Hofkamp v1.0
CIF TypeEnhancement
- Merged
- 149
- Approved
updated Aug 30, 2023
#632 Multi-level tree computation: eliminate Algo2Data class.

!639 · created Aug 27, 2023 by Dennis Hendriks v1.0 632-add-multi-level-synthesis-tree
CIF TypeEnhancement
- Merged
- 3
updated Aug 30, 2023
#637 Rename codegen.png->cif_codegen.png (and others) for consistency.

!633 · created Aug 19, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
updated Aug 22, 2023
#639 Fix performance regression in finite response checker

!637 · created Aug 24, 2023 by Dennis Hendriks v1.0
CIF TypeBug
- Merged
- 31
- Approved
updated Aug 28, 2023
#63 "Add rail diagram generator"

!46 · created Apr 23, 2021 by Albert Hofkamp v0.2
CIF Chi SeText ToolDef TypeEnhancement
- Merged
- 21
updated Jun 12, 2021
#63 License header check script update for new rail diagram generator.

!94 · created Jun 13, 2021 by Dennis Hendriks v0.2
CIF Chi SeText ToolDef TypeEnhancement
- Merged
updated Jun 13, 2021
#646 FESTO benchmark model: removed duplicate invariants.

!647 · created Sep 10, 2023 by Dennis Hendriks v1.0
CIF TypeBug
- Merged
- Approved
updated Sep 11, 2023
#648 CIF metamodel: rename parameters/params to arguments.

!670 · created Oct 15, 2023 by Dennis Hendriks v2.0
CIF TypeEnhancement
- Merged
- 8
- Approved
updated Oct 21, 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
updated Sep 16, 2023
#650 PLCgen: Add input/output support

!654 · created Sep 19, 2023 by Albert Hofkamp v2.0
CIF TypeEnhancement
- Merged
- 111
- Approved
updated Oct 03, 2023
#655 Bug in CifToSynthesisConverter for resizing value vector

!663 · created Oct 09, 2023 by Ferdie Reijnen v2.0
CIF TypeBug
- Merged
- Approved
updated Oct 09, 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
updated Sep 19, 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
updated Sep 25, 2023
#661 Large expressions in exception reporting crash the CIF simulator

!671 · created Oct 16, 2023 by Martijn Goorden v2.0
CIF TypeBug
- Merged
- 14
- Approved
updated Oct 16, 2023
#666 Eliminate custom plcgen warning class.

!665 · created Oct 11, 2023 by Albert Hofkamp v2.0
CIF TypeEnhancement
- Merged
- 3
- Approved
updated Oct 16, 2023

Prev
1
…
15
16
17
18
19
20
21
22
23
…
32
Next

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