Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
5
Merged
555
Closed
39
All
599
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
#460 Split CIF data-based synthesis documentation to multiple files/pages
!424
· created
Nov 24, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
2
updated
Nov 29, 2022
#459 Improve CIF data-based synthesis documentation on supported updated/expressions/predicates
!425
· created
Nov 27, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
Approved
1
10
updated
Dec 01, 2022
#457 Update CIF to PLC precondition checker to new checker framework
!422
· created
Nov 23, 2022
by
Albert Hofkamp
v0.8
CIF
Type
Enhancement
Merged
Approved
46
updated
Dec 11, 2022
#457 Generalize invariants checking
!428
· created
Nov 30, 2022
by
Albert Hofkamp
v0.8
CIF
Type
Enhancement
Merged
Approved
48
updated
Dec 07, 2022
#455 Add script to generate overview of synthesis benchmarking results.
!420
· created
Nov 20, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
Approved
2
updated
Nov 24, 2022
#454 New plugin for the CIF checkers.
!482
· created
Jan 21, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Merged
Approved
1
updated
Jan 24, 2023
#454 New output for CIF checks (2nd attempt)
!511
· created
Feb 21, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Merged
12
updated
Apr 24, 2024
#451 Add dining philosophers as CIF benchmark model.
!404
· created
Nov 09, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
Approved
1
updated
Nov 10, 2022
#449 Extend cast-expression pre-checking
!407
· created
Nov 10, 2022
by
Albert Hofkamp
v0.8
CIF
Type
Enhancement
Merged
Approved
13
updated
Nov 14, 2022
#448 Improve CopyFilesNewProjectWizard.
!403
· created
Nov 08, 2022
by
Dennis Hendriks
v0.8
Common
Type
Enhancement
Merged
Approved
7
updated
Nov 09, 2022
#442 Include textual position info in CIF check violation messages.
!416
· created
Nov 16, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
13
updated
Nov 19, 2022
#440 Add CifCheckNoCompDefInst check baseclass.
!393
· created
Oct 19, 2022
by
Albert Hofkamp
v0.8
CIF
Type
Enhancement
Merged
Approved
6
updated
Oct 19, 2022
#438 Various small JavaDoc/documentation fixes/improvements.
!390
· created
Oct 15, 2022
by
Dennis Hendriks
v0.8
CIF
Common
Type
Enhancement
Merged
Approved
1
0
updated
Oct 17, 2022
#437 Website deployment: fix updating the '.versions' file.
!809
· created
Feb 15, 2024
by
Dennis Hendriks
v3.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
0
updated
Feb 16, 2024
#437 Allow easy switching between website versions
!807
· created
Feb 13, 2024
by
Dennis Hendriks
v3.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
3
updated
Feb 15, 2024
#436 Custom PDE preferences for all projects.
!389
· created
Oct 15, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Enhancement
Merged
0
updated
Oct 17, 2022
#433 Link Eclipse/Java upgrade policies + extend Eclipse upgrade info.
!384
· created
Oct 09, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Enhancement
Merged
Approved
0
updated
Oct 13, 2022
#432 CifChecker/CifPreconditionChecker constructor should not be array but varargs
!382
· created
Oct 02, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
Approved
0
updated
Oct 03, 2022
#426 Allow multiple occurrences of events in CIF data-based synthesis custom edge order
!460
· created
Dec 30, 2022
by
Dennis Hendriks
v0.9
CIF
Help Wanted
Type
Enhancement
Merged
3
updated
Jan 02, 2023
#425 Update release process documentation
!372
· created
Sep 25, 2022
by
Dennis Hendriks
v0.7
RelEng/DevOps
Type
Enhancement
Merged
Approved
0
updated
Sep 26, 2022
Prev
1
…
11
12
13
14
15
16
17
18
19
…
28
Next