Skip to content
GitLab
Explore
Sign in
Open
3
Merged
692
Closed
34
All
729
Merge trains
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Title
#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
Type
Enhancement
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
Type
Enhancement
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
Type
Enhancement
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
Type
Bug
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
Type
Bug
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
Type
Bug
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
Type
Enhancement
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
Type
Enhancement
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
Type
Enhancement
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
Type
Bug
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
Type
Bug
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
Type
Bug
Merged
Approved
updated
Nov 02, 2023
#681 PLCgen: Improve prechecking error reports (addon)
!819
· created
Feb 22, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
22
Approved
updated
Mar 14, 2024
#681 PLCgen: Improve prechecking error reports.
!798
· created
Feb 06, 2024
by
Albert Hofkamp
v3.0
CIF
Type
Enhancement
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
Type
Bug
Merged
1
Approved
updated
Oct 30, 2023
#679 PLCgen: Use CIF tuple field names if they exist.
!1094
· created
Oct 15, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Closed
12
updated
Oct 16, 2024
#679 PLCgen: Remove S7-300/400 specific remarks about type unification in exprgen
!1151
· created
Nov 21, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Nov 21, 2024
#679 PLCgen: Refactor "DeclaredType*" to "DerivedType*"
!1110
· created
Oct 24, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
16
Approved
updated
Oct 25, 2024
#679 PLCgen: Move timer variable + block instance creation to code storage
!785
· created
Jan 29, 2024
by
Albert Hofkamp
v3.0
CIF
Type
Enhancement
Merged
64
Approved
updated
Feb 09, 2024
#679 PLCgen: Introduce infix/informal/formal supported notations for function calls.
!688
· created
Nov 10, 2023
by
Albert Hofkamp
v2.0
CIF
Type
Enhancement
Merged
99
Approved
updated
Nov 20, 2023
Prev
1
…
8
9
10
11
12
13
14
15
16
…
37
Next
