Skip to content
GitLab
Explore
Sign in
Open
5
Merged
1,149
Closed
60
All
1,214
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
#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
#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
#1092 PLCgen replaces CIF to PLC as stable CIF PLC code generator
!1175
· created
Dec 09, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Dec 10, 2024
#1093 See AsciiDoc checker problem report as an error in Maven.
!1178
· created
Dec 10, 2024
by
Albert Hofkamp
v7.0
RelEng/DevOps
Type
Bug
12
updated
Dec 19, 2024
#1094 Update DEPENDENCIES.txt for Dash license check tool output change.
!1177
· created
Dec 10, 2024
by
Dennis Hendriks
v6.0
RelEng/DevOps
Type
Bug
Merged
updated
Dec 10, 2024
#1095 SBE course: explain HTML code generation.
!1179
· created
Dec 10, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
19
Approved
updated
Dec 12, 2024
Prev
1
2
3
4
5
6
7
8
…
61
Next
