Skip to content
GitLab
Explore
Sign in
Open
8
Merged
841
Closed
45
All
894
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}}
Created date
#1200 #1201 CIF/BDD and CIF data-based synthesis: allow keeping certain BDDs rather than freeing them.
!1334
· created
Jun 19, 2025
by
Dennis Hendriks
v8.0
CIF
Type
Enhancement
1
updated
Jun 19, 2025
#1216 CIF/BDD: support abs/sign/min/max on supported arguments
!1333
· created
Jun 17, 2025
by
Dennis Hendriks
v8.0
CIF
Type
Enhancement
updated
Jun 17, 2025
#1220 CIF to mCRL2 transformer: support most state invariants
!1332
· created
Jun 17, 2025
by
Dennis Hendriks
v8.0
CIF
Type
Enhancement
updated
Jun 17, 2025
#1116 Develocity update with tycho caching
!1304
· created
May 21, 2025
by
Gasper Kojek
v8.0
RelEng/DevOps
Type
Enhancement
10
updated
Jun 09, 2025
#1182 Add CIF multi-level splitter documentation
!1285
· created
Apr 14, 2025
by
Albert Hofkamp
v8.0
CIF
Type
Enhancement
226
updated
Jun 14, 2025
#1049 PLCgen: Refactor I/O entry checking.
!1284
· created
Apr 10, 2025
by
Albert Hofkamp
v8.0
CIF
Type
Enhancement
45
updated
Apr 29, 2025
#710 CIF simulator: Allow Input trace component to update input variables
!1265
· created
Mar 21, 2025
by
Elia Brentarolli
v8.0
CIF
Type
Enhancement
101
updated
May 30, 2025
#1078 Create a ToolDef user manual
!1176
· created
Dec 09, 2024
by
Albert Hofkamp
v8.0
ToolDef
Type
Enhancement
90
updated
Mar 31, 2025