Skip to content
GitLab
Explore
Sign in
Open
2
Merged
1,114
Closed
60
All
1,176
Merge trains
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{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
#579 Update development setup documentation for JMV17
!575
· created
May 05, 2023
by
Martijn Goorden
v0.10
RelEng/DevOps
Type
Bug
Merged
1
Approved
updated
May 08, 2023
#577 Change eclipse.org to eclipse.dev
!574
· created
May 05, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
1
Approved
updated
May 08, 2023
#418 Initialize state variables
!573
· created
May 03, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
24
Approved
updated
May 10, 2023
#568 Update DEPENDENCIES.txt for output on Jenkins.
!572
· created
May 02, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Bug
Merged
1
updated
May 02, 2023
#578 Added a new 'Tool invocation' option to the ToolDef interpreter
!571
· created
May 02, 2023
by
Dennis Hendriks
v0.10
ToolDef
Type
Enhancement
Merged
2
updated
May 02, 2023
#568 Ensure plugins that are not JAR-signed are GPG-signed
!570
· created
May 01, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Bug
Merged
1
Approved
updated
May 02, 2023
#576 DEPENDENCIES.txt update for Dash license check tool output changes.
!569
· created
Apr 30, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Bug
Merged
updated
Apr 30, 2023
#574 DEPENDENCIES.txt update for Dash license check tool output change.
!568
· created
Apr 28, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Bug
Merged
updated
Apr 28, 2023
#523 Optimize enforcement of state plant invariants like state requirement invariants
!567
· created
Apr 27, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
20
Approved
updated
Jun 22, 2023
#553 Event-based synthesis: warn if no requirement automata.
!566
· created
Apr 27, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
updated
Apr 28, 2023
#573 Print extra help text for ToolDef exit codes.
!565
· created
Apr 27, 2023
by
Dennis Hendriks
v0.10
ToolDef
Type
Bug
Merged
7
updated
Apr 28, 2023
#570 Ensure 'dsmclustering' command line script is executable.
!564
· created
Apr 27, 2023
by
Dennis Hendriks
v0.10
Common
Products
Type
Bug
Merged
Approved
updated
Apr 28, 2023
#571 ToolDef readlines/writefile improvements
!563
· created
Apr 27, 2023
by
Dennis Hendriks
v0.10
ToolDef
Type
Enhancement
Merged
5
updated
Apr 28, 2023
#567 Handle dark-theme and theme update in standalone applications.
!561
· created
Apr 23, 2023
by
Patrick van Berkel
v0.10
Common
Type
Bug
Merged
9
Approved
updated
Apr 25, 2023
#399 #468 #221 Upgrade to Eclipse 2023-03 with in-place upgrade
!560
· created
Apr 23, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
32
Approved
updated
May 30, 2023
#567 Fix CIF synthesis analysis tool command line script ending prematurely
!559
· created
Apr 21, 2023
by
Patrick van Berkel
v0.10
CIF
Type
Bug
Merged
23
Approved
updated
Apr 24, 2023
#567 Added launch configuration to run stand-alone cifsim for tank model from devenv
!558
· created
Apr 20, 2023
by
Patrick van Berkel
v0.10
CIF
Type
Enhancement
Merged
8
Approved
updated
Apr 22, 2023
#567 Reference correct plugin_name in eventbased standalone application.
!557
· created
Apr 20, 2023
by
Patrick van Berkel
v0.10
CIF
Type
Bug
Merged
3
Approved
updated
Apr 20, 2023
#566 DEPENDENCIES.txt update for Dash license check tool output change.
!556
· created
Apr 16, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Bug
Merged
updated
Apr 16, 2023
#565 DEPENDENCIES.txt update for Dash license check tool output change.
!554
· created
Apr 15, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Bug
Merged
updated
Apr 15, 2023
Prev
1
…
29
30
31
32
33
34
35
36
37
…
59
Next
