Skip to content
GitLab
Menu
Projects
Groups
Snippets
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
Merge requests
Open
7
Merged
344
Closed
23
All
374
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
{{title}}
{{title}}
Closed date
Priority
Created date
Updated date
Milestone due date
Popularity
Label priority
Merged date
Closed date
Title
#45 Deprecate old CIF enum declaration syntax.
!37
· created
Apr 16, 2021
by
Ferdie Reijnen
MERGED
25
updated
Apr 19, 2021
#59 mCRL2 transformation website: Supported specifications list is incomplete.
!36
· created
Apr 14, 2021
by
Ferdie Reijnen
MERGED
1
updated
Apr 14, 2021
#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
#56 CIF linearization crashes on channel without sender.
!34
· created
Apr 13, 2021
by
Ferdie Reijnen
MERGED
4
updated
Apr 14, 2021
#47 CIF simulator crashes on assignment to dictionary with non-int key
!33
· created
Apr 13, 2021
by
Ferdie Reijnen
MERGED
3
updated
Apr 13, 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
#37 Fix CIF simulator for empty initial predicates initialization.
!31
· created
Apr 11, 2021
by
Ferdie Reijnen
MERGED
3
updated
Apr 13, 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
#25 Find defs/insts located in groups.
!29
· created
Apr 10, 2021
by
Dennis Hendriks
MERGED
1
1
updated
Apr 19, 2021
Develop
!27
· created
Mar 18, 2021
by
Dennis Hendriks
v0.1
master
RelEng
Type
Enhancement
MERGED
0
updated
Mar 18, 2021
Resolve "Various small documentation improvements for release v0.1"
!26
· created
Mar 18, 2021
by
Dennis Hendriks
v0.1
Chi
Products
Type
Enhancement
MERGED
0
updated
Mar 18, 2021
#21 Improved installation instructions for MacOS
!25
· created
Mar 18, 2021
by
Bert Van Beek
v0.1
Products
Type
Enhancement
MERGED
2
updated
Mar 18, 2021
Resolve "Remove command line tools for macOS"
!24
· created
Mar 18, 2021
by
Dennis Hendriks
v0.1
Products
RelEng
Type
Bug
MERGED
0
updated
Mar 18, 2021
#6 Ensure website index.html adheres to Eclipse Foundation rules.
!22
· created
Mar 09, 2021
by
Dennis Hendriks
v0.1
RelEng
Type
Enhancement
MERGED
0
updated
Mar 09, 2021
Address "Full and up-to-date list of dependencies"
!21
· created
Mar 08, 2021
by
Dennis Hendriks
v0.1
RelEng
Type
Enhancement
MERGED
1
updated
Mar 12, 2021
#20 Improved development environment setup instructions.
!20
· created
Mar 08, 2021
by
Dennis Hendriks
v0.1
Products
Type
Enhancement
MERGED
1
updated
Mar 12, 2021
#19 Release notes updates for v0.1 + documentation improvements.
!19
· created
Mar 03, 2021
by
Dennis Hendriks
v0.1
CIF
Chi
Products
SeText
ToolDef
Type
Enhancement
MERGED
8
updated
Mar 05, 2021
Resolve "Include license header check in Jenkins build"
!18
· created
Mar 02, 2021
by
Dennis Hendriks
v0.1
RelEng
Type
Enhancement
MERGED
2
updated
Mar 05, 2021
Resolve "Align Checkstyle versions used by Eclipse and Maven"
!17
· created
Mar 02, 2021
by
Dennis Hendriks
v0.1
RelEng
Type
Enhancement
MERGED
1
updated
Mar 05, 2021
#17 Oomph setup: configure some useful settings
!16
· created
Mar 02, 2021
by
Dennis Hendriks
v0.1
RelEng
Type
Enhancement
MERGED
0
updated
Mar 05, 2021
Prev
1
…
14
15
16
17
18
19
Next
