Skip to content
GitLab
Explore
Sign in
Open
3
Merged
1,148
Closed
60
All
1,211
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
#863 #987 PLCgen S7 documentation improvements for TIA Portal steps.
!1066
· created
Sep 21, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
3
updated
Sep 25, 2024
#679 Improve naming of tuple types in PLCgen
!1018
· created
Aug 02, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Enhancement
Merged
6
Approved
updated
Sep 26, 2024
#951 Upgrade to JavaBDD 9.0.0 + update CIF/BDD and synthesis for BDD.pathCount/satCount returning a BigInteger
!1070
· created
Sep 26, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
11
updated
Sep 27, 2024
#958 CIF/BDD: Added termination checking for saturation
!1071
· created
Sep 27, 2024
by
Wytse Oortwijn
v5.0
CIF
Type
Enhancement
Merged
8
Approved
updated
Sep 27, 2024
#957 CIF/BDD: Printing debug information for saturation
!1072
· created
Sep 27, 2024
by
Wytse Oortwijn
v5.0
CIF
Type
Enhancement
Merged
8
Approved
updated
Sep 27, 2024
#849 PLCgen S7 docs: update/improve/fix documentation.
!1058
· created
Sep 09, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
13
Approved
updated
Sep 28, 2024
#849 Fix PLCgen S7 constants import instructions.
!1063
· created
Sep 12, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
3
Approved
updated
Sep 28, 2024
#997 CIF controller properties checker docs: the confluence check has BDD preconditions, not MDD ones.
!1074
· created
Sep 28, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
Approved
updated
Sep 30, 2024
#840 Update release notes for v5.0-RC1.
!1067
· created
Sep 21, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Enhancement
Merged
5
Approved
updated
Oct 01, 2024
#840 develop to master for v5.0-RC1
!1075
· created
Oct 01, 2024
by
Dennis Hendriks
v5.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Oct 01, 2024
#839 Update release notes for v5.0.
!1076
· created
Oct 01, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Enhancement
Merged
updated
Oct 03, 2024
#839 develop to master for v5.0
!1078
· created
Oct 03, 2024
by
Dennis Hendriks
v5.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Oct 03, 2024
#993 PLCgen: First steps in cleaning up the generator backdoor communication
!1069
· created
Sep 25, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
17
Approved
updated
Oct 04, 2024
#991 Prepare Git repo for v6.0 development
!1079
· created
Oct 03, 2024
by
Dennis Hendriks
v6.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Oct 04, 2024
#998 CIF codegen: fixes for type declarations and tuple field projections
!1080
· created
Oct 04, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Bug
Merged
Approved
updated
Oct 04, 2024
#1013 PLCgen: Document existence and objective of the 'loopsKilled' variable.
!1077
· created
Oct 02, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
11
Approved
updated
Oct 04, 2024
#985 Java formatter: keep brace for array initializer on same line.
!1081
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Oct 07, 2024
#966 Change Chi/CIF/SeText/ToolDef text editor dark theme string color for better contrast.
!1082
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
CIF
Chi
SeText
ToolDef
Type
Enhancement
Merged
2
Approved
updated
Oct 07, 2024
#1008 Confluence check: more termination checking.
!1086
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Oct 07, 2024
#1007 Confluence check: special handling of one controllable event.
!1085
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
Approved
updated
Oct 07, 2024
Prev
1
…
50
51
52
53
54
55
56
57
58
…
61
Next
