Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
2
Merged
539
Closed
38
All
579
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
#448 Improve CopyFilesNewProjectWizard.
!403
· created
Nov 08, 2022
by
Dennis Hendriks
v0.8
Common
Type
Enhancement
Merged
Approved
7
updated
Nov 09, 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
#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
#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
#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
#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
#457 Generalize invariants checking
!428
· created
Nov 30, 2022
by
Albert Hofkamp
v0.8
CIF
Type
Enhancement
Merged
Approved
48
updated
Dec 07, 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
#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
#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
#464 Include state/event exclusion invariants in linearized hyper-edge creator
!426
· created
Nov 27, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
Approved
6
updated
Mar 12, 2023
#465 Add wolf/goat/cabbage game as CIF example.
!427
· created
Nov 27, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
Approved
24
updated
Dec 13, 2022
#467 Ease creation of issues for dependency license check failure.
!430
· created
Dec 04, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Enhancement
Merged
Approved
2
updated
Dec 05, 2022
#468 In-place Eclipse upgrade documentation: review comments addressed.
!597
· created
May 28, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
Approved
0
updated
May 30, 2023
#469 Consider allowing CIF/SVG inputs mappings that map to a disabled event
!646
· created
Sep 09, 2023
by
Ferdie Reijnen
v1.0
CIF
Type
Enhancement
Merged
Approved
37
updated
Sep 23, 2023
#470 Cleanup specialized Invariant pre-checkers.
!432
· created
Dec 07, 2022
by
Albert Hofkamp
v0.8
CIF
Type
Enhancement
Merged
Approved
8
updated
Dec 11, 2022
#472 Move app.framework exceptions to common.java
!749
· created
Jan 02, 2024
by
Albert Hofkamp
Common
Type
Enhancement
Merged
9
updated
Jan 03, 2024
#475 Updated Maven project settings to those applied by m2eclipse.
!440
· created
Dec 18, 2022
by
Dennis Hendriks
v0.9
RelEng/DevOps
Type
Enhancement
Merged
Approved
4
updated
Dec 30, 2022
#479 develop to master for v0.9-M1
!506
· created
Feb 18, 2023
by
Dennis Hendriks
v0.9
master
RelEng/DevOps
Type
Enhancement
Merged
0
updated
Feb 18, 2023
#479 Updated release notes for v0.9-M1.
!502
· created
Feb 14, 2023
by
Dennis Hendriks
v0.9
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Feb 18, 2023
Prev
1
…
11
12
13
14
15
16
17
18
19
…
29
Next