Skip to content
GitLab
Explore
Sign in
Open
7
Merged
566
Closed
28
All
601
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}}
Created date
#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
#715 Enable CIF code generator integration tests also for JS/HTML.
!1059
· created
Sep 09, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
1
updated
Sep 09, 2024
#849 PLCgen S7 docs: update/improve/fix documentation.
!1058
· created
Sep 09, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
2
updated
Sep 09, 2024
#968 PLCgen: fix operator priority for binary '-'
!1057
· created
Sep 08, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
3
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
1
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
7
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
14
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
6
Approved
updated
Sep 10, 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
#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
4
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
#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
#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
#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
#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
#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
Aug 16, 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
Prev
1
2
3
4
5
…
31
Next
