Skip to content
GitLab
Explore
Sign in
Open
3
Merged
749
Closed
34
All
786
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
#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
Merged
13
Approved
updated
Jun 16, 2025
#1228 SynthesisToCifConverter.prepareBddToCif: set proper list type.
!1325
· created
Jun 14, 2025
by
Dennis Hendriks
v8.0
CIF
Type
Bug
Merged
Approved
updated
Jun 20, 2025
#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
Merged
Approved
updated
Jun 16, 2025
#122 Add controller check for finite response
!97
· created
Jun 17, 2021
by
Albert Hofkamp
v0.3
CIF
Type
Enhancement
Merged
177
updated
Sep 28, 2021
#1230 Add CEP ESCET paper to CIF history page's ESCET papers section.
!1328
· created
Jun 15, 2025
by
Dennis Hendriks
v8.0
CIF
Type
Enhancement
Merged
Approved
updated
Jun 16, 2025
#1233 CifToBddExprOnlySupportedExprsCheck: more caching for algebraic variable references being checked
!1341
· created
Jun 28, 2025
by
Dennis Hendriks
v9.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Jul 01, 2025
#1234 Improve CIF 'wafer_scanner' benchmark tuned variable order settings.
!1350
· created
Jul 14, 2025
by
Dennis Hendriks
v9.0
CIF
Type
Enhancement
Merged
4
Approved
updated
Jul 15, 2025
#1235 AsciiDoctor-based documentation: prevent duplicate CSS file on website + consistently put CSS files in 'assets' folder
!1343
· created
Jul 03, 2025
by
Dennis Hendriks
v9.0
CIF
Chi
Products
RelEng/DevOps
ToolDef
Type
Enhancement
Merged
Approved
updated
Jul 08, 2025
#1238 CIF data-based synthesis: for the 'nodes' output mode, make all int types in the resulting model ranged int types
!1347
· created
Jul 08, 2025
by
Dennis Hendriks
v9.0
CIF
Type
Enhancement
Merged
Approved
updated
Jul 08, 2025
#1239 CifToBddConverter.convert: fix typo in JavaDoc.
!1348
· created
Jul 13, 2025
by
Dennis Hendriks
v9.0
CIF
Type
Enhancement
Merged
Approved
updated
Jul 15, 2025
#1240 ESCET/CIF websites: added additional linking
!1349
· created
Jul 14, 2025
by
Dennis Hendriks
v9.0
CIF
Project
Type
Enhancement
Merged
6
Approved
updated
Jul 17, 2025
#142 CIF to PLC should support Siemens S7
!251
· created
Jan 06, 2022
by
Ferdie Reijnen
v0.5
CIF
Type
Enhancement
Merged
72
updated
Jan 19, 2024
#143 Using constant results in unsupported linearized guard with data-based synthesis.
!120
· created
Jul 15, 2021
by
Ferdie Reijnen
v0.3
CIF
Type
Bug
Merged
8
updated
Jul 16, 2021
#144 Changed supervisor simplification for events that are not enabled in the system to true.
!128
· created
Aug 27, 2021
by
Ferdie Reijnen
v0.3
CIF
Type
Enhancement
Merged
6
updated
Aug 31, 2021
#145 Add confluence check to controllercheck
!351
· created
Jul 18, 2022
by
Albert Hofkamp
v0.7
CIF
Type
Enhancement
Merged
219
Approved
updated
Sep 12, 2024
#148 Add switch expressions to data-based synthesis.
!121
· created
Jul 18, 2021
by
Ferdie Reijnen
v0.3
CIF
Type
Enhancement
Merged
2
updated
Jul 18, 2021
#149 #154 Add test cases for CIF to PLC for TwinCAT
!124
· created
Aug 13, 2021
by
Ferdie Reijnen
v0.3
CIF
Type
Enhancement
Merged
23
updated
Aug 30, 2021
#14 Copyright update to 2021.
!14
· created
Mar 01, 2021
by
Dennis Hendriks
v0.1
CIF
Chi
Common
Products
RelEng/DevOps
SeText
ToolDef
Type
Enhancement
Merged
2
updated
Feb 12, 2025
#155 Linearization preserves more model structure and absolute names.
!196
· created
Nov 15, 2021
by
Dennis Hendriks
v0.4
CIF
Type
Enhancement
Merged
21
Approved
updated
Nov 26, 2021
#156 Don't eliminate enums for CIF to mCRL2
!233
· created
Dec 12, 2021
by
Dennis Hendriks
v0.4
CIF
Type
Enhancement
Merged
10
Approved
updated
Dec 13, 2021
Prev
1
…
3
4
5
6
7
8
9
10
11
…
38
Next
