Skip to content
GitLab
Explore
Sign in
Open
4
Merged
714
Closed
34
All
752
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
#612 Create deprecation warning for switch with single case
!608
· created
Jun 15, 2023
by
Martijn Goorden
v0.10
CIF
Type
Enhancement
Merged
18
Approved
updated
Jun 24, 2023
#613 Remove deprecated curly bracket syntax for declaring enumeration.
!612
· created
Jun 18, 2023
by
Ferdie Reijnen
v0.10
CIF
Type
Enhancement
Merged
Approved
updated
Jun 18, 2023
#613 Remove deprecated elim-enums options.
!611
· created
Jun 18, 2023
by
Ferdie Reijnen
v0.10
CIF
Type
Enhancement
Merged
Approved
updated
Jun 18, 2023
#620 CIF to Supremica transformation now only generates at most one guard per edge
!622
· created
Jul 02, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Bug
Merged
Approved
updated
Jul 06, 2023
#621 Add bounded response check and BDD representation to CIF controller properties checker
!903
· created
May 25, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
47
Approved
updated
May 28, 2024
#621 Bounded response check: print details about edges enabled in cycles
!1142
· created
Nov 13, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Nov 14, 2024
#621 Bounded response check prints cycle states in check result details.
!1144
· created
Nov 17, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
21
Approved
updated
Nov 19, 2024
#621 CIF controller properties checker adds results to 'controller:properties' annotation
!907
· created
May 31, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
34
Approved
updated
Mar 06, 2025
#621 Controller checker docs: small improvements.
!911
· created
Jun 03, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
Jun 04, 2024
#621 Prepare controller properties checker tool for BDD-based bounded response check
!898
· created
May 20, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
4
Approved
updated
May 21, 2024
#625 Upgrade to JavaBDD 7.0.0.
!925
· created
Jun 11, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
Approved
updated
Aug 05, 2024
#628 CIF code generator: split svgin/uncontrollable/controllable events into separate loops
!1036
· created
Aug 14, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
5
updated
Aug 15, 2024
#628 PLCgen: Split events on controllability.
!857
· created
Apr 12, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Bug
Merged
62
Approved
updated
Apr 29, 2024
#630 PLCgen: Add continous variables as timers
!664
· created
Oct 11, 2023
by
Albert Hofkamp
v2.0
CIF
Type
Enhancement
Merged
158
Approved
updated
Oct 30, 2023
#632 multi-level: Construct multi-level synthesis node tree
!625
· created
Aug 03, 2023
by
Albert Hofkamp
v1.0
CIF
Type
Enhancement
Merged
149
Approved
updated
Aug 30, 2023
#632 Multi-level tree computation: eliminate Algo2Data class.
!639
· created
Aug 27, 2023
by
Dennis Hendriks
v1.0
632-add-multi-level-synthesis-tree
CIF
Type
Enhancement
Merged
3
updated
Aug 30, 2023
#637 Rename codegen.png->cif_codegen.png (and others) for consistency.
!633
· created
Aug 19, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Enhancement
Merged
Approved
updated
Aug 22, 2023
#639 Fix performance regression in finite response checker
!637
· created
Aug 24, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Bug
Merged
31
Approved
updated
Aug 28, 2023
#63 "Add rail diagram generator"
!46
· created
Apr 23, 2021
by
Albert Hofkamp
v0.2
CIF
Chi
SeText
ToolDef
Type
Enhancement
Merged
21
updated
Jun 12, 2021
#63 License header check script update for new rail diagram generator.
!94
· created
Jun 13, 2021
by
Dennis Hendriks
v0.2
CIF
Chi
SeText
ToolDef
Type
Enhancement
Merged
updated
Jun 13, 2021
Prev
1
…
19
20
21
22
23
24
25
26
27
…
36
Next
