Merge requests · TASTE

IvToPromelaTranslator: fix observer attachment

spacecreator!675 · created Aug 25, 2022 by Rafal Babski
- Merged
- 2
- Approved
updated Aug 25, 2022
N7S AUR#150 - Several comments and refactor

spacecreator!674 · created Aug 25, 2022 by Filip Florczyk
- Merged
- Approved
updated Aug 25, 2022
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: fix attaching output observer when the pi and ri have different name

spacecreator!673 · created Aug 24, 2022 by Rafal Babski
- Merged
- Approved
updated Aug 24, 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
improve translations error handling

if-model-checking!14 · created Aug 24, 2022 by Marius Bozga
- Merged
- Approved
updated Aug 24, 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 aur#202 move manual tests for fixed features to working tests directory

spacecreator!669 · created Aug 23, 2022 by Arkadiusz Koszewski
- Merged
- Approved
updated Aug 23, 2022
N7s tmc#126 observers timers

spacecreator!653 · created Aug 11, 2022 by Rafal Babski
- Merged
- 11
- Approved
updated Aug 23, 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
N7S TMC#156 - MscToSdl backtracking

spacecreator!661 · created Aug 17, 2022 by Filip Demski
- Merged
- 12
- Approved
updated Aug 23, 2022
Implement DeviceGenerator qtc plugin

spacecreator!654 · created Aug 11, 2022 by Damian Gzik
- Merged
- 20
- 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
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 2

spacecreator!659 · created Aug 16, 2022 by Arkadiusz Koszewski
- Merged
- 10
- Approved
updated Aug 17, 2022
N7S AUR#150 - Archetypes library manager

spacecreator!658 · created Aug 15, 2022 by Filip Florczyk
- Merged
- 8
- Approved
updated Aug 17, 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
- misc. improvements

if-model-checking!12 · created Aug 16, 2022 by Marius Bozga
- Merged
- Approved
updated Aug 16, 2022
N7s aur#170 test cases for qgen template generation

spacecreator!657 · created Aug 12, 2022 by Arkadiusz Koszewski
- Merged
- 2
- Approved
updated Aug 16, 2022