Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
3
Merged
825
Closed
51
All
879
Actions
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}}
{{title}}
Milestone due date
#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
#189 contributing.asciidoc: more URL escaping to prevent links.
!153
· created
Sep 28, 2021
by
Dennis Hendriks
Products
Type
Bug
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
#179 Documented location of eclipse.ini file on MacOS
!142
· created
Sep 25, 2021
by
Martijn Goorden
Products
Type
Bug
Merged
7
updated
Sep 26, 2021
#167 develop to master for v0.3-M1
!133
· created
Sep 14, 2021
by
Dennis Hendriks
master
Merged
0
updated
Sep 14, 2021
#163 Updated datasynth documentation.
!130
· created
Aug 31, 2021
by
Ferdie Reijnen
CIF
Type
Bug
Merged
1
updated
Sep 02, 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
#126 Remove CIF to PLC test cases cif.err files
!101
· created
Jun 22, 2021
by
Ferdie Reijnen
Merged
0
updated
Jun 22, 2021
#122 Add controller check for finite response
!100
· created
Jun 18, 2021
by
Ferdie Reijnen
122-add-controller-check-for-finite-response
Merged
16
updated
Jul 01, 2021
#94 code generator tools should support state event exclusion invariants
!99
· created
Jun 18, 2021
by
Ferdie Reijnen
Merged
13
updated
Aug 31, 2021
Prev
1
…
38
39
40
41
42
43
44
Next