Skip to content
GitLab
Explore
Sign in
Open
2
Merged
730
Closed
43
All
775
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}}
Popularity
#834 Add CIF to CIF transformation to relabel supervisors as plants.
!895
· created
May 20, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
May 21, 2024
#830 ElimStateEvtExclInvs: multiple improvements.
!894
· created
May 18, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
3
updated
May 21, 2024
#833 Update release process documentation: release -> progress review.
!893
· created
May 18, 2024
by
Dennis Hendriks
v4.0
RelEng/DevOps
Type
Enhancement
Merged
3
Approved
updated
May 21, 2024
#593 Allow annotations on algebraic parameters of component definitions
!892
· created
May 16, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
1
Approved
updated
May 21, 2024
#831 PLCgen: Document PLC input and PLC output code generation policies.
!891
· created
May 15, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
4
Approved
updated
May 16, 2024
#783 develop to master for v4.0-M1
!890
· created
May 15, 2024
by
Dennis Hendriks
v4.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
May 15, 2024
#780 Java formatter: don't join and rewrap already wrapped lines.
!889
· created
May 14, 2024
by
Dennis Hendriks
v4.0
RelEng/DevOps
Type
Enhancement
Merged
6
updated
May 21, 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
#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
#826 Release process: document types of releases and retention policy.
!885
· created
May 11, 2024
by
Dennis Hendriks
v4.0
RelEng/DevOps
Type
Enhancement
Merged
1
Approved
updated
May 13, 2024
#825 ToolDef docs: 'ToolDef tool manual' -> 'ToolDef interpreter'.
!884
· created
May 11, 2024
by
Dennis Hendriks
v4.0
ToolDef
Type
Enhancement
Merged
2
Approved
updated
May 14, 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
#783 Update release notes for v4.0-M1.
!882
· created
May 10, 2024
by
Dennis Hendriks
v4.0
RelEng/DevOps
Type
Enhancement
Merged
16
updated
May 15, 2024
#822 Suppress annotation processing warnings in more launch configurations
!881
· created
May 10, 2024
by
Dennis Hendriks
v4.0
RelEng/DevOps
Type
Enhancement
Merged
1
Approved
updated
May 10, 2024
#593 Allow annotations on component definitions/instantiations
!880
· created
May 10, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
3
updated
May 15, 2024
#679 PLCgen: Disallow arrays of length 0.
!879
· created
May 09, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
May 09, 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
#593 Allow annotations on invariants
!877
· created
May 07, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
10
Approved
updated
May 07, 2024
#770 PLCgen: Add type to expressions
!875
· created
May 07, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
66
Approved
updated
Jun 05, 2024
#593 Allow annotations on groups
!873
· created
May 04, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
May 07, 2024
Prev
1
…
6
7
8
9
10
11
12
13
14
…
39
Next