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}}
Updated date
Priority
Created date
Updated date
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
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
Fix outdated comments in SynthesisToCifConverter regarding explicit kinds
#369
· created
May 18, 2022
by
Dennis Hendriks
CIF
Type
Bug
1
updated
May 18, 2022
Implement `cif2dsm` computation
#368
· created
May 10, 2022
by
Albert Hofkamp
v0.6
CIF
Type
Enhancement
1
11
updated
May 17, 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
Upgrade to Java 17
#259
· created
Dec 09, 2021
by
Dennis Hendriks
RelEng
Type
Enhancement
4
updated
May 13, 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
Improve AsciiDoc-generated documentation HTML style
#38
· created
Apr 10, 2021
by
Dennis Hendriks
CIF
Chi
Products
SeText
ToolDef
Type
Enhancement
2
updated
May 10, 2022
Overview issue for multi-level synthesis
3 of 7 tasks completed
#318
· created
Feb 22, 2022
by
Albert Hofkamp
CIF
Type
Enhancement
7
updated
May 10, 2022
Data-based synthesis tool needs complexity reduction
#269
· created
Dec 12, 2021
by
Dennis Hendriks
CIF
Type
Enhancement
4
updated
May 10, 2022
Consider warning for /disallowing plant referencing requirements in CIF
#311
· created
Feb 20, 2022
by
Ferdie Reijnen
v0.6
CIF
Type
Enhancement
1
9
updated
May 02, 2022
Add more Checkstyle checks for AsciiDoc files
#271
· created
Dec 13, 2021
by
Dennis Hendriks
v0.6
RelEng
Type
Enhancement
6
updated
Apr 30, 2022
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
Add sub-plant application
#319
· created
Feb 22, 2022
by
Albert Hofkamp
v0.6
CIF
Type
Enhancement
21
updated
Apr 25, 2022
Upgrade maven-surefire-plugin to non-milestone release
#279
· created
Dec 19, 2021
by
Ferdie Reijnen
RelEng
Type
Enhancement
4
updated
Apr 25, 2022
Improve decoupling of generated parsers and scanners from frontend code.
#307
· created
Feb 09, 2022
by
Albert Hofkamp
CIF
Chi
Common
SeText
ToolDef
Type
Enhancement
18
updated
Apr 24, 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
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
Create CIF linter tool to check for potential modeling mistakes
#119
· created
Jun 12, 2021
by
Dennis Hendriks
CIF
Type
Enhancement
5
updated
Apr 16, 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
Prev
1
2
3
4
Next
