Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
3
Merged
424
Closed
26
All
453
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Title
#298 CIF may produce false positive duplicate event on edge warnings
!259
· created
Jan 31, 2022
by
Ferdie Reijnen
v0.5
CIF
Type
Enhancement
Merged
Approved
16
updated
Feb 04, 2022
#299 Add warning for duplicated event in state/event exclusion invariant
!514
· created
Feb 24, 2023
by
Ferdie Reijnen
v0.9
CIF
Type
Enhancement
Merged
Approved
78
updated
Mar 02, 2023
#300 CIF may produce false warning for globally disabled event that is monitored
!261
· created
Feb 01, 2022
by
Ferdie Reijnen
v0.5
CIF
Type
Bug
Merged
Approved
0
updated
Feb 01, 2022
#301 Move CIF type checks for events that may lead to false positives to post checker
!264
· created
Feb 09, 2022
by
Ferdie Reijnen
v0.5
CIF
Type
Enhancement
Merged
Approved
46
updated
Feb 14, 2022
#306 Add CIF to CIF anonymize names transformation.
!273
· created
Feb 27, 2022
by
Dennis Hendriks
v0.5
CIF
Type
Enhancement
Merged
Approved
7
updated
Mar 01, 2022
#308 Add cif2cif event controllability rewriting transformations.
!263
· created
Feb 09, 2022
by
Albert Hofkamp
v0.5
CIF
Type
Enhancement
Merged
Approved
84
updated
Feb 24, 2022
#311 Add warning for plant referencing requirements in CIF
!315
· created
May 02, 2022
by
Ferdie Reijnen
v0.6
CIF
Type
Enhancement
Merged
Approved
71
updated
Jan 19, 2024
#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
#314 Add release dates to release notes
!266
· created
Feb 20, 2022
by
Ferdie Reijnen
v0.5
CIF
Chi
Products
RelEng/DevOps
ToolDef
Type
Enhancement
Merged
Approved
0
updated
Feb 20, 2022
#316 Introduce small common position class in scanning and parsing
!293
· created
Mar 30, 2022
by
Albert Hofkamp
v0.6
CIF
Chi
Common
SeText
ToolDef
Type
Enhancement
Merged
Approved
33
updated
Apr 19, 2022
#319 Add sub-plant creation functionality
!696
· created
Nov 20, 2023
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
359
updated
Apr 19, 2024
#319 Add sub-plant creation functionality (small improvements)
!741
· created
Dec 27, 2023
by
Dennis Hendriks
v3.0
319-add-subplant-3
CIF
Type
Enhancement
Merged
Approved
30
updated
Jan 03, 2024
#320 Remove unused algebraic variables
!269
· created
Feb 23, 2022
by
Albert Hofkamp
v0.5
CIF
Type
Enhancement
Merged
Approved
66
updated
Mar 02, 2022
#323 Allow CIF invariant to be named
!285
· created
Mar 23, 2022
by
Ferdie Reijnen
v0.6
CIF
Type
Enhancement
Merged
Approved
77
updated
Apr 10, 2022
#324 CIF explorer, NFA to DFA and DFA minimizer doc improvements
!272
· created
Feb 27, 2022
by
Dennis Hendriks
v0.5
CIF
Type
Enhancement
Merged
Approved
0
updated
Feb 28, 2022
#325 Add SBE docs and example + some other doc/website improvements.
!282
· created
Mar 17, 2022
by
Dennis Hendriks
v0.5
CIF
Type
Enhancement
Merged
Approved
86
updated
Mar 24, 2022
#326 Small documentation fixes for CIF to CIF add initial values transformation.
!274
· created
Feb 27, 2022
by
Dennis Hendriks
v0.5
CIF
Type
Bug
Merged
Approved
0
updated
Feb 28, 2022
#330 #336 Use streaming for CifCollectUtils
!281
· created
Mar 15, 2022
by
Albert Hofkamp
v0.6
CIF
Type
Enhancement
Merged
Approved
40
updated
Mar 30, 2022
#333 Replace `StringUtils.join` by native `String.join`
!288
· created
Mar 25, 2022
by
Albert Hofkamp
v0.6
CIF
Chi
Common
SeText
ToolDef
Type
Enhancement
Merged
Approved
9
updated
May 21, 2022
#334 Fixed CIF SBE approaches figure/text inconsistency.
!289
· created
Mar 27, 2022
by
Dennis Hendriks
v0.5
CIF
Type
Enhancement
Merged
Approved
0
updated
Mar 29, 2022
Prev
1
2
3
4
5
6
7
8
9
10
…
23
Next