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
4
Merged
244
Closed
17
All
265
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
#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
#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
#590 Renamed org.eclipse.escet.cif.common.checkers package.
!592
· created
May 27, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Bug
Merged
Approved
0
updated
May 30, 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
#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
#589 Fix PLC statement copying
!581
· created
May 12, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Bug
Merged
Approved
0
updated
May 13, 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
#582 Ensure single point of responsibility in generating names and artefacts in the main program
!579
· created
May 11, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
Approved
8
updated
May 12, 2023
#583 Generalize controller-check cycle finder
!578
· created
May 08, 2023
by
Albert Hofkamp
v0.10
CIF
Common
Type
Enhancement
Merged
Approved
25
updated
May 17, 2023
#580 Data-based synth updates conversion: reverse unchanged vars order.
!577
· created
May 06, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
2
updated
May 08, 2023
#548 Allow omitting 'else' for CIF switch expressions more liberally
!576
· created
May 05, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
8
updated
May 08, 2023
#418 Initialize state variables
!573
· created
May 03, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
Approved
24
updated
May 10, 2023
#553 Event-based synthesis: warn if no requirement automata.
!566
· created
Apr 27, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
0
updated
Apr 28, 2023
Prev
1
2
3
4
5
…
13
Next
