Skip to content
GitLab
Explore
Sign in
TASTE
SpaceCreator
Merge requests
Open
0
Merged
1,219
Closed
49
All
1,268
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}}
Created date
TMC: Added trailgen to the appimage
!868
· created
Dec 15, 2022
by
Rafal Babski
Merged
Approved
0
updated
Dec 15, 2022
Clean up debug output in test_external_proc.sh
!867
· created
Dec 15, 2022
by
Bartosz Wojczyński
Merged
Approved
0
updated
Dec 15, 2022
TMC: Fix crash in SpinTrailToSimulatorTrailTranslator
!866
· created
Dec 15, 2022
by
Rafal Babski
Merged
Approved
0
updated
Dec 19, 2022
Resolve "IVE: Add Ungroup"
!865
· created
Dec 14, 2022
by
Alex Diev
5 Improve geometry of connectors
Doing
IVE
Merged
Approved
4
updated
Dec 16, 2022
TMC: Added custom global options for timeouts and compiler flags
!864
· created
Dec 14, 2022
by
Rafal Babski
Merged
Approved
0
updated
Dec 14, 2022
Use validators to prevent wrong names of fnterfaces, functions, nodes,
!863
· created
Dec 14, 2022
by
Guenter Schwann
14 Fix issues reported in gitlab
Bug
Doing
IVE
Merged
Approved
2
updated
Dec 16, 2022
IVE: Import ASN1 files related to FunctionType during Function instantiation
!862
· created
Dec 13, 2022
by
Alex Diev
14 Fix issues reported in gitlab
Critical
Doing
IVE
Merged
Approved
0
updated
Dec 15, 2022
Tmc: Added Debug messages to investigate issue with opengeode
!861
· created
Dec 13, 2022
by
Rafal Babski
Merged
Approved
2
updated
Dec 14, 2022
TMC: Fix wrong escaping in MscToSdlTranslator
!860
· created
Dec 13, 2022
by
Rafal Babski
Merged
Approved
0
updated
Dec 13, 2022
Use grantlee from ESA gitlab
!859
· created
Dec 13, 2022
by
Guenter Schwann
Merged
Approved
0
updated
Dec 14, 2022
TMC: Fix segfault while calling spin
!858
· created
Dec 12, 2022
by
Arkadiusz Koszewski
Merged
Approved
0
updated
Dec 12, 2022
Add a BreadcrumbWidget and place it on IV editor
!857
· created
Dec 12, 2022
by
Alejandro Exojo
Merged
Approved
0
updated
Dec 16, 2022
COMPASTA AR Integration
!856
· created
Dec 12, 2022
by
Alberto Bonizzi
Merged
Approved
5
updated
Sep 01, 2023
Don't treat asn1 compiler warnings as errors
!855
· created
Dec 12, 2022
by
Guenter Schwann
14 Fix issues reported in gitlab
Bug
Doing
IVE
Merged
Approved
0
updated
Dec 12, 2022
N7S ETB#281- Bidirectional ASN.1 translation test
!854
· created
Dec 12, 2022
by
Filip Demski
Merged
Approved
0
updated
Dec 12, 2022
TMC: Fix creating new MSC property in Modelchecking window
!853
· created
Dec 09, 2022
by
Rafal Babski
Merged
Approved
0
updated
Dec 09, 2022
N7S ETB#279 - Added file with requirements
!852
· created
Dec 09, 2022
by
Filip Demski
Merged
Approved
10
updated
Dec 09, 2022
External SDL procedures (subtyping and sync calls)
!851
· created
Dec 09, 2022
by
Bartosz Wojczyński
Merged
Approved
20
updated
Dec 14, 2022
N7s tmc#266 unhandled input trace
!850
· created
Dec 08, 2022
by
Rafal Babski
Merged
Approved
0
updated
Dec 09, 2022
TMC: fix construction of channel name in IvToPromelaTranslator
!849
· created
Dec 08, 2022
by
Rafal Babski
Merged
Approved
0
updated
Dec 08, 2022
Prev
1
…
17
18
19
20
21
22
23
24
25
…
64
Next