Skip to content
GitLab
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
3
Merged
505
Closed
34
All
542
Subscribe to RSS feed
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}}
Label priority
#265 develop to master for v0.5
!292
· created
Mar 29, 2022
by
Dennis Hendriks
v0.5
master
MERGED
0
updated
Mar 29, 2022
#264 master to develop for v0.5-RC1
!287
· created
Mar 25, 2022
by
Dennis Hendriks
v0.5
master
MERGED
0
updated
Mar 25, 2022
#263 develop to master for v0.5-M1
!268
· created
Feb 22, 2022
by
Dennis Hendriks
v0.5
master
MERGED
2
updated
Feb 22, 2022
#192 develop to master for v0.4
!239
· created
Dec 17, 2021
by
Dennis Hendriks
v0.4
master
MERGED
0
updated
Dec 17, 2021
#191 develop to master for v0.4-RC1
!236
· created
Dec 13, 2021
by
Dennis Hendriks
v0.4
master
MERGED
0
updated
Dec 13, 2021
#190 Merge develop to master for v0.4-M1.
!191
· created
Nov 12, 2021
by
Dennis Hendriks
master
MERGED
0
updated
Nov 12, 2021
#168 develop to master for v0.3-RC1 (2nd attempt)
!154
· created
Sep 28, 2021
by
Dennis Hendriks
master
MERGED
0
updated
Sep 28, 2021
#168 develop to master for v0.3-RC1
!152
· created
Sep 28, 2021
by
Dennis Hendriks
master
MERGED
0
updated
Sep 28, 2021
#167 develop to master for v0.3-M1
!133
· created
Sep 14, 2021
by
Dennis Hendriks
master
MERGED
0
updated
Sep 14, 2021
#141 CollectUtils should use collection interface.
!119
· created
Jul 09, 2021
by
Ferdie Reijnen
MERGED
0
updated
Jul 10, 2021
#122 Finite response checker
!118
· created
Jul 09, 2021
by
Ferdie Reijnen
122-add-controller-check-for-finite-response
MERGED
0
updated
Jul 12, 2021
#139 #140 remove inherintence of supervisory kind for invariants
!116
· created
Jul 07, 2021
by
Ferdie Reijnen
MERGED
10
updated
Jul 16, 2021
#108 additional checks/warnings for data based synthesis related to state event exclusion invariants.
!114
· created
Jul 02, 2021
by
Ferdie Reijnen
MERGED
30
updated
Jul 13, 2021
#131 Merge develop to master for v0.2-RC1, with #138 fix.
!113
· created
Jul 02, 2021
by
Dennis Hendriks
master
MERGED
0
updated
Jul 02, 2021
#131 develop to master for v0.2-RC1
!111
· created
Jul 02, 2021
by
Dennis Hendriks
master
MERGED
0
updated
Jul 02, 2021
#133 Merge string concatenations on a single line into a single string in Java code.
!110
· created
Jul 02, 2021
by
Ferdie Reijnen
MERGED
0
updated
Jul 02, 2021
#129 Elim enums and algebraic variables as preprocessing for CIF to Uppaal.
!106
· created
Jun 30, 2021
by
Ferdie Reijnen
MERGED
3
updated
Jul 01, 2021
#121 Upgrade to Eclipse 2021-06
!104
· created
Jun 24, 2021
by
Ferdie Reijnen
CLOSED
2
updated
Jun 26, 2021
#128 Java common test case fails due to wrong decimal separator
!103
· created
Jun 23, 2021
by
Ferdie Reijnen
MERGED
0
updated
Jun 23, 2021
#120 Make preprocessing and supported specification consistent for CIF to mCRL2.
!102
· created
Jun 23, 2021
by
Ferdie Reijnen
MERGED
1
updated
Jun 23, 2021
Prev
1
…
21
22
23
24
25
26
27
28
Next
