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
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 ESCET website styling
#367
· created
May 07, 2022
by
Dennis Hendriks
v0.6
RelEng
Type
Enhancement
CLOSED
1
0
updated
May 12, 2022
Ensure JavaBDD 3.0.0 IP team approval
#366
· created
May 07, 2022
by
Dennis Hendriks
v0.6
Third party
Type
Enhancement
CLOSED
1
updated
May 07, 2022
Update paper references in AsciiDoc files
#365
· created
May 04, 2022
by
Dennis Hendriks
v0.6
CIF
Chi
RelEng
ToolDef
Type
Bug
CLOSED
1
0
updated
May 06, 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
Upgrade to Eclipse AsciiDoctor editor 2.5.1
#363
· created
May 01, 2022
by
Dennis Hendriks
v0.6
RelEng
Type
Enhancement
CLOSED
6
updated
May 06, 2022
Upgrade to JavaBDD 3.0.0
#362
· created
Apr 27, 2022
by
Dennis Hendriks
v0.6
Third party
Type
Enhancement
CLOSED
1
1
3
updated
May 07, 2022
Consider lowering minimal required Maven version
#361
· created
Apr 22, 2022
by
Dennis Hendriks
v0.6
RelEng
Type
Enhancement
CLOSED
1
2
updated
May 01, 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
Fix description of position columns both in metamodel docs and common.java.TextPosition
0 of 1 task completed
#358
· created
Apr 19, 2022
by
Albert Hofkamp
v0.6
CIF
Type
Bug
CLOSED
1
0
updated
Apr 25, 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
Update release process documentation
#356
· created
Apr 17, 2022
by
Dennis Hendriks
v0.6
RelEng
Type
Bug
CLOSED
1
0
updated
Apr 21, 2022
Ensure correct minimal Maven/Java versions are used for the build
#355
· created
Apr 17, 2022
by
Dennis Hendriks
v0.6
RelEng
Type
Enhancement
CLOSED
1
0
updated
Apr 22, 2022
CIF to CIF linearize merge documentation should have clear warning about eliminating non-determinism
#354
· created
Apr 15, 2022
by
Dennis Hendriks
v0.6
CIF
Type
Enhancement
CLOSED
1
0
updated
Apr 20, 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
Replace `org.apache.commons.lang` library by `org.apache.commons.lang3`
#351
· created
Apr 12, 2022
by
Albert Hofkamp
v0.6
CIF
Chi
Common
SeText
ToolDef
Type
Enhancement
CLOSED
1
0
updated
Apr 22, 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
Prev
1
2
3
4
5
…
19
Next
