Skip to content
GitLab
Explore
Sign in
TASTE
SpaceCreator
Merge requests
Open
0
Merged
1,221
Closed
49
All
1,270
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}}
Label priority
474 Get the list of all msc events from per instance lists
!7
· created
Apr 07, 2021
by
Guenter Schwann
Bug
Doing
MSC
Merged
0
updated
Apr 07, 2021
Resolve "MSC: Messages can't cross each other"
!6
· created
Apr 07, 2021
by
Guenter Schwann
Bug
Doing
MSC
Merged
0
updated
Apr 07, 2021
474 Additionally store msc events per instance.
!5
· created
Apr 02, 2021
by
Guenter Schwann
Bug
Doing
MSC
Merged
0
updated
Apr 05, 2021
472 Fix double click for msc instance kind editing.
!3
· created
Apr 01, 2021
by
Guenter Schwann
Bug
Doing
MSC
Merged
Approved
0
updated
Apr 01, 2021
471 Store shared conditions in all instances in msc files
!1
· created
Apr 01, 2021
by
Guenter Schwann
Bug
Doing
MSC
Merged
Approved
0
updated
Apr 01, 2021
Feature n7s tmcc#527 IvToPromelaTranslator: fix to support functions without sporadic ifaces
!1270
· created
May 13, 2024
by
Rafal Babski
Merged
Approved
0
updated
May 14, 2024
Feature n7s tmcc#529 iv optimizer reimplementation
!1269
· created
May 10, 2024
by
Rafal Babski
Merged
Approved
4
updated
May 13, 2024
Fix settings page tabs
!1268
· created
Apr 29, 2024
by
Guenter Schwann
Merged
0
updated
Apr 29, 2024
Iv test improve
!1266
· created
Apr 22, 2024
by
Guenter Schwann
Merged
0
updated
Apr 22, 2024
Only show reviews of the current model
!1264
· created
Apr 19, 2024
by
Guenter Schwann
2 Review of a model
Doing
Merged
0
updated
Apr 22, 2024
Move requirement/review code to github
!1262
· created
Apr 17, 2024
by
Guenter Schwann
1 Traceability - Requirements
Doing
Merged
Approved
0
updated
Apr 18, 2024
1135 support debian 10 python
!1261
· created
Apr 17, 2024
by
Guenter Schwann
Merged
Approved
0
updated
Apr 17, 2024
Show review IDs
!1257
· created
Apr 15, 2024
by
Guenter Schwann
2 Review of a model
Doing
Merged
Approved
0
updated
Apr 16, 2024
Update cmake for Debian 10 from Github
!1256
· created
Apr 15, 2024
by
Guenter Schwann
Merged
Approved
0
updated
Apr 16, 2024
Pass manager to model, so the connections do not need to be established
!1254
· created
Apr 03, 2024
by
Guenter Schwann
2 Review of a model
Doing
Merged
Approved
0
updated
Apr 04, 2024
Resolve "Link issues to requirements"
!1253
· created
Apr 03, 2024
by
Guenter Schwann
2 Review of a model
Doing
Merged
Approved
0
updated
Apr 04, 2024
Show criticality in reviews
!1251
· created
Apr 02, 2024
by
Guenter Schwann
2 Review of a model
Doing
Merged
Approved
0
updated
Apr 02, 2024
Use stored token when entering a new url for review/requirement
!1250
· created
Apr 02, 2024
by
Guenter Schwann
2 Review of a model
Doing
Merged
Approved
0
updated
Apr 03, 2024
Dengof 993
!1249
· created
Apr 02, 2024
by
Denis Gofman
Merged
Approved
0
updated
Apr 02, 2024
Refactoring support for SDL
!1248
· created
Mar 28, 2024
by
Guenter Schwann
4 Refactoring
Doing
QtC
Merged
Approved
0
updated
Mar 29, 2024
Prev
1
…
11
12
13
14
15
16
17
18
19
…
62
Next