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

#698 Fix CIF explorer state annotation argument value type creation (2nd attempt)

!711 · created Dec 09, 2023 by Dennis Hendriks v2.0
CIF TypeBug
- Merged
- 6
- Approved
updated Dec 18, 2023
#697 Additional type checking constraints for state annotations

!712 · created Dec 09, 2023 by Dennis Hendriks v2.0
CIF TypeEnhancement
- Merged
- 46
- Approved
updated Dec 16, 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
#693 #695 CIF controller properties checker: re-implement confluence check using BDDs instead of MDDs

!1064 · created Sep 12, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 23
updated Oct 29, 2024
#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
#691 CIF explorer: use proper edge vs transition terminology

!938 · created Jun 18, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 18
updated Jun 21, 2024
#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
#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
#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
#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
#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
#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
#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
#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
#682 Fix default target language in CIF code generator documentation.

!684 · created Oct 31, 2023 by Dennis Hendriks v2.0
CIF TypeBug
- Merged
- Approved
updated Nov 02, 2023
#681 PLCgen: Improve prechecking error reports (addon)

!819 · created Feb 22, 2024 by Dennis Hendriks v3.0
CIF TypeEnhancement
- Merged
- 22
- Approved
updated Mar 14, 2024
#681 PLCgen: Improve prechecking error reports.

!798 · created Feb 06, 2024 by Albert Hofkamp v3.0
CIF TypeEnhancement
- Merged
- 53
- Approved
updated Jul 10, 2024
#680 CIF merger checks annotation post-check constraints after merge.

!678 · created Oct 29, 2023 by Dennis Hendriks v2.0
CIF TypeBug
- Merged
- 1
- Approved
updated Oct 30, 2023
#679 PLCgen: Remove S7-300/400 specific remarks about type unification in exprgen

!1151 · created Nov 21, 2024 by Albert Hofkamp v6.0
CIF TypeEnhancement
- Merged
- 1
- Approved
updated Nov 21, 2024
#679 PLCgen: Refactor "DeclaredType*" to "DerivedType*"

!1110 · created Oct 24, 2024 by Albert Hofkamp v6.0
CIF TypeEnhancement
- Merged
- 16
- Approved
updated Oct 25, 2024

Prev
1
…
7
8
9
10
11
12
13
14
15
…
35
Next

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