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
6
Merged
508
Closed
34
All
548
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
Yes
No
{{title}}
{{title}}
Title
#551 CIF benchmark HTML overview gets averages and sorting
!536
· created
Mar 19, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
MERGED
Approved
3
updated
Mar 20, 2023
#552 Fix BDD variable order option name in CIF documentation.
!537
· created
Mar 21, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Bug
MERGED
Approved
0
updated
Mar 21, 2023
#557 Prepare Git repo for v0.10 development
!547
· created
Apr 01, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
0
updated
Apr 01, 2023
#55 Add option to change output automaton name for CIF state space generation
!35
· created
Apr 14, 2021
by
Ferdie Reijnen
MERGED
8
updated
Apr 14, 2021
#560 Development/release process updates: no more CQs and IP Logs.
!548
· created
Apr 01, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
0
updated
Apr 01, 2023
#561 Update DEPENDENCIES.txt for changed Dash license tool output.
!543
· created
Mar 29, 2023
by
Dennis Hendriks
v0.9
RelEng/DevOps
Type
Bug
MERGED
0
updated
Mar 29, 2023
#562 Release process: fixed setting standard website and removing old websites
!546
· created
Mar 31, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Bug
0
updated
Mar 31, 2023
#56 CIF linearization crashes on channel without sender.
!34
· created
Apr 13, 2021
by
Ferdie Reijnen
MERGED
4
updated
Apr 14, 2021
#57 Re-add Eclipse AsciiDoc Editor plugin to dev env (new update site).
!65
· created
May 10, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Bug
MERGED
0
updated
May 16, 2021
#57 Re-add Eclipse Checkstyle plugin to dev env + upgrade version.
!63
· created
May 07, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Bug
MERGED
0
updated
May 16, 2021
#57 Re-enable Maven build Eclipse help TOC generation.
!66
· created
May 10, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Bug
MERGED
0
updated
May 16, 2021
#57 Temporarily disable dl.bintray.com and geneclipsetoc in build.
!58
· created
May 03, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Bug
MERGED
0
updated
May 03, 2021
#57 Temporarily remove BinTray-hosted functionality from Oomph setup.
!57
· created
May 03, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Bug
MERGED
0
updated
May 03, 2021
#58 Fix error message for disc vars with multiple init values.
!30
· created
Apr 11, 2021
by
Ferdie Reijnen
MERGED
2
updated
Apr 11, 2021
#59 mCRL2 transformation website: Supported specifications list is incomplete.
!36
· created
Apr 14, 2021
by
Ferdie Reijnen
MERGED
1
updated
Apr 14, 2021
#60 Fix duplicated error messages for multi init locs in mCRL2 transformation.
!32
· created
Apr 11, 2021
by
Ferdie Reijnen
MERGED
5
updated
Apr 15, 2021
#61 Fix LessEqual and LessThan metamodel documentation.
!47
· created
Apr 23, 2021
by
Ferdie Reijnen
MERGED
5
updated
Apr 23, 2021
#63 "Add rail diagram generator"
!46
· created
Apr 23, 2021
by
Albert Hofkamp
v0.2
CIF
Chi
SeText
ToolDef
Type
Enhancement
MERGED
21
updated
Jun 12, 2021
#63 License header check script update for new rail diagram generator.
!94
· created
Jun 13, 2021
by
Dennis Hendriks
v0.2
CIF
Chi
SeText
ToolDef
Type
Enhancement
MERGED
0
updated
Jun 13, 2021
#64 Allow just last year in license headers.
!39
· created
Apr 19, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Enhancement
MERGED
1
updated
Apr 21, 2021
Prev
1
…
20
21
22
23
24
25
26
27
28
Next
