Merge requests · TASTE / SpaceCreator

TMC: Change from QRegExp to QRegularExpression

!749 · created Oct 28, 2022 by Rafal Babski
- Merged
- 14
- Approved
updated Oct 31, 2022
N7s tmc#200 stop condition

!746 · created Oct 26, 2022 by Bartosz Wojczyński
- Merged
- 15
- Approved
updated Oct 31, 2022
TMC: Fix in IvToPromelaTranslator related to changes in kazoo and opengeode, test update

!751 · created Oct 28, 2022 by Rafal Babski
- Merged
- 1
- Approved
updated Oct 28, 2022
N7s tmc#184 support for real in environment

!741 · created Oct 19, 2022 by Arkadiusz Koszewski
- Merged
- 17
- Approved
updated Oct 26, 2022
ModelChecker: added "Boolean Stop Condition - LTL" property

!745 · created Oct 25, 2022 by Igor Jarek
- Merged
- 12
- Approved
updated Oct 25, 2022
N7s tmc#233 message sequence chart when then

!744 · created Oct 21, 2022 by Igor Jarek
- Merged
- 4
- Approved
updated Oct 22, 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#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
SpinTrail and SimulatorTrail and conversion

!709 · created Sep 22, 2022 by Rafal Babski
- Merged
- 55
- Approved
updated Oct 21, 2022
N7s aur#128 simulink importer plugin fixed

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

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

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

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

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

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

!738 · created Oct 14, 2022 by Filip Demski
- Merged
- Approved
updated Oct 14, 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
N7S AUR#150 - Fixed linker issue, names mismatch

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

!721 · created Oct 03, 2022 by Filip Demski
- Merged
- 19
- 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