Merge requests · TASTE

N7S TMC#117 - Asn1ToPromelaTranslator: env: added nested SequenceOf test

spacecreator!588 · created May 25, 2022 by Mikołaj Owczarzak
- Merged
- Approved
updated May 26, 2022
Value argument rename

spacecreator!587 · created May 25, 2022 by Michal Kurowski
- Merged
- Approved
updated May 26, 2022
Add QGenC and QGenAda as languages

taste-setup!174 · created May 25, 2022 by Angel Perez Muñoz feature_bullseye
updated Jun 03, 2022
N7S TMC#93 - env OctetString generation

spacecreator!586 · created May 24, 2022 by Mikołaj Owczarzak
- Merged
- 10
- Approved
updated May 30, 2022
Added support for new runtime Leon3 RTEMS SMP QDP

taste-setup!173 · created May 24, 2022 by Rafal Babski feature_bullseye
- Closed
- 3
- Approved
updated Jun 21, 2022
Added support for new runtime Leon3 RTEMS SMP QDP

ocarina!7 · created May 24, 2022 by Rafal Babski feature_buster
- Merged
- 8
- Approved
updated Jun 20, 2022
small fix for IF model checker templates.m4

kazoo!96 · created May 24, 2022 by Iulian Ober feature_bullseye
- Merged
updated May 25, 2022
[ETD-18] Add SEDS to the available Function source languages

taste-setup!172 · created May 24, 2022 by Piotr Surma feature_bullseye
- Merged
- Approved
updated May 30, 2022
[ETD-18] Add SEDS to the available Function source languages

kazoo!95 · created May 24, 2022 by Piotr Surma feature_bullseye
- Merged
- 2
- Approved
updated May 30, 2022
N7S TMC#118 - Data range checks inlines

spacecreator!585 · created May 24, 2022 by Filip Demski
- Merged
- 24
- Approved
updated Jun 06, 2022
SedsToSdlTranslator: Fixed escaping ASN.1 type names in procedures

spacecreator!584 · created May 20, 2022 by Filip Demski
- Merged
- Approved
updated May 20, 2022
N7S TMC#117 - fix sequence env generation

spacecreator!583 · created May 19, 2022 by Mikołaj Owczarzak
- Merged
- Approved
updated May 24, 2022
N7S TMC#115 - InterfaceView optimizer

spacecreator!582 · created May 17, 2022 by Filip Demski
- Merged
- 32
- Approved
updated May 30, 2022
SedsToSdlTranslator: Restored return statement for SDL procedures

spacecreator!581 · created May 13, 2022 by Filip Demski
- Merged
- Approved
updated May 16, 2022
N7S TMC#93 complex datatypes in env - Choice

spacecreator!580 · created May 12, 2022 by Mikołaj Owczarzak
- Merged
- 10
- Approved
updated May 24, 2022
N7S TMC#113 fix PluginCommon conditional compilation

spacecreator!579 · created May 12, 2022 by Mikołaj Owczarzak
- Merged
- 8
- Approved
updated May 13, 2022
N7S TMC#93 complex datatypes in env sequenceof

spacecreator!578 · created May 11, 2022 by Mikołaj Owczarzak
- Merged
- 42
- Approved
updated May 17, 2022
SedsToAsn1Translator refactor

spacecreator!577 · created May 10, 2022 by Filip Demski
- Merged
- 86
- Approved
updated Jun 06, 2022
N7S ETB#240 fixes for LIDAR

spacecreator!576 · created May 09, 2022 by Michal Kurowski
- Merged
- 3
- Approved
updated May 10, 2022
scn2msc bugs corrected and updated if files

if-model-checking!5 · created May 09, 2022 by Iulia Dragomir
- Merged
updated May 09, 2022