Merge requests · TASTE

Draft Leon3 RTEMS6 SMP QDP runtime

kazoo!98 · created Jun 10, 2022 by Michal Kurowski feature_bullseye
- Merged
- 57
- Approved
updated Jun 20, 2022
Linux CPP Runtime - added queue name to properly display error messages

kazoo!97 · created Jun 08, 2022 by Rafal Babski feature_bullseye
updated Jun 08, 2022
N7S TMC#118 - Fix userdefined types

spacecreator!603 · created Jun 08, 2022 by Filip Demski
- Merged
- 2
- Approved
updated Jun 13, 2022
TestGenerator: Fix interface names in generated test harness

spacecreator!602 · created Jun 08, 2022 by Arkadiusz Koszewski
- Closed
updated Jun 08, 2022
N7S ETB#246 - Fix OnTimer transition to the same state

spacecreator!601 · created Jun 06, 2022 by Filip Demski
- Merged
- Approved
updated Jun 06, 2022
Move TASTE generators calls out of MC window constructor.

spacecreator!600 · created Jun 04, 2022 by Tiago Jorge
updated Jun 04, 2022
Changes in IvToPromelaTranslator required for queue access

spacecreator!599 · created Jun 03, 2022 by Rafal Babski
- Merged
- Approved
updated Jun 13, 2022
Provide functions paths in ExportableDVMessage

spacecreator!598 · created Jun 03, 2022 by Guenter Schwann
updated Jun 03, 2022
[ETD-15] Add Packetizer selection to DeploymentView

taste-setup!175 · created Jun 03, 2022 by Piotr Surma 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
SedsToIvTranslator: Fixed escaping

spacecreator!593 · created May 27, 2022 by Filip Demski
updated May 27, 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
N7s TMC#93 integer inline optimization

spacecreator!590 · created May 26, 2022 by Michal Kurowski
- Merged
- 10
- Approved
updated May 26, 2022
N7S TMC#93 - Asn1ToPromelaTranslator: ConcreteChoice

spacecreator!589 · created May 26, 2022 by Mikołaj Owczarzak
- Merged
- 2
- Approved
updated Jun 15, 2022