Merge requests · TASTE

Fix when multiple RI is connected to one PI on remote node

kazoo!102 · created Jul 14, 2022 by Rafal Babski feature_bullseye
- Merged
- Approved
updated Jul 14, 2022
N7S AUR#141 multicast regression test

spacecreator!626 · created Jul 13, 2022 by Michal Kurowski
- Merged
- Approved
updated Jul 14, 2022
[ETD-17] Verify if both connected devices use the same packetizer

spacecreator!622 · created Jul 06, 2022 by Piotr Surma
- Merged
- 5
- Approved
updated Jul 13, 2022
N7s aur#143 interface layers implementation

spacecreator!623 · created Jul 07, 2022 by Filip Florczyk
- Merged
- 26
- Approved
updated Jul 13, 2022
FunctionTesterPlugin: Run tests and display results from GDB

spacecreator!624 · created Jul 08, 2022 by Arkadiusz Koszewski
- Merged
- 38
- Approved
updated Jul 13, 2022
N7s aur#125 simulink model importer

spacecreator!620 · created Jul 05, 2022 by Igor Jarek
- Merged
- 47
- Approved
updated Jul 13, 2022
FunctionTesterPlugin: Delete unnecessary code in CMakeLists for tst_testgenerator

spacecreator!625 · created Jul 11, 2022 by Arkadiusz Koszewski
- Merged
- Approved
updated Jul 12, 2022
Update MSC property makefile to use new call for mscconverter

if-model-checking!11 · created Jul 11, 2022 by Laura Alexandra Sequeira Gouveia
- Merged
updated Jul 11, 2022
sdl2if fix : translation of input/output matching with missing parameters

if-model-checking!10 · created Jul 08, 2022 by Marius Bozga
- Merged
- Approved
updated Jul 08, 2022
N7s aur#95 function tester plugin

spacecreator!610 · created Jun 17, 2022 by Arkadiusz Koszewski
- Merged
- 59
- Approved
updated Jul 08, 2022
N7S TMC#100 - Interface subtyping

spacecreator!619 · created Jul 04, 2022 by Filip Demski
- Merged
- 11
- Approved
updated Jul 07, 2022
Promela: support for timers

spacecreator!618 · created Jun 30, 2022 by Rafal Babski
- Merged
- 12
- Approved
updated Jul 06, 2022
Correct, that messages can go both ways in DVE

spacecreator!621 · created Jul 06, 2022 by Guenter Schwann
- Merged
- Approved
updated Jul 06, 2022
N7S TMC#115 - InterfaceViewOptimizer keep param

spacecreator!616 · created Jun 29, 2022 by Filip Demski
- Merged
- 20
- Approved
updated Jul 06, 2022
Asn1ToPromelaTranslator: added generation of choice selection required by sdl2promela

spacecreator!614 · created Jun 28, 2022 by Rafal Babski
- Merged
- Approved
updated Jul 05, 2022
Gmv moc4space fix observer asn

kazoo!100 · created Jul 01, 2022 by Laura Alexandra Sequeira Gouveia feature_bullseye
- Merged
- Approved
updated Jul 01, 2022
Gmv moc4space postcdr improvs 2

spacecreator!617 · created Jun 29, 2022 by Tiago Jorge
updated Jun 29, 2022
Gmv moc4space postcdr improvs

spacecreator!615 · created Jun 28, 2022 by Tiago Jorge
updated Jun 28, 2022
updated ixv case study

if-model-checking!9 · created Jun 27, 2022 by Iulia Dragomir
- Merged
updated Jun 27, 2022
Asn1ToPromelaTranslator: added generation of additional inline for choice selection

spacecreator!613 · created Jun 24, 2022 by Rafal Babski
- Merged
- Approved
updated Jun 24, 2022