Skip to content
GitLab
Explore
Sign in
Open
8
Merged
1,219
Closed
63
All
1,290
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
#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' (attempt 2)
!1159
· created
Nov 29, 2024
by
Frederic Gurr
v6.0
RelEng/DevOps
Type
Bug
Merged
4
Approved
updated
Nov 30, 2024
#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
#1088 Update DEPENDENCIES.txt for Dash license check output changes.
!1170
· created
Dec 05, 2024
by
Dennis Hendriks
v6.0
RelEng/DevOps
Type
Bug
Merged
updated
Dec 05, 2024
#1089 Fixed two capitalized paragraph tags in JavaDocs.
!1172
· created
Dec 06, 2024
by
Dennis Hendriks
v6.0
CIF
Common
Type
Enhancement
Merged
updated
Dec 06, 2024
#108 additional checks/warnings for data based synthesis related to state event exclusion invariants.
!114
· created
Jul 02, 2021
by
Ferdie Reijnen
Merged
30
updated
Jul 13, 2021
#1090 Fix CIF simulator docs option's page 'Simulation' category name.
!1173
· created
Dec 06, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Bug
Merged
Approved
updated
Dec 06, 2024
#1091 Eclipse ESCET security policy overhaul.
!1174
· created
Dec 06, 2024
by
Dennis Hendriks
v6.0
RelEng/DevOps
Type
Enhancement
Merged
1
Approved
updated
Dec 06, 2024
Prev
1
2
3
4
5
6
7
8
…
61
Next