Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
0
Merged
23
Closed
3
All
26
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
#390 develop to master for v0.7
!378
· created
Sep 30, 2022
by
Dennis Hendriks
v0.7
master
RelEng/DevOps
Type
Enhancement
Merged
0
updated
Sep 30, 2022
#364 CIF data-based synthesis performance test models: sudoku
!355
· created
Aug 09, 2022
by
Ferdie Reijnen
v0.7
CIF
Type
Enhancement
Merged
Approved
7
updated
Aug 10, 2022
#364 CIF data-based synthesis performance test models: bridge
!354
· created
Aug 09, 2022
by
Ferdie Reijnen
v0.7
CIF
Type
Enhancement
Merged
Approved
7
updated
Aug 10, 2022
#347 Add dark theme support for/to SeText-based text editors
!367
· created
Sep 04, 2022
by
Dennis Hendriks
v0.7
CIF
Chi
SeText
ToolDef
Type
Enhancement
Merged
Approved
34
updated
Sep 23, 2022
#297 #405 CIF event-based language equivalence check generates incorrect counterexamples
!362
· created
Aug 22, 2022
by
Ferdie Reijnen
v0.7
CIF
Type
Bug
Merged
67
updated
Sep 04, 2022
#145 Add confluence check to controllercheck
!351
· created
Jul 18, 2022
by
Albert Hofkamp
v0.7
CIF
Type
Enhancement
Merged
Approved
219
updated
Aug 23, 2023
Prev
1
2
Next