Skip to content
GitLab
Explore
Sign in
Open
5
Merged
702
Closed
34
All
741
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}}
Title
#794 Add CIF check to check list type limits.
!844
· created
Mar 26, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
74
Approved
updated
Apr 29, 2024
#797 CIF type checker: check for single-value types of declarations.
!856
· created
Apr 07, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
3
Approved
updated
Apr 10, 2024
#800 PLCgen: forbid events without controllability
!859
· created
Apr 15, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
4
Approved
updated
Apr 17, 2024
#801 Annotation argument syntax change + name optional + @doc multiple unnamed arguments
!858
· created
Apr 14, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
15
Approved
updated
Apr 15, 2024
#802 CIF codegen: Java/JS/HTML: add missing <p>...</p> tags for docs.
!860
· created
Apr 15, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
Approved
updated
Apr 16, 2024
#804 Removed a wrongly placed ')' in the CIF release notes.
!861
· created
Apr 17, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
Approved
updated
Apr 18, 2024
#805 PLCgen: Insert text file at the start of the PLC program (2nd attempt)
!878
· created
May 07, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
76
Approved
updated
Jul 27, 2024
#807 Improve CIF pretty printer output (always print initial, marked, and equation)
!883
· created
May 10, 2024
by
Ferdie Reijnen
v4.0
CIF
Type
Enhancement
Merged
2
Approved
updated
May 18, 2024
#810 SVG input update mapping example contains wrong syntax
!866
· created
Apr 25, 2024
by
Martijn Goorden
v4.0
CIF
Type
Bug
Merged
1
Approved
updated
Apr 25, 2024
#811 CIF to CIF anonymize names transformation renames function variables with a separate name
!868
· created
Apr 27, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
Apr 29, 2024
#814 PLCgen: Insert @doc annotations in the generated PLC code.
!964
· created
Jul 04, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Enhancement
Merged
91
Approved
updated
Jul 30, 2024
#815 PLCgen: add more detailed comments to generated PLC code
!902
· created
May 24, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
34
Approved
updated
May 28, 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
#818 PLCgen: Fix nested tuple crash.
!876
· created
May 07, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Bug
Merged
2
Approved
updated
May 07, 2024
#823 CIF tools check annotation constraints on output models
!909
· created
Jun 02, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
4
Approved
updated
Jun 03, 2024
#823 Controller checker: check annotation constraints on output model.
!910
· created
Jun 03, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
2
updated
Jun 04, 2024
#824 Fix scoping of annotation type checking
!916
· created
Jun 06, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
Approved
updated
Jun 10, 2024
#827 Improve CIF type checker message for 'type only allows one value' warnings
!886
· created
May 11, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
3
Approved
updated
May 14, 2024
#828 SBE documentation: improve various descriptions related to verification.
!887
· created
May 11, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
10
Approved
updated
May 15, 2024
#830 ElimStateEvtExclInvs: multiple improvements.
!894
· created
May 18, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
3
updated
May 21, 2024
Prev
1
…
26
27
28
29
30
31
32
33
34
…
36
Next
