Skip to content
GitLab
Explore
Sign in
Open
5
Merged
702
Closed
34
All
741
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}}
Updated date
#1006 CIF controller checker's confluence check: interleave 'zero' variables
!1105
· created
Oct 19, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
6
Approved
updated
Oct 29, 2024
#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
#957 CIF/BDD saturation reachability: print edges/variables matrix as debug output
!1111
· created
Oct 25, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
6
Approved
updated
Oct 29, 2024
#1034 PLCgen S7 docs: document potential fix for System Fault error.
!1112
· created
Oct 26, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Bug
Merged
Approved
updated
Oct 29, 2024
#738 Make data synthesis usable externally.
!1109
· created
Oct 23, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
30
Approved
updated
Oct 25, 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
#994 PLCgen: generate code/type dependencies file
!1108
· created
Oct 22, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
13
Approved
updated
Oct 23, 2024
#1031 PLCgen: merge transition code of events in a single scope
!1107
· created
Oct 21, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Bug
Merged
21
Approved
updated
Oct 22, 2024
#350 CIF/ToolDef metamodel diagram improvements
!1104
· created
Oct 17, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Bug
Merged
1
Approved
updated
Oct 17, 2024
#1017 Forbid nested arrays in PLCgen.
!1098
· created
Oct 16, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Bug
Merged
9
Approved
updated
Oct 17, 2024
#1030 Change highlight.js color for numbers and CIF controllable events.
!1101
· created
Oct 16, 2024
by
Dennis Hendriks
v6.0
CIF
Chi
ToolDef
Type
Enhancement
Merged
Approved
updated
Oct 17, 2024
#971 CIF controller properties checker: bounded response check uses execution order
!1073
· created
Sep 28, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
27
Approved
updated
Oct 16, 2024
#679 PLCgen: Drop writing to the derivative of a continuous variable.
!1093
· created
Oct 15, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Oct 15, 2024
#1025 Add CIF check for limiting how container types can be nested.
!1092
· created
Oct 14, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
26
Approved
updated
Oct 15, 2024
#1018 PLCgen: Convert only one of compatible enumeration declarations if enums are kept
!1088
· created
Oct 09, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Bug
Merged
9
Approved
updated
Oct 14, 2024
#1009 Confluence check: introduce separate methods for each of the checks
!1087
· created
Oct 07, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
9
updated
Oct 14, 2024
#742 SBE course: add modules 1.3 - 4 + course files + some other improvements
!1089
· created
Oct 11, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
7
Approved
updated
Oct 14, 2024
#1024 Fix two 'the a' JavaDoc typos.
!1090
· created
Oct 11, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Bug
Merged
Approved
updated
Oct 11, 2024
#1002 ConfluenceCheck: update outdated JavaDoc.
!1084
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Bug
Merged
3
Approved
updated
Oct 07, 2024
#1001 CIF to CIF transformations: change which transformations remove controller properties annotations
!1083
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
13
Approved
updated
Oct 07, 2024
Prev
1
2
3
4
5
6
7
8
9
10
…
36
Next
