Merge requests · TASTE / SpaceCreator

N7S TMC#179 - Added debug prints for measuring elapsed time for sdl2promela commands

!742 · created Oct 21, 2022 by Filip Demski
- Merged
- 4
- Approved
updated Oct 21, 2022
N7s tmc#184 support for real in environment

!741 · created Oct 19, 2022 by Arkadiusz Koszewski
- Merged
- 17
- Approved
updated Oct 26, 2022
N7S AUR#128: added manual tests for SimulinkImporterPlugin

!740 · created Oct 18, 2022 by Igor Jarek
- Merged
- 12
- Approved
updated Oct 22, 2022
N7s tmc#200 html report

!739 · created Oct 17, 2022 by Bartosz Wojczyński
- Merged
- 12
- Approved
updated Oct 18, 2022
N7S TMC#236 - Fix problems with subtyping

!738 · created Oct 14, 2022 by Filip Demski
- Merged
- Approved
updated Oct 14, 2022
N7s aur#128 simulink importer plugin fixed

!737 · created Oct 14, 2022 by Igor Jarek
- Merged
- Approved
updated Oct 18, 2022
N7S ETB#226 - Transactions refactor

!736 · created Oct 14, 2022 by Filip Demski
- Merged
- 4
- Approved
updated Oct 17, 2022
N7S AUR#150 - Fixed linker issue, names mismatch

!735 · created Oct 13, 2022 by Filip Florczyk
- Merged
- Approved
updated Oct 13, 2022
Fix manual test description

!734 · created Oct 13, 2022 by Arkadiusz Koszewski
- Merged
- Approved
updated Oct 17, 2022
IVE: HTML tags shown when Qt6 is used

!733 · created Oct 12, 2022 by Alex Diev feature/kickoff
Bug Doing IVE
- Merged
- Approved
updated Oct 13, 2022
IVE: Shared import ignore the asn.1 files

!732 · created Oct 11, 2022 by Alex Diev
Bug IVE
- Merged
- Approved
updated Oct 12, 2022
Draft: Feature/build scripts

!731 · created Oct 10, 2022 by Kasper Fisker
- Closed
updated Oct 21, 2022
Increased timeout for sdl2promela in converter to 60 seconds

!730 · created Oct 07, 2022 by Rafal Babski
- Merged
- Approved
updated Oct 10, 2022
SimulinkToIvTranslator: added escaper for interface name

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

!728 · created Oct 07, 2022 by Igor Jarek
- Merged
- 14
- Approved
updated Oct 07, 2022
Instances have a wrong language attribute

!727 · created Oct 05, 2022 by Alex Diev
Bug Critical Doing IVE
- Merged
- 1
- Approved
updated Oct 06, 2022
Add Spin model checker settings persistence

!726 · created Oct 05, 2022 by Arkadiusz Koszewski
- Merged
- 18
- Approved
updated Oct 17, 2022
Tmc: fix segfault in IvToPromelaTranslator

!725 · created Oct 05, 2022 by Rafal Babski
- Merged
- Approved
updated Oct 06, 2022
Instances have a wrong language attribute

!724 · created Oct 04, 2022 by Alex Diev
Bug Critical Doing IVE
- Merged
- 2
- Approved
updated Oct 04, 2022
Complex nesting is now handled

!723 · created Oct 03, 2022 by Michal Kurowski
- Merged
- Approved
updated Oct 04, 2022