Skip to content
GitLab
Explore
Sign in
Open
1
Merged
597
Closed
28
All
626
Recent searches
{{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}}
Closed date
Draft: #382 Make plcgen0 accessible in ESCET.
!352
· created
Aug 08, 2022
by
Albert Hofkamp
CIF
Type
Enhancement
Closed
2
updated
Aug 11, 2022
#196 Add DCSH variable ordering algorithm to data-based synthesis.
!327
· created
Jun 06, 2022
by
Dennis Hendriks
v0.6
CIF
Type
Enhancement
Closed
6
updated
Jun 27, 2022
#311 Consider warning for /disallowing plant referencing requirements in CIF
!304
· created
Apr 13, 2022
by
Ferdie Reijnen
v0.6
CIF
Type
Enhancement
Closed
5
updated
Apr 16, 2022
Draft: #316 Introduce small common position class in scanning and parsing
!271
· created
Feb 25, 2022
by
Albert Hofkamp
v0.6
CIF
Chi
Common
SeText
ToolDef
Type
Enhancement
Closed
32
updated
Apr 10, 2022
Draft: #307 Add CIF to CIF transformation to anonymize names
!270
· created
Feb 25, 2022
by
Dennis Hendriks
CIF
Type
Enhancement
Closed
1
updated
Feb 25, 2022
Draft: Resolve "SVG viewer save as suggested file name/path doesn't work as expected"
!183
· created
Nov 08, 2021
by
Ferdie Reijnen
v0.4
CIF
Chi
Common
Type
Bug
Closed
updated
Nov 09, 2021
#199 Open large CIF files with standard text editor, not CIF editor
!164
· created
Oct 11, 2021
by
Dennis Hendriks
v0.4
CIF
Type
Enhancement
Closed
10
updated
Oct 17, 2022
#150, #144 Add warning message for event not enabled in controlled state space and changed simplificating for those events
!122
· created
Jul 20, 2021
by
Ferdie Reijnen
v0.3
CIF
Type
Enhancement
Closed
16
updated
Aug 31, 2021
#1025 Add CIF check for limiting how container types can be nested.
!1092
· created
Oct 14, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
16
updated
Oct 15, 2024
#1024 Fix two 'the a' JavaDoc typos.
!1090
· created
Oct 11, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Bug
Merged
Approved
updated
Oct 11, 2024
#742 SBE course: add modules 1.3 - 4 + course files + some other improvements
!1089
· created
Oct 11, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
7
Approved
updated
Oct 14, 2024
#1018 PLCgen: Convert only one of compatible enumeration declarations if enums are kept
!1088
· created
Oct 09, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Bug
Merged
9
Approved
updated
Oct 14, 2024
#1009 Confluence check: introduce separate methods for each of the checks
!1087
· created
Oct 07, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
9
updated
Oct 14, 2024
#1008 Confluence check: more termination checking.
!1086
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Oct 07, 2024
#1007 Confluence check: special handling of one controllable event.
!1085
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
Approved
updated
Oct 07, 2024
#1002 ConfluenceCheck: update outdated JavaDoc.
!1084
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Bug
Merged
3
Approved
updated
Oct 07, 2024
#1001 CIF to CIF transformations: change which transformations remove controller properties annotations
!1083
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
13
Approved
updated
Oct 07, 2024
#966 Change Chi/CIF/SeText/ToolDef text editor dark theme string color for better contrast.
!1082
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
CIF
Chi
SeText
ToolDef
Type
Enhancement
Merged
2
Approved
updated
Oct 07, 2024
#998 CIF codegen: fixes for type declarations and tuple field projections
!1080
· created
Oct 04, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Bug
Merged
Approved
updated
Oct 04, 2024
#1013 PLCgen: Document existence and objective of the 'loopsKilled' variable.
!1077
· created
Oct 02, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
11
Approved
updated
Oct 04, 2024
Prev
1
2
3
4
5
6
…
32
Next
