Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
8
Merged
658
Closed
43
All
709
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}}
Priority
#419 Added Oisterwijksebaan bridge real-world CIF synthesis example - small fixes
!376
· created
Sep 29, 2022
by
Martijn Goorden
CIF
Type
Enhancement
Merged
Approved
2
updated
Feb 18, 2023
#345 Add Maven build launch configuration to only 'clean'
!296
· created
Apr 03, 2022
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Merged
Approved
2
updated
Apr 03, 2022
#285 Copyright update to 2022.
!246
· created
Jan 03, 2022
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Merged
Approved
12
updated
Jan 02, 2023
#490 Upgraded to Tycho 2.7.5.
!455
· created
Dec 25, 2022
by
Ferdie Reijnen
RelEng/DevOps
Merged
Approved
2
updated
Dec 29, 2022
Release milestone v0.1-M1
!10
· created
Feb 15, 2021
by
Dennis Hendriks
master
RelEng/DevOps
Merged
0
updated
Feb 15, 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
#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
Prev
1
…
27
28
29
30
31
32
33
Next