Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
4
Merged
808
Closed
50
All
862
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
#564 CIF benchmark script: use normal output instead of debug output.
!552
· created
Apr 02, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
3
updated
Apr 03, 2023
#563 Improve CIF data-synthesis main fixed point loop sections
!550
· created
Apr 02, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
4
updated
Apr 04, 2023
#279 pom.xml surefire updates: 3.0.0-M5 to 3.0.0.
!549
· created
Apr 01, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
Approved
0
updated
Apr 03, 2023
#560 Development/release process updates: no more CQs and IP Logs.
!548
· created
Apr 01, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
Approved
0
updated
Apr 03, 2023
#557 Prepare Git repo for v0.10 development
!547
· created
Apr 01, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
Approved
0
updated
Apr 03, 2023
#658 Fix 'cifexplorer' script: use correct plugin to find application.
!657
· created
Sep 25, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Bug
Merged
Approved
0
updated
Sep 25, 2023
#649 EventDisabler now uses try-with-resources to read event names file.
!649
· created
Sep 16, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Bug
Merged
Approved
0
updated
Sep 16, 2023
#646 FESTO benchmark model: removed duplicate invariants.
!647
· created
Sep 10, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Bug
Merged
Approved
0
updated
Sep 11, 2023
#645 DEPENDENCIES.txt update for changed Dash license check tool output.
!645
· created
Sep 08, 2023
by
Dennis Hendriks
v1.0
RelEng/DevOps
Type
Bug
Merged
0
updated
Sep 08, 2023
#642 SeText no longer allows a shortcut to use itself
!642
· created
Aug 28, 2023
by
Dennis Hendriks
v1.0
SeText
Type
Bug
Merged
Approved
0
updated
Sep 01, 2023
#639 Fix performance regression in finite response checker
!637
· created
Aug 24, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Bug
Merged
Approved
31
updated
Aug 28, 2023
#634 Get rid of build-helper-maven-plugin missing version warnings.
!634
· created
Aug 20, 2023
by
Dennis Hendriks
v1.0
RelEng/DevOps
Type
Bug
Merged
Approved
0
updated
Aug 21, 2023
#620 CIF to Supremica transformation now only generates at most one guard per edge
!622
· created
Jul 02, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Bug
Merged
Approved
0
updated
Jul 06, 2023
#624 Update and improve SECURITY file.
!621
· created
Jul 02, 2023
by
Dennis Hendriks
v1.0
RelEng/DevOps
Type
Bug
Merged
Approved
0
updated
Jul 06, 2023
#618 develop to master for v1.0
!660
· created
Sep 30, 2023
by
Dennis Hendriks
v1.0
master
RelEng/DevOps
Type
Enhancement
Merged
0
updated
Sep 30, 2023
#618 Update release notes for v1.0.
!659
· created
Sep 28, 2023
by
Dennis Hendriks
v1.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
0
updated
Sep 30, 2023
#617 develop to master for v1.0-RC1
!658
· created
Sep 26, 2023
by
Dennis Hendriks
v1.0
master
RelEng/DevOps
Type
Enhancement
Merged
0
updated
Sep 26, 2023
#593 Add annotations lesson to the CIF language tutorial.
!655
· created
Sep 19, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Enhancement
Merged
Approved
27
updated
Sep 22, 2023
#655 Mark CIF data-based synthesis workset algorithm as mature
!653
· created
Sep 18, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Enhancement
Merged
Approved
0
updated
Sep 19, 2023
#617 Update release notes for v1.0-RC1.
!652
· created
Sep 18, 2023
by
Dennis Hendriks
v1.0
RelEng/DevOps
Type
Enhancement
Merged
4
updated
Sep 26, 2023
Prev
1
…
22
23
24
25
26
27
28
29
30
…
41
Next