Merge requests · TASTE

N7s tmc#211 timer data bugfix

kazoo!116 · created Sep 07, 2022 by Rafal Babski feature_bullseye
- Merged
- Approved
updated Sep 07, 2022
[ETD-18] Optional seds to iv translation

spacecreator!692 · created Sep 07, 2022 by Damian Gzik
- Merged
- 22
- Approved
updated Sep 19, 2022
fixes in the prefix use of scn2msc and scn2asn1

if-model-checking!20 · created Sep 06, 2022 by Iulia Dragomir
- Merged
updated Sep 06, 2022
IVE: Partial entites deselection leads to wrong disabling some actions on toolbar (Remove & Create connection group)

spacecreator!691 · created Sep 05, 2022 by Alex Diev
Bug Doing IVE
- Merged
- Approved
updated Sep 12, 2022
IVE: Hidden connection group doesn't become visible at first tick on entity checkbox in the tree browser

spacecreator!690 · created Sep 04, 2022 by Alex Diev
Bug Doing IVE
- Merged
- Approved
updated Sep 09, 2022
IVE: Easier click&move a function

spacecreator!689 · created Sep 04, 2022 by Alex Diev
Doing IVE
- Merged
- Approved
updated Sep 09, 2022
IVE: Flicker when overlapping functions

spacecreator!688 · created Sep 03, 2022 by Alex Diev
Bug Doing IVE
- Merged
- Approved
updated Sep 09, 2022
N7S TMC#179 - Removing context parameters and timers on environment functions

spacecreator!687 · created Sep 02, 2022 by Filip Demski
- Merged
- Approved
updated Sep 05, 2022
Scn2asn1 fixes

if-model-checking!19 · created Sep 02, 2022 by Iulia Dragomir
- Merged
updated Sep 02, 2022
N7s aur#127 simulink model to iv translator

spacecreator!686 · created Sep 02, 2022 by Igor Jarek
- Merged
- 10
- Approved
updated Sep 16, 2022
Fix IA5String support in QGenC functions

dmt!17 · created Sep 01, 2022 by Arkadiusz Koszewski feature_bullseye
- Merged
- 24
- Approved
updated Oct 07, 2022
IvToPromelaTranslator: regression fix + test

spacecreator!685 · created Sep 01, 2022 by Rafal Babski
- Merged
- Approved
updated Sep 01, 2022
Draft: Kickoff cli

spacecreator!684 · created Sep 01, 2022 by Kasper Fisker
- Closed
- 8
updated Oct 21, 2022
[ETD-77] Call concurrency view parser with custom template directory

kazoo!115 · created Sep 01, 2022 by Piotr Surma feature_bullseye
- Merged
- 6
- Approved
updated Sep 21, 2022
N7s tmc#127 cs in observers

spacecreator!683 · created Aug 31, 2022 by Rafal Babski
- Merged
- 2
- 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
[ETD-18] Seds function build templates

kazoo!114 · created Aug 29, 2022 by Damian Gzik feature_bullseye
- Merged
- 12
- Approved
updated Oct 03, 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