Skip to content
GitLab
Explore
Sign in
Open
5
Merged
1,235
Closed
63
All
1,303
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
#165 Add Eclipse/Orbit update sites to our update site.
!232
· created
Dec 12, 2021
by
Dennis Hendriks
v0.4
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Dec 12, 2021
#159 Refer to target file rather than target artefact for Maven build
!231
· created
Dec 12, 2021
by
Dennis Hendriks
v0.4
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Dec 12, 2021
#258 CIF pretty printer breaks for variables used as indices in tuples that are also field names
!227
· created
Dec 08, 2021
by
Ferdie Reijnen
v0.4
CIF
Type
Bug
Merged
34
Approved
updated
Dec 12, 2021
#156 Don't eliminate enums for CIF to mCRL2
!233
· created
Dec 12, 2021
by
Dennis Hendriks
v0.4
CIF
Type
Enhancement
Merged
10
Approved
updated
Dec 13, 2021
#191 Update release notes for v0.4-RC1.
!234
· created
Dec 12, 2021
by
Dennis Hendriks
v0.4
RelEng/DevOps
Type
Enhancement
Merged
7
Approved
updated
Dec 13, 2021
#191 develop to master for v0.4-RC1
!236
· created
Dec 13, 2021
by
Dennis Hendriks
v0.4
master
Merged
updated
Dec 13, 2021
#216 Cannot terminate GUI simulations with terminate button
!237
· created
Dec 15, 2021
by
Martijn Goorden
v0.4
CIF
Type
Enhancement
Merged
7
Approved
updated
Dec 16, 2021
#192 develop to master for v0.4
!239
· created
Dec 17, 2021
by
Dennis Hendriks
v0.4
master
Merged
updated
Dec 17, 2021
#270 Rename product and releng plugins
!235
· created
Dec 13, 2021
by
Ferdie Reijnen
v0.5
RelEng/DevOps
Type
Enhancement
Merged
11
Approved
updated
Dec 17, 2021
#160 No longer sort the generated dependencies file.
!240
· created
Dec 18, 2021
by
Ferdie Reijnen
v0.5
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Dec 18, 2021
#262 Merge test plugins into their corresponding non-test plugins
!238
· created
Dec 16, 2021
by
Ferdie Reijnen
v0.5
RelEng/DevOps
Type
Enhancement
Merged
39
Approved
updated
Jun 12, 2023
#266 Prepare Git repo for v0.5 development
!241
· created
Dec 20, 2021
by
Dennis Hendriks
v0.5
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Dec 20, 2021
#282 Multi assignments generated by CIF to PLC have wrong assignment syntax for some temporary variables
!245
· created
Jan 02, 2022
by
Ferdie Reijnen
v0.5
CIF
Type
Bug
Merged
Approved
updated
Jan 03, 2022
#217 Have horizontal scroll bar in GUI simulation directly from the start
!244
· created
Dec 30, 2021
by
Ferdie Reijnen
v0.5
CIF
Type
Bug
Merged
Approved
updated
Jan 04, 2022
#274 CIF simulator GUI input mode termination by red stop button leaves buttons enabled
!243
· created
Dec 30, 2021
by
Ferdie Reijnen
v0.5
CIF
Type
Enhancement
Merged
6
Approved
updated
Jan 05, 2022
#286 CIF to PLC transformation should not generate formal argument for 'NOT'
!247
· created
Jan 05, 2022
by
Ferdie Reijnen
v0.5
CIF
Type
Bug
Merged
Approved
updated
Jan 05, 2022
#285 Copyright update to 2022.
!246
· created
Jan 03, 2022
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Merged
12
Approved
updated
Jan 02, 2023
#288 SeText test fails in development build
!248
· created
Jan 06, 2022
by
Ferdie Reijnen
v0.5
RelEng/DevOps
SeText
Type
Bug
Merged
updated
Jan 06, 2022
#289 Tooldef test fails in development build
!249
· created
Jan 06, 2022
by
Ferdie Reijnen
v0.5
RelEng/DevOps
ToolDef
Type
Bug
Merged
updated
Jan 06, 2022
#289 Tooldef test fails in development build.
!250
· created
Jan 06, 2022
by
Ferdie Reijnen
v0.5
RelEng/DevOps
ToolDef
Type
Bug
Merged
updated
Jan 06, 2022
Prev
1
…
8
9
10
11
12
13
14
15
16
…
66
Next