Skip to content
GitLab
Explore
Sign in
Open
5
Merged
1,116
Closed
60
All
1,181
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}}
Merged date
#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
#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
#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
#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
#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
#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
#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
#956 PLCgen: Allow algebraic variables as output in I/O.
!1042
· created
Aug 20, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Enhancement
Merged
20
Approved
updated
Aug 22, 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
#935 Make PLCgen transition generator more flexible
!1034
· created
Aug 14, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Bug
Merged
39
Approved
updated
Aug 22, 2024
#954 CIF to mCRL2: simplify the generated (range) guards
!1041
· created
Aug 18, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
7
Approved
updated
Aug 19, 2024
#952 CIF code generator: 'event' to 'edge' in generator and generated code.
!1039
· created
Aug 15, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
4
updated
Nov 30, 2024
#950 CIF to mCRL2: simplify and fix 'delta' for empty process.
!1037
· created
Aug 15, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
2
updated
Aug 16, 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
#953 CIF benchmarks overview generation script: adapt for indent change.
!1038
· created
Aug 15, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
Approved
updated
Aug 15, 2024
#628 CIF code generator: split svgin/uncontrollable/controllable events into separate loops
!1036
· created
Aug 14, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
5
updated
Aug 15, 2024
#949 Improve and add descriptions to CIF benchmark models.
!1031
· created
Aug 13, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
5
Approved
updated
Aug 14, 2024
#353 CIF to mCRL2: add 'marked' action
!1032
· created
Aug 13, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
5
Approved
updated
Aug 14, 2024
#938 Improved data-based synthesis and controller properties checker debug/warning output
!1026
· created
Aug 11, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
3
Approved
updated
Aug 14, 2024
Prev
1
…
3
4
5
6
7
8
9
10
11
…
60
Next
