Merge requests · TASTE

TMC: Fix segfault while calling spin

spacecreator!858 · created Dec 12, 2022 by Arkadiusz Koszewski
- Merged
- Approved
updated Dec 12, 2022
Add a BreadcrumbWidget and place it on IV editor

spacecreator!857 · created Dec 12, 2022 by Alejandro Exojo
- Merged
- Approved
updated Dec 16, 2022
COMPASTA AR Integration

spacecreator!856 · created Dec 12, 2022 by Alberto Bonizzi
- Merged
- 5
- Approved
updated Sep 01, 2023
COMPASTA AR Integration

kazoo!132 · created Dec 12, 2022 by Alberto Bonizzi feature_bullseye
- Merged
- 9
- Approved
updated Feb 14, 2023
Don't treat asn1 compiler warnings as errors

spacecreator!855 · created Dec 12, 2022 by Guenter Schwann 14 Fix issues reported in gitlab
Bug Doing IVE
- Merged
- Approved
updated Dec 12, 2022
N7S ETB#281- Bidirectional ASN.1 translation test

spacecreator!854 · created Dec 12, 2022 by Filip Demski
- Merged
- Approved
updated Dec 12, 2022
TMC: Fix creating new MSC property in Modelchecking window

spacecreator!853 · created Dec 09, 2022 by Rafal Babski
- Merged
- Approved
updated Dec 09, 2022
N7S ETB#279 - Added file with requirements

spacecreator!852 · created Dec 09, 2022 by Filip Demski
- Merged
- 10
- Approved
updated Dec 09, 2022
External SDL procedures (subtyping and sync calls)

spacecreator!851 · created Dec 09, 2022 by Bartosz Wojczyński
- Merged
- 20
- Approved
updated Dec 14, 2022
N7s tmc#266 unhandled input trace

spacecreator!850 · created Dec 08, 2022 by Rafal Babski
- Merged
- Approved
updated Dec 09, 2022
TMC: fix construction of channel name in IvToPromelaTranslator

spacecreator!849 · created Dec 08, 2022 by Rafal Babski
- Merged
- Approved
updated Dec 08, 2022
Add version information to files

spacecreator!848 · created Dec 07, 2022 by Guenter Schwann 14 Fix issues reported in gitlab
DVE Doing IVE
- Merged
- 1
- Approved
updated Dec 12, 2022
Show ASN file content when msc is loaded by cmd line

spacecreator!847 · created Dec 07, 2022 by Guenter Schwann 8 Improve MSC editor and streamer
Bug Doing MSC Minor
- Merged
- Approved
updated Dec 12, 2022
N7S ETB#289 - Fixed ASN.1 constraint duplication in sequences and sequences of

spacecreator!846 · created Dec 06, 2022 by Filip Demski
- Merged
- Approved
updated Dec 09, 2022
Fix gpr name for RPi debug target

kazoo!131 · created Dec 05, 2022 by Angel Perez Muñoz feature_bullseye
- Merged
updated Dec 06, 2022
Board names have no restriction and are shown as is

spacecreator!845 · created Dec 05, 2022 by Guenter Schwann
Bug DVE Doing
- Merged
- Approved
updated Dec 07, 2022
Feature bullseye

taste-setup!203 · created Dec 05, 2022 by Maxime Perrotin feature_buster
- Merged
updated Dec 05, 2022
Merge updates from past 3 months

taste-setup!202 · created Dec 03, 2022 by Maxime Perrotin feature_buster
- Merged
updated Dec 03, 2022
N7s tmc#146 sync interfaces

spacecreator!844 · created Dec 02, 2022 by Rafal Babski
- Merged
- 4
- Approved
updated Dec 05, 2022
Fix the disappearance of items moved to the border

spacecreator!843 · created Dec 01, 2022 by Alejandro Exojo
- Merged
- Approved
updated Dec 06, 2022