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}}
Label priority
Priority
Created date
Updated date
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
Fix outdated comments in SynthesisToCifConverter regarding explicit kinds
#369
· created
May 18, 2022
by
Dennis Hendriks
CIF
Type
Bug
1
updated
May 18, 2022
Update CIF documentation for recent Inkscape versions
#357
· created
Apr 17, 2022
by
Dennis Hendriks
v0.6
CIF
Type
Bug
0
updated
Apr 17, 2022
Remove import sign on inheritance line of CIF metamodel diagram
#350
· created
Apr 10, 2022
by
Ferdie Reijnen
CIF
Type
Bug
5
updated
Apr 11, 2022
False positive on rejecting a push with multiple branches
#322
· created
Feb 23, 2022
by
Albert Hofkamp
RelEng
Type
Bug
6
updated
Feb 25, 2022
CIF data-based synthesis ignores restriction in case of forward application.
#313
· created
Feb 20, 2022
by
Ferdie Reijnen
CIF
Type
Bug
0
updated
Feb 20, 2022
CIF event-based language equivalence check output contradicts itself
#297
· created
Jan 26, 2022
by
Dennis Hendriks
CIF
Type
Bug
0
updated
Jan 26, 2022
Option window doesn't fully display some options
#294
· created
Jan 16, 2022
by
Ferdie Reijnen
CIF
Type
Bug
3
updated
Jan 16, 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
Reconsider CIF to CIF remove requirements
#147
· created
Jul 16, 2021
by
Ferdie Reijnen
CIF
Type
Bug
3
updated
Feb 23, 2022
CIF to CIF elim def/inst transformation may produce invalid models for assignments with algebraic parameters.
#134
· created
Jul 02, 2021
by
Ferdie Reijnen
CIF
Type
Bug
8
updated
Feb 24, 2022
Linux command line scripts show JVM UI popup upon failure
#89
· created
May 19, 2021
by
Dennis Hendriks
Products
Type
Bug
7
updated
Jan 04, 2022
Very long lines are not rendered in console window and text editor.
#76
· created
May 05, 2021
by
Ferdie Reijnen
v0.6
CIF
Common
Type
Bug
1
23
updated
Mar 20, 2022
Implement `cif2dsm` computation
#368
· created
May 10, 2022
by
Albert Hofkamp
v0.6
CIF
Type
Enhancement
1
11
updated
May 17, 2022
CIF data-based synthesis performance test models
#364
· created
May 02, 2022
by
Dennis Hendriks
v0.6
CIF
Type
Enhancement
14
updated
May 19, 2022
Consider integrating license check into the build
#360
· created
Apr 22, 2022
by
Dennis Hendriks
RelEng
Type
Enhancement
1
updated
Apr 22, 2022
Upgrade to Tycho 3.0
#359
· created
Apr 21, 2022
by
Dennis Hendriks
RelEng
Type
Enhancement
0
updated
Apr 21, 2022
Add marking actions to CIF to mCRL2 output
#353
· created
Apr 15, 2022
by
Dennis Hendriks
CIF
Type
Enhancement
0
updated
Apr 15, 2022
CIF to mCRL2 should linearize the input specification
#352
· created
Apr 15, 2022
by
Dennis Hendriks
CIF
Type
Enhancement
1
0
updated
Apr 15, 2022
Reconsider style of generated CIF metamodel images
#349
· created
Apr 10, 2022
by
Ferdie Reijnen
CIF
Type
Enhancement
0
updated
Apr 10, 2022
SeText-based text editors unusable with dark theme
#347
· created
Apr 07, 2022
by
Albert Hofkamp
CIF
Chi
SeText
ToolDef
Type
Enhancement
7
updated
Apr 11, 2022
Prev
1
2
3
4
Next
