Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Issues
Open
76
Closed
293
All
369
New issue
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
Current
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
None
Any
{{title}}
None
Any
{{title}}
&{{id}}
Created date
Priority
Created date
Updated date
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
Write all data-based synthesis statistics to a file
#240
· created
Nov 17, 2021
by
Martijn Goorden
CIF
Type
Enhancement
8
updated
Apr 28, 2022
CIF to mCRL2 transformation should support conditional updates
#229
· created
Nov 11, 2021
by
Arjan van der Meer
CIF
Type
Enhancement
0
updated
Jan 04, 2022
Allow assigning input variables via SVG input mapping
#227
· created
Nov 11, 2021
by
Ferdie Reijnen
v0.6
CIF
Type
Enhancement
20
updated
Mar 27, 2022
CIF to mCRL2 transformation should support tau actions
#226
· created
Nov 10, 2021
by
Arjan van der Meer
CIF
Type
Enhancement
0
updated
Apr 15, 2022
CIF to mCRL2 transformation ignores nesting of events
#224
· created
Nov 09, 2021
by
Arjan van der Meer
CIF
Type
Enhancement
7
updated
Apr 15, 2022
SVG viewer save as suggested file name/path doesn't work as expected
#221
· created
Nov 08, 2021
by
Dennis Hendriks
v0.6
CIF
Chi
Common
Type
Bug
1
12
updated
May 13, 2022
Support constants in parametrized automaton definition/instantiation
#220
· created
Nov 08, 2021
by
Sander Thuijsman
CIF
Type
Enhancement
9
updated
Jan 04, 2022
Simplify synthesized supervisor wrt. state plant invariant guards.
#215
· created
Oct 31, 2021
by
Ferdie Reijnen
CIF
Type
Enhancement
3
updated
Jan 04, 2022
CIF simulator should support input variables
#203
· created
Oct 06, 2021
by
Ferdie Reijnen
v0.6
CIF
Type
Enhancement
37
updated
Mar 27, 2022
Enable CIF to mCRL2 translation for BDD representation in CIF
#201
· created
Oct 04, 2021
by
Sander Thuijsman
CIF
Type
Enhancement
4
updated
Jan 04, 2022
Open large files using Text Editor by default
#199
· created
Oct 01, 2021
by
Sander Thuijsman
v0.6
CIF
Type
Enhancement
1
29
updated
Feb 27, 2022
Efficient enforcement of state invariant requirements in databased synthesis
#198
· created
Oct 01, 2021
by
Sander Thuijsman
CIF
Type
Enhancement
0
updated
Jan 04, 2022
Improve BDD variable order heuristic for databased synthesis
#196
· created
Oct 01, 2021
by
Sander Thuijsman
v0.6
CIF
Type
Enhancement
2
updated
May 17, 2022
Reconsider requiring curly braces for single-statement if-bodies
#194
· created
Sep 29, 2021
by
Dennis Hendriks
RelEng
Type
Enhancement
5
updated
Jan 04, 2022
Finite response checker should support state invariants.
#187
· created
Sep 28, 2021
by
Ferdie Reijnen
CIF
Type
Enhancement
0
updated
Jan 04, 2022
Extend ToolDef language reference manual
#182
· created
Sep 26, 2021
by
Dennis Hendriks
ToolDef
Type
Enhancement
0
updated
Jan 04, 2022
Extend CIF language reference manual
#180
· created
Sep 22, 2021
by
Dennis Hendriks
CIF
Type
Enhancement
0
updated
Jan 04, 2022
Upgrade to Eclipse 2022-03
#176
· created
Sep 20, 2021
by
Dennis Hendriks
v0.6
RelEng
Type
Enhancement
1
3
17
updated
Apr 03, 2022
Improve and enforce dependencies license check
1 of 2 tasks completed
#160
· created
Aug 19, 2021
by
Dennis Hendriks
RelEng
Type
Enhancement
3
updated
Jan 04, 2022
Reconsider CIF to CIF remove requirements
#147
· created
Jul 16, 2021
by
Ferdie Reijnen
CIF
Type
Bug
3
updated
Feb 23, 2022
Prev
1
2
3
4
Next
