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
7
Merged
350
Closed
27
All
384
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}}
Popularity
#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
#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
#419 Added Oisterwijksebaan bridge real-world CIF synthesis example
!370
· created
Sep 25, 2022
by
Dennis Hendriks
v0.7
CIF
Type
Enhancement
Merged
1
16
updated
Sep 29, 2022
#172 AsciiDoc source file/folder renames
!146
· created
Sep 26, 2021
by
Dennis Hendriks
v0.3
CIF
Chi
Products
SeText
ToolDef
Type
Enhancement
Merged
1
2
updated
Sep 27, 2021
#596 PLCgen: differentiate between reading and writing CIF variables.
!602
· created
Jun 05, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
Approved
10
updated
Jun 07, 2023
#602 Implemented BDD-based workset edge dependency set computation
!599
· created
May 29, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
5
updated
Jun 01, 2023
#604 ElimMonitors JavaDoc fix.
!598
· created
May 28, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
0
updated
May 29, 2023
#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
#591 Improved position information for CIF invariants
!594
· created
May 27, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
3
updated
Jun 01, 2023
#597 EdgeOrderDuplicateEventsOption: some renaming for clarity.
!593
· created
May 27, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
1
updated
Jun 03, 2023
#558 PLCgen: handle locations by eliminating them
!590
· created
May 23, 2023
by
Jeroen Verbakel
v0.10
CIF
Type
Enhancement
Merged
Approved
41
updated
Jun 02, 2023
#592 Unify cif2plc and plcgen model classes
!589
· created
May 23, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
Approved
9
updated
May 25, 2023
#596 PLCgen: add transition generator skeleton
!588
· created
May 23, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
24
updated
May 25, 2023
#520 Add workset algorithm to data-based synthesis
!587
· created
May 17, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
26
updated
May 30, 2023
#554 develop to master for v0.10-M1
!586
· created
May 17, 2023
by
Dennis Hendriks
v0.10
master
RelEng/DevOps
Type
Enhancement
Merged
0
updated
May 17, 2023
#554 Updated release notes for v0.10-M1.
!585
· created
May 15, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
4
updated
May 17, 2023
#594 Extend `ExprGenerator` with local and temporary variable support.
!584
· created
May 15, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
Approved
4
updated
May 16, 2023
#586 Add edge granularity option.
!583
· created
May 13, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
16
updated
May 16, 2023
#585 Add warning for exploring CIF specifications with requirements
!582
· created
May 13, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
3
updated
May 15, 2023
#588 Copy `cif2plc` classes to `plcgen`
!580
· created
May 12, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
Approved
11
updated
May 15, 2023
Prev
1
2
3
4
5
…
18
Next