Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
9
Merged
553
Closed
37
All
599
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
#444 Configure JDT formatter preferences per project
!402
· created
Nov 06, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Bug
Merged
3
updated
Nov 07, 2022
#446 CIF: Equal/Unequal on combination of ints and reals is inconsistent
!418
· created
Nov 19, 2022
by
Ferdie Reijnen
CIF
Type
Bug
Merged
Approved
8
updated
Dec 15, 2022
#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
#44 Improve EMF constructor generator generated JavaDoc.
!78
· created
May 22, 2021
by
Ferdie Reijnen
Merged
9
updated
May 25, 2021
#450 Rename 'path separator' to 'file separator'
!459
· created
Dec 30, 2022
by
Dennis Hendriks
v0.9
CIF
Common
SeText
ToolDef
Type
Bug
Merged
Approved
1
updated
Dec 31, 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
#452 Updated DEPENDENCIES.txt.
!411
· created
Nov 14, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Bug
Merged
1
updated
Nov 14, 2022
#453 Update release process for GitLab tag and release creation.
!415
· created
Nov 15, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Bug
Merged
Approved
0
updated
Nov 15, 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
Mar 03, 2023
#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
#456 Fixed a typo in ToolDef 'filenewer' tool JavaDoc and documentation.
!423
· created
Nov 24, 2022
by
Dennis Hendriks
v0.8
ToolDef
Type
Bug
Merged
Approved
0
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
#45 Deprecate old CIF enum declaration syntax.
!37
· created
Apr 16, 2021
by
Ferdie Reijnen
Merged
25
updated
Apr 19, 2021
#45 Deprecate old CIF enum declaration syntax 2.
!45
· created
Apr 21, 2021
by
Ferdie Reijnen
Merged
0
updated
Apr 21, 2021
#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
Prev
1
…
15
16
17
18
19
20
21
22
23
…
30
Next
