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}}
Closed date
#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
#138 Fix signing Windows executables and macOS app.
!112
· created
Jul 02, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Bug
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
#131 Updated release notes for release v0.2.
!109
· created
Jul 01, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Enhancement
Merged
6
updated
Jul 02, 2021
#132 Update DEPENDENCIES.txt for org.apache.batik.dom.svg 1.14.
!108
· created
Jul 01, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Bug
Merged
0
updated
Jul 01, 2021
Resolve "Enhance debug output of the rail diagram generator"
!107
· created
Jun 30, 2021
by
Albert Hofkamp
v0.2
Common
Type
Enhancement
Merged
18
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 #130 #123 #46 #100 #130 Upgrade to Eclipse 2021-06 + dependency licenses + Maven 3.8.1 + fix runtime JDT compilation + no more limit-modules
!105
· created
Jun 26, 2021
by
Dennis Hendriks
v0.2
CIF
Chi
Common
RelEng/DevOps
Type
Bug
Type
Enhancement
Merged
9
updated
Jun 28, 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
#124 Refactor to type-safe empty lists, sets, maps.
!98
· created
Jun 18, 2021
by
Albert Hofkamp
Merged
2
updated
Jun 21, 2021
#122 Add controller check for finite response
!97
· created
Jun 17, 2021
by
Albert Hofkamp
v0.3
CIF
Type
Enhancement
Merged
177
updated
Sep 28, 2021
#117 Rebrand requirement invariants to supervisor invariants as synthesis output.
!96
· created
Jun 15, 2021
by
Ferdie Reijnen
Merged
1
updated
Jun 16, 2021
#104 CIF simulation crashes for enumeration literals that are java keywords.
!95
· created
Jun 14, 2021
by
Ferdie Reijnen
Merged
8
updated
Jun 16, 2021
#63 License header check script update for new rail diagram generator.
!94
· created
Jun 13, 2021
by
Dennis Hendriks
v0.2
CIF
Chi
SeText
ToolDef
Type
Enhancement
Merged
0
updated
Jun 13, 2021
#118 Realigned require-bundle for Cif simulator and debug simulator.
!93
· created
Jun 12, 2021
by
Ferdie Reijnen
Merged
1
updated
Jun 12, 2021
Prev
1
…
36
37
38
39
40
41
42
43
44
45
Next