Merge requests · TASTE

Gmv moc4space fix observer asn

kazoo!100 · created Jul 01, 2022 by Laura Alexandra Sequeira Gouveia feature_bullseye
- Merged
- Approved
updated Jul 01, 2022
Promela: support for timers

spacecreator!618 · created Jun 30, 2022 by Rafal Babski
- Merged
- 12
- Approved
updated Jul 06, 2022
Gmv moc4space postcdr improvs 2

spacecreator!617 · created Jun 29, 2022 by Tiago Jorge
updated Jun 29, 2022
N7S TMC#115 - InterfaceViewOptimizer keep param

spacecreator!616 · created Jun 29, 2022 by Filip Demski
- Merged
- 20
- Approved
updated Jul 06, 2022
Gmv moc4space postcdr improvs

spacecreator!615 · created Jun 28, 2022 by Tiago Jorge
updated Jun 28, 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
updated ixv case study

if-model-checking!9 · created Jun 27, 2022 by Iulia Dragomir
- Merged
updated Jun 27, 2022
Draft: Ixv update

if-model-checking!8 · created Jun 27, 2022 by Iulia Dragomir
- Closed
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
[ETD-17] Add runtime support for Packetizer selection

taste-setup!176 · created Jun 23, 2022 by Piotr Surma feature_bullseye
- Merged
- Approved
updated Jul 27, 2022
[ETD-17] Add runtime support for Packetizer selection

kazoo!99 · created Jun 23, 2022 by Piotr Surma feature_bullseye
- Merged
- 7
- Approved
updated Jul 27, 2022
N7S TMC#93 - IA5String support

spacecreator!612 · created Jun 22, 2022 by Filip Demski
- Merged
- Approved
updated Jun 22, 2022
N7S TMC#120 - Input vector length limitation

spacecreator!611 · created Jun 20, 2022 by Filip Demski
- Merged
- 19
- Approved
updated Jun 22, 2022
N7s aur#95 function tester plugin

spacecreator!610 · created Jun 17, 2022 by Arkadiusz Koszewski
- Merged
- 59
- Approved
updated Jul 08, 2022
DVE: Remove invalid messages on load

spacecreator!609 · created Jun 16, 2022 by Guenter Schwann
Bug Critical DVE
- Merged
- Approved
updated Jun 16, 2022
N7S TMC#115 - InterfaceView optimizer CLI

spacecreator!608 · created Jun 15, 2022 by Filip Demski
- Merged
- Approved
updated Jun 21, 2022
N7S TMC#119 - Added calls to range/size checks

spacecreator!607 · created Jun 15, 2022 by Filip Demski
- Merged
- 17
- Approved
updated Jun 21, 2022
N7S TMC#118 - Test rest of the types

spacecreator!606 · created Jun 13, 2022 by Filip Demski
- Merged
- Approved
updated Jun 15, 2022
Gusc dvmessage function path

spacecreator!605 · created Jun 13, 2022 by Guenter Schwann
- Merged
- Approved
updated Jun 13, 2022
N7s aur#140 fix test harness interface names

spacecreator!604 · created Jun 10, 2022 by Arkadiusz Koszewski
- Merged
- Approved
updated Jun 10, 2022