Merge requests · TASTE

N7s aur#128 simulink importer plugin fixed

spacecreator!737 · created Oct 14, 2022 by Igor Jarek
- Merged
- Approved
updated Oct 18, 2022
N7s tmc#200 html report

spacecreator!739 · created Oct 17, 2022 by Bartosz Wojczyński
- Merged
- 12
- Approved
updated Oct 18, 2022
Add Spin model checker settings persistence

spacecreator!726 · created Oct 05, 2022 by Arkadiusz Koszewski
- Merged
- 18
- Approved
updated Oct 17, 2022
N7S ETB#226 - Transactions refactor

spacecreator!736 · created Oct 14, 2022 by Filip Demski
- Merged
- 4
- Approved
updated Oct 17, 2022
N7s tmc#200 parser lib

spacecreator!720 · created Oct 03, 2022 by Bartosz Wojczyński
- Merged
- 34
updated Oct 17, 2022
Fix manual test description

spacecreator!734 · created Oct 13, 2022 by Arkadiusz Koszewski
- Merged
- Approved
updated Oct 17, 2022
N7S TMC#236 - Fix problems with subtyping

spacecreator!738 · created Oct 14, 2022 by Filip Demski
- Merged
- Approved
updated Oct 14, 2022
IVE: HTML tags shown when Qt6 is used

spacecreator!733 · created Oct 12, 2022 by Alex Diev feature/kickoff
Bug Doing IVE
- Merged
- Approved
updated Oct 13, 2022
N7S AUR#150 - Fixed linker issue, names mismatch

spacecreator!735 · created Oct 13, 2022 by Filip Florczyk
- Merged
- Approved
updated Oct 13, 2022
N7S ETB#226 - Transaction support

spacecreator!721 · created Oct 03, 2022 by Filip Demski
- Merged
- 19
- Approved
updated Oct 13, 2022
IVE: Shared import ignore the asn.1 files

spacecreator!732 · created Oct 11, 2022 by Alex Diev
Bug IVE
- Merged
- Approved
updated Oct 12, 2022
sync kazoo

taste-setup!196 · created Oct 10, 2022 by Filip Florczyk feature_bullseye
updated Oct 10, 2022
N7S AUR#150 - Added demo archetype libraries

taste-setup!195 · created Oct 10, 2022 by Filip Florczyk feature_bullseye
- Merged
- Approved
updated Oct 10, 2022
N7S AUR#159 perf mon

kazoo!119 · created Oct 04, 2022 by Filip Florczyk feature_bullseye
- Merged
- 25
- Approved
updated Oct 10, 2022
Sync TASTE-LEON3-Runtime

taste-setup!194 · created Oct 10, 2022 by Filip Florczyk feature_bullseye
updated Oct 10, 2022
Increased timeout for sdl2promela in converter to 60 seconds

spacecreator!730 · created Oct 07, 2022 by Rafal Babski
- Merged
- Approved
updated Oct 10, 2022
Fixed timer support in n-2-m communication

kazoo!121 · created Oct 07, 2022 by Michal Kurowski feature_bullseye
- Merged
- 2
- Approved
updated Oct 07, 2022
SimulinkToIvTranslator: added escaper for interface name

spacecreator!729 · created Oct 07, 2022 by Igor Jarek
- Merged
- Approved
updated Oct 07, 2022
N7s aur#128 simulink importer plugin

spacecreator!728 · created Oct 07, 2022 by Igor Jarek
- Merged
- 14
- Approved
updated Oct 07, 2022
Added Leon3 Runtime submodule, SIS submodule and installation script

taste-setup!193 · created Oct 06, 2022 by Filip Florczyk feature_bullseye
- Merged
- 2
- Approved
updated Oct 07, 2022