Merge requests · TASTE

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#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
N7S ETB#279 - Added file with requirements

spacecreator!852 · created Dec 09, 2022 by Filip Demski
- Merged
- 10
- Approved
updated Dec 09, 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
Share settings between SpaceCreator and separate tools

spacecreator!842 · created Nov 30, 2022 by Guenter Schwann 14 Fix issues reported in gitlab
Bug DVE Doing IVE MSC QtC
- Merged
- Approved
updated Dec 07, 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
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
Fix the disappearance of items moved to the border

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

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

spacecreator!844 · created Dec 02, 2022 by Rafal Babski
- Merged
- 4
- Approved
updated Dec 05, 2022
N7s tmc#200 msc

spacecreator!839 · created Nov 30, 2022 by Bartosz Wojczyński
- Merged
- 8
- Approved
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 ETB#265 - Refering to SEDS with data types in SEDS with interfaces

spacecreator!837 · created Nov 29, 2022 by Filip Demski
- Merged
- Approved
updated Dec 02, 2022
N7S ETB#279 - Add missing requirements

spacecreator!841 · created Nov 30, 2022 by Filip Demski
- Merged
- Approved
updated Dec 02, 2022
N7S AUR#161 add routing table usage for RTEMS target

kazoo!129 · created Nov 18, 2022 by Filip Florczyk feature_bullseye
- Merged
- Approved
updated Dec 02, 2022
TMC: Add list of generated traces

spacecreator!824 · created Nov 23, 2022 by Arkadiusz Koszewski
- Merged
- Approved
updated Dec 01, 2022
N7S ETB#255 - Parameter activity maps async

spacecreator!795 · created Nov 10, 2022 by Filip Demski
- Merged
- Approved
updated Dec 01, 2022
Disable Qt5 builds in the CI

spacecreator!804 · created Nov 15, 2022 by Guenter Schwann
- Merged
- 2
- Approved
updated Dec 01, 2022
Show maximize and minize buttons on externa tool dialog

spacecreator!835 · created Nov 28, 2022 by Guenter Schwann 14 Fix issues reported in gitlab
Bug Doing IVE
- Merged
- Approved
updated Dec 01, 2022