Skip to content
GitLab
Explore
Sign in
Open
7
Merged
729
Closed
34
All
770
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}}
Milestone due date
#1229 Add UI actions for chix/cifx/tooldefx files/editors, like for chi/cif/tooldef files/editors
!1326
· created
Jun 14, 2025
by
Dennis Hendriks
v8.0
CIF
Type
Enhancement
updated
Jun 14, 2025
#1228 SynthesisToCifConverter.prepareBddToCif: set proper list type.
!1325
· created
Jun 14, 2025
by
Dennis Hendriks
v8.0
CIF
Type
Bug
updated
Jun 14, 2025
#1227 SynthesisToCifConverter: reduce memory usage by allocating a smaller list for 'old' BDD variable algebraic variables
!1324
· created
Jun 12, 2025
by
Dennis Hendriks
v8.0
CIF
Type
Enhancement
4
updated
Jun 14, 2025
#1220 CIF to mCRL2: support state/event exclusion invariants
!1321
· created
Jun 12, 2025
by
Dennis Hendriks
v8.0
CIF
Type
Enhancement
2
updated
Jun 12, 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