Merge requests · TASTE

N7S TMC#193 - MscToSdlTranslator: When-Then and When-ThenNot

spacecreator!668 · created Aug 23, 2022 by Filip Demski
- Merged
- 10
- Approved
updated Aug 25, 2022
IvToPromelaTranslator: changed execution order of output observers

spacecreator!667 · created Aug 23, 2022 by Rafal Babski
- Merged
- Approved
updated Aug 23, 2022
[ETD-18] Add SEDS to the available Function source languages

kazoo!111 · created Aug 23, 2022 by Piotr Surma feature_bullseye
- Merged
- 2
- Approved
updated Aug 23, 2022
[ETD-18] Add SEDS to the available Function source languages

ocarina!10 · created Aug 23, 2022 by Piotr Surma feature_buster
- Merged
- Approved
updated Sep 29, 2022
Fix sequence support in QGenC functions

dmt!16 · created Aug 22, 2022 by Arkadiusz Koszewski feature_bullseye
- Merged
- 2
- Approved
updated Aug 24, 2022
N7S TMC#132 Dekker use case update

spacecreator!666 · created Aug 19, 2022 by Michal Kurowski
- Merged
- Approved
updated Sep 15, 2022
Add preliminary IV prefabs

spacecreator!665 · created Aug 19, 2022 by Damian Gzik
- Merged
- 47
- Approved
updated Aug 27, 2022
SedsConverter: xml.xsd schema is now a local file instead of an online resource

spacecreator!664 · created Aug 19, 2022 by Filip Demski
- Merged
- Approved
updated Aug 19, 2022
N7s aur#170 test cases for qgen template generation

spacecreator!663 · created Aug 19, 2022 by Arkadiusz Koszewski
- Merged
- Approved
updated Aug 19, 2022
N7S AUR#150 - Layer handling and archetype integrity checker

spacecreator!662 · created Aug 19, 2022 by Filip Florczyk
- Merged
- 6
- Approved
updated Aug 24, 2022
N7S TMC#156 - MscToSdl backtracking

spacecreator!661 · created Aug 17, 2022 by Filip Demski
- Merged
- 12
- Approved
updated Aug 23, 2022
misc. improvements on sdl2if translation + tests updated

if-model-checking!13 · created Aug 17, 2022 by Marius Bozga
- Merged
- Approved
updated Aug 17, 2022
Feature/kickoff

spacecreator!660 · created Aug 17, 2022 by Kasper Fisker
- Merged
- 47
- Approved
updated Nov 09, 2022
N7s aur#170 test cases for qgen template generation 2

spacecreator!659 · created Aug 16, 2022 by Arkadiusz Koszewski
- Merged
- 10
- Approved
updated Aug 17, 2022
- misc. improvements

if-model-checking!12 · created Aug 16, 2022 by Marius Bozga
- Merged
- Approved
updated Aug 16, 2022
Editing install script to include new stack analyzer

taste-setup!184 · created Aug 16, 2022 by Luke de Waal feature_bullseye
updated Sep 08, 2022
Stack analyzer

orchestrator!1 · created Aug 16, 2022 by Luke de Waal feature_buster
- Merged
- Approved
updated Sep 01, 2022
Stack analyzer

kazoo!110 · created Aug 16, 2022 by Luke de Waal feature_bullseye
- Merged
- Approved
updated Sep 01, 2022
N7S AUR#150 - Archetypes library manager

spacecreator!658 · created Aug 15, 2022 by Filip Florczyk
- Merged
- 8
- Approved
updated Aug 17, 2022
Support for one-to-n communication

kazoo!109 · created Aug 12, 2022 by Michal Kurowski feature_bullseye
- Merged
- 42
- Approved
updated Oct 04, 2022