Merge requests · TASTE

N7s tmc#127 cs in observers

spacecreator!683 · created Aug 31, 2022 by Rafal Babski
- Merged
- 2
- 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
Stack analyzer

orchestrator!1 · created Aug 16, 2022 by Luke de Waal feature_buster
- Merged
- Approved
updated Sep 01, 2022
N7S TMC#179 - Interface View optimizer bugfixing

spacecreator!682 · created Aug 31, 2022 by Filip Demski
- Merged
- Approved
updated Aug 31, 2022
N7S TMC#179 - IvOptimizer fix for interfaces with multiple connections

spacecreator!681 · created Aug 29, 2022 by Filip Demski
- Merged
- Approved
updated Aug 29, 2022
merge correction

if-model-checking!18 · created Aug 29, 2022 by Iulia Dragomir
- Merged
updated Aug 29, 2022
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
Add preliminary IV prefabs

spacecreator!665 · created Aug 19, 2022 by Damian Gzik
- Merged
- 47
- Approved
updated Aug 27, 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
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
Fix in templates for simulator

kazoo!112 · created Aug 26, 2022 by Rafal Babski feature_bullseye
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
TMC: Support for timer data in system status datatype

kazoo!108 · created Aug 11, 2022 by Rafal Babski feature_bullseye
- Merged
- 16
- Approved
updated Aug 25, 2022