Skip to content
GitLab
Explore
Sign in
Open
7
Merged
1,236
Closed
63
All
1,306
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
#1070 Use shallow Git clone of website repo when releasing
!1154
· created
Nov 24, 2024
by
Dennis Hendriks
v6.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Nov 25, 2024
#1071 Document how to reliably get information from a CIF specification
!1236
· created
Feb 10, 2025
by
Albert Hofkamp
v7.0
CIF
Type
Enhancement
Merged
181
Approved
updated
Mar 01, 2025
#1072 develop to master for v7.0-M1
!1242
· created
Feb 15, 2025
by
Dennis Hendriks
v7.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Feb 15, 2025
#1072 Update release notes for v7.0-M1.
!1238
· created
Feb 11, 2025
by
Dennis Hendriks
v7.0
RelEng/DevOps
Type
Enhancement
Merged
2
Approved
updated
Feb 15, 2025
#1073 develop to master for v7.0-RC1
!1270
· created
Mar 27, 2025
by
Dennis Hendriks
v7.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Mar 27, 2025
#1073 Update release notes for v7.0-RC1.
!1267
· created
Mar 22, 2025
by
Dennis Hendriks
v7.0
RelEng/DevOps
Type
Enhancement
Merged
6
updated
Mar 27, 2025
#1074 develop to master for v7.0
!1278
· created
Mar 31, 2025
by
Dennis Hendriks
v7.0
master
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Mar 31, 2025
#1074 Update release notes for v7.0.
!1271
· created
Mar 27, 2025
by
Dennis Hendriks
v7.0
RelEng/DevOps
Type
Enhancement
Merged
1
Approved
updated
Mar 31, 2025
#1075 Prepare Git repo for v7.0 development
!1191
· created
Dec 20, 2024
by
Dennis Hendriks
v7.0
RelEng/DevOps
Type
Enhancement
Merged
2
updated
Jan 02, 2025
#1077 Change Jenkins pod from 'centos-7' to 'ubuntu-2404'
!1158
· created
Nov 29, 2024
by
Frederic Gurr
v6.0
RelEng/DevOps
Type
Bug
Closed
updated
Nov 30, 2024
#1077 Change Jenkins pod from 'centos-7' to 'ubuntu-2404' (attempt 2)
!1159
· created
Nov 29, 2024
by
Frederic Gurr
v6.0
RelEng/DevOps
Type
Bug
Merged
4
Approved
updated
Nov 30, 2024
#1078 Create a ToolDef user manual
!1176
· created
Dec 09, 2024
by
Albert Hofkamp
v8.0
ToolDef
Type
Enhancement
90
updated
Mar 31, 2025
#1079 Script to compare build output now uses UTF-8.
!1160
· created
Nov 30, 2024
by
Dennis Hendriks
v6.0
RelEng/DevOps
Type
Bug
Merged
Approved
updated
Nov 30, 2024
#107 Data-based synthesis should support state plant invariants
!159
· created
Oct 01, 2021
by
Ferdie Reijnen
v0.5
CIF
Type
Enhancement
Merged
111
Approved
updated
Mar 12, 2022
#1080 Fix 'Fork collaboration script support' documentation + improve scripts
!1161
· created
Nov 30, 2024
by
Dennis Hendriks
v6.0
RelEng/DevOps
Type
Bug
Merged
Approved
updated
Nov 30, 2024
#1081 CIF 'bridge' synthesis example: fix duplicate section name.
!1162
· created
Nov 30, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Bug
Merged
Approved
updated
Nov 30, 2024
#1084 CIF code generator: automatically make the default code prefix a valid identifier
!1165
· created
Dec 01, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
Approved
updated
Dec 02, 2024
#1085 CIF SVG input mappings with updates are no longer experimental.
!1192
· created
Dec 20, 2024
by
Dennis Hendriks
v7.0
CIF
Type
Enhancement
Merged
Approved
updated
Dec 21, 2024
#1086 CIF to CIF 'Convert to interface' transformation: modify to generate complete/reduced variants
!1167
· created
Dec 02, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Dec 02, 2024
#1087 Add 'Eliminate state invariants' CIF to CIF transformations
!1195
· created
Dec 23, 2024
by
Dennis Hendriks
v7.0
CIF
Type
Enhancement
Merged
5
Approved
updated
Jan 09, 2025
Prev
1
2
3
4
5
6
7
8
…
66
Next
