Skip to content
GitLab
Explore
Sign in
Open
2
Merged
1,148
Closed
60
All
1,210
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
#963 Update DEPENDENCIES.txt for Dash License check tool output change.
!1044
· created
Aug 22, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Bug
Merged
updated
Aug 22, 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
#964 CIF controller properties checker: termination request fix/improve.
!1045
· created
Aug 23, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
Approved
updated
Aug 25, 2024
#947 Using saturation to improve BDD reachability performance
!1035
· created
Aug 14, 2024
by
Wytse Oortwijn
v5.0
CIF
Type
Enhancement
Merged
41
Approved
updated
Aug 27, 2024
#934 PLCgen: Re-implement enum conversion, use smaller data types for conversion to constants or integers.
!1021
· created
Aug 06, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Bug
Merged
31
Approved
updated
Aug 30, 2024
#935 #912 PLCgen: Add transitions in functions
!1046
· created
Aug 27, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Bug
Merged
40
Approved
updated
Aug 31, 2024
#816 PLCgen: Adopt maximum iteration boundaries from the bounded response check if they exist.
!1040
· created
Aug 16, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Enhancement
Merged
77
Approved
updated
Aug 31, 2024
#974 Update DEPENDENCIES.txt for Dash License check tool output change.
!1048
· created
Sep 03, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Bug
Merged
updated
Sep 03, 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
#976 CIF SBE FIFO example: improve documentation
!1049
· created
Sep 03, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
1
Approved
updated
Sep 05, 2024
#967 PLCgen: don't crash on reading invalid I/O table file.
!1052
· created
Sep 05, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
Approved
updated
Sep 05, 2024
#848 PLCgen Fix S7-300 PLC compile problem with double negations.
!933
· created
Jun 17, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Bug
Merged
2
Approved
updated
Sep 08, 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
#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
#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
#980 PLCgen: fix event functions and their calls.
!1056
· created
Sep 08, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
1
Approved
updated
Sep 10, 2024
#969 PLCgen: fix constants having another constant as value.
!1053
· created
Sep 05, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
8
Approved
updated
Sep 10, 2024
#968 PLCgen: more explicit operator bindings, and fixed operator priorities for 'xor' and binary '-'
!1057
· created
Sep 08, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
12
updated
Sep 10, 2024
#901 #921 PLCgen: S7 has additional naming constraints
!1054
· created
Sep 07, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
19
Approved
updated
Sep 10, 2024
#965 PLCgen: iteration limit is bounded response property + 1, and fix loop killed condition.
!1055
· created
Sep 07, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
12
Approved
updated
Sep 10, 2024
Prev
1
…
46
47
48
49
50
51
52
53
54
…
58
Next
