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
3
Merged
278
Closed
17
All
298
Actions
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}}
Closed date
#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
#523 Optimize enforcement of state plant invariants like state requirement invariants
!567
· created
Apr 27, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
20
updated
Jun 22, 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
#567 Fix CIF synthesis analysis tool command line script ending prematurely
!559
· created
Apr 21, 2023
by
Patrick van Berkel
v0.10
CIF
Type
Bug
Merged
Approved
23
updated
Apr 24, 2023
#567 Added launch configuration to run stand-alone cifsim for tank model from devenv
!558
· created
Apr 20, 2023
by
Patrick van Berkel
v0.10
CIF
Type
Enhancement
Merged
Approved
8
updated
Apr 22, 2023
#567 Reference correct plugin_name in eventbased standalone application.
!557
· created
Apr 20, 2023
by
Patrick van Berkel
v0.10
CIF
Type
Bug
Merged
Approved
3
updated
Apr 20, 2023
#559 Add PLCgen expression generator.
!553
· created
Apr 06, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
Approved
165
updated
Apr 25, 2023
#564 CIF benchmark script: use normal output instead of debug output.
!552
· created
Apr 02, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
3
updated
Apr 03, 2023
#377 Legacy hyper-edge creator: consider location invariants.
!551
· created
Apr 02, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Bug
Merged
Approved
3
updated
Apr 05, 2023
#563 Improve CIF data-synthesis main fixed point loop sections
!550
· created
Apr 02, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
4
updated
Apr 04, 2023
Prev
1
2
3
4
5
6
7
8
…
15
Next
