Merge requests · TASTE

Use -hold otherwise the simulator GUI won't run

spacecreator!680 · created Aug 28, 2022 by Maxime Perrotin
- Merged
updated Aug 28, 2022
Make a simple call to make

spacecreator!679 · created Aug 28, 2022 by Maxime Perrotin
- Merged
updated Aug 28, 2022
Specify full path to make

spacecreator!678 · created Aug 28, 2022 by Maxime Perrotin
- Merged
updated Aug 28, 2022
Just call make

spacecreator!677 · created Aug 28, 2022 by Maxime Perrotin
- Merged
updated Aug 28, 2022
Add call to exhaustive simulator

spacecreator!676 · created Aug 28, 2022 by Maxime Perrotin
- Merged
updated Aug 28, 2022
Batch of updates from feature_bullseye

taste-setup!186 · created Aug 27, 2022 by Maxime Perrotin feature_buster
- Merged
updated Aug 27, 2022
Scn2asn1

if-model-checking!17 · created Aug 26, 2022 by Iulia Dragomir
- Merged
updated Aug 26, 2022
Deleted extra files

if-model-checking!16 · created Aug 26, 2022 by Iulia Dragomir
- Merged
updated Aug 26, 2022
Added module scn2asn1

if-model-checking!15 · created Aug 26, 2022 by Iulia Dragomir
- Merged
updated Aug 26, 2022
Added Startup_Priority function parameter

taste-setup!185 · created Aug 26, 2022 by Filip Florczyk feature_bullseye
- Merged
- Approved
updated Sep 13, 2022
N7S AUR#160 function startup priority

kazoo!113 · created Aug 26, 2022 by Filip Florczyk feature_bullseye
- Merged
- 33
- Approved
updated Sep 23, 2022
Fix in templates for simulator

kazoo!112 · created Aug 26, 2022 by Rafal Babski feature_bullseye
updated Aug 26, 2022
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
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 tmc#208 fix

spacecreator!672 · created Aug 24, 2022 by Rafal Babski
- Closed
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
N7S AUR#126 - Simulink Model To ASN.1 Translator

spacecreator!671 · created Aug 24, 2022 by Igor Jarek
- Merged
- 42
- Approved
updated Aug 26, 2022
IvToPromelaTranslator: make timer data available for observers

spacecreator!670 · created Aug 24, 2022 by Rafal Babski
- Merged
- Approved
updated Aug 26, 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