Merge requests · TASTE

Add QGenC and QGenAda as languages

taste-setup!174 · created May 25, 2022 by Angel Perez Muñoz feature_bullseye
updated Jun 03, 2022
update sdl2if tests

if-model-checking!7 · created Jun 02, 2022 by Marius Bozga
- Merged
- Approved
updated Jun 02, 2022
N7S ETB#244 - Context parameters are now correctly imported

spacecreator!597 · created Jun 02, 2022 by Filip Demski
- Merged
- Approved
updated Jun 02, 2022
fix for mod, rem, shift_left, shift_right translation

if-model-checking!6 · created Jun 02, 2022 by Marius Bozga
- Merged
- Approved
updated Jun 02, 2022
Provide the DVMessage fron/to paths as lists

spacecreator!596 · created Jun 02, 2022 by Guenter Schwann
updated Jun 02, 2022
Add function path to DVMessage

spacecreator!595 · created Jun 01, 2022 by Guenter Schwann
updated Jun 01, 2022
Provide access to end to end connections in IV templates

spacecreator!594 · created May 31, 2022 by Maxime Perrotin
updated May 31, 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#115 - InterfaceView optimizer

spacecreator!582 · created May 17, 2022 by Filip Demski
- Merged
- 32
- Approved
updated May 30, 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
N7S TMC#93 - env OctetString generation

spacecreator!586 · created May 24, 2022 by Mikołaj Owczarzak
- Merged
- 10
- Approved
updated May 30, 2022
N7S TMC#115 - SequenceOf value assignment

spacecreator!592 · created May 27, 2022 by Filip Demski
- Merged
- 2
- Approved
updated May 30, 2022
N7s TMC#109 dekker use case

spacecreator!591 · created May 26, 2022 by Michal Kurowski
- Merged
- 4
- Approved
updated May 27, 2022
SedsToIvTranslator: Fixed escaping

spacecreator!593 · created May 27, 2022 by Filip Demski
updated May 27, 2022
N7s TMC#93 integer inline optimization

spacecreator!590 · created May 26, 2022 by Michal Kurowski
- Merged
- 10
- Approved
updated May 26, 2022
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
small fix for IF model checker templates.m4

kazoo!96 · created May 24, 2022 by Iulian Ober feature_bullseye
- Merged
updated May 25, 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#117 - fix sequence env generation

spacecreator!583 · created May 19, 2022 by Mikołaj Owczarzak
- Merged
- Approved
updated May 24, 2022