Skip to content
GitLab
Explore
Sign in
Open
1
Merged
1,033
Closed
53
All
1,087
Recent searches
{{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}}
Priority
#884 PLCgen: Improve handling of diferent value types in input/output
!957
· created
Jul 01, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Bug
Merged
20
updated
Jul 04, 2024
#877 PLCgen: Avoid getting parenthesis in real variable declarations
!956
· created
Jul 01, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Bug
Merged
1
Approved
updated
Sep 25, 2024
#899 Update DEPENDENCIES file for Dash License check tool output change.
!955
· created
Jun 30, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Bug
Merged
updated
Jun 30, 2024
#899 Update DEPENDENCIES for Dash License check tool output change.
!953
· created
Jun 30, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Bug
Merged
updated
Jun 30, 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
#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
#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
#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 01, 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
#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
#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
#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
#986 PLCgen event functions: don't directly assign input parameter.
!1065
· created
Sep 21, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Sep 23, 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
Sep 21, 2024
#984 PLCgen: no more warnings for renaming loc pointers ending in dots.
!1062
· created
Sep 10, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
Approved
updated
Sep 10, 2024
#973 CIF type checker: improve comp def/inst param count mismatch pos.
!1060
· created
Sep 09, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
Approved
updated
Sep 10, 2024
#977 CIF controller checker: warn if model has no input variables.
!1051
· created
Sep 04, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Sep 10, 2024
#970 CIF execution scheme: defined it and ensured CIF code generator + PLCgen adhere to it
!1050
· created
Sep 04, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
6
Approved
updated
Sep 10, 2024
#972 Checkstyle: check proper JavaDoc @param/@return/etc sentence end.
!1047
· created
Aug 31, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Enhancement
Merged
5
Approved
updated
Sep 05, 2024
#955 CIF to mCRL2: improve translation of minimum-representable integer value
!1043
· created
Aug 20, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
5
Approved
updated
Aug 22, 2024
Prev
1
…
40
41
42
43
44
45
46
47
48
…
52
Next
