Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
10
Merged
827
Closed
51
All
888
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}}
Merged date
#177 Inconsistent error reporting on list projection with impossible static bounds.
!138
· created
Sep 20, 2021
by
Albert Hofkamp
v0.3
CIF
Type
Bug
Merged
3
updated
Sep 23, 2021
#167 develop to master for v0.3-M1
!133
· created
Sep 14, 2021
by
Dennis Hendriks
master
Merged
0
updated
Sep 14, 2021
#167 Updated release notes for v0.3-M1.
!132
· created
Sep 13, 2021
by
Dennis Hendriks
v0.3
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Sep 14, 2021
#164 Add warnings for uncontrollable events not enabled in the controlled statespace.
!131
· created
Sep 02, 2021
by
Ferdie Reijnen
v0.3
CIF
Type
Enhancement
Merged
10
updated
Sep 05, 2021
#162 #150 Use ctrlBeh predicate to determine whether an event is enabled in controlled system for datasynth
!129
· created
Aug 31, 2021
by
Ferdie Reijnen
v0.3
CIF
Type
Bug
Merged
4
updated
Sep 02, 2021
#163 Updated datasynth documentation.
!130
· created
Aug 31, 2021
by
Ferdie Reijnen
CIF
Type
Bug
Merged
1
updated
Sep 02, 2021
#157 Fail license check early for Dash license tool Maven failures.
!125
· created
Aug 19, 2021
by
Dennis Hendriks
v0.3
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Sep 01, 2021
#144 Changed supervisor simplification for events that are not enabled in the system to true.
!128
· created
Aug 27, 2021
by
Ferdie Reijnen
v0.3
CIF
Type
Enhancement
Merged
6
updated
Aug 31, 2021
#149 #154 Add test cases for CIF to PLC for TwinCAT
!124
· created
Aug 13, 2021
by
Ferdie Reijnen
v0.3
CIF
Type
Enhancement
Merged
23
updated
Aug 30, 2021
#161 Reverting DEPENDENCIES.txt change for xerces.
!127
· created
Aug 26, 2021
by
Dennis Hendriks
v0.3
RelEng/DevOps
Type
Bug
Merged
0
updated
Aug 26, 2021
#161 License check result update for xerces.
!126
· created
Aug 26, 2021
by
Dennis Hendriks
v0.3
RelEng/DevOps
Type
Bug
Merged
0
updated
Aug 26, 2021
#153 Updated dependencies file
!123
· created
Aug 04, 2021
by
Ferdie Reijnen
v0.3
RelEng/DevOps
Type
Bug
Merged
2
updated
Aug 19, 2021
#148 Add switch expressions to data-based synthesis.
!121
· created
Jul 18, 2021
by
Ferdie Reijnen
v0.3
CIF
Type
Enhancement
Merged
2
updated
Jul 18, 2021
#139 #140 remove inherintence of supervisory kind for invariants
!116
· created
Jul 07, 2021
by
Ferdie Reijnen
Merged
10
updated
Jul 16, 2021
#143 Using constant results in unsupported linearized guard with data-based synthesis.
!120
· created
Jul 15, 2021
by
Ferdie Reijnen
v0.3
CIF
Type
Bug
Merged
8
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
#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
#141 CollectUtils should use collection interface.
!119
· created
Jul 09, 2021
by
Ferdie Reijnen
Merged
0
updated
Jul 10, 2021
#136 Update DEPENDENCIES.txt for groovy 3.0.8.
!117
· created
Jul 08, 2021
by
Dennis Hendriks
v0.3
RelEng/DevOps
Type
Bug
Merged
0
updated
Jul 09, 2021
#137 Prepare for v0.3 development
!115
· created
Jul 07, 2021
by
Dennis Hendriks
v0.3
RelEng/DevOps
Type
Enhancement
Merged
0
updated
Jul 08, 2021
Prev
1
…
32
33
34
35
36
37
38
39
40
…
42
Next