Merge requests · TASTE / SpaceCreator

n7s aur#219: upgraded simulinkplugin to qt6

!789 · created Nov 09, 2022 by Igor Jarek
- Merged
- 2
- Approved
updated Nov 10, 2022
N7S ETB#257 - Swap translation

!770 · created Nov 04, 2022 by Filip Demski
- Merged
- 4
- Approved
updated Nov 10, 2022
TMC: remove assert

!780 · created Nov 08, 2022 by Rafal Babski
- Merged
- Approved
updated Nov 10, 2022
Prevent dangling pointers. Fixes #782

!788 · created Nov 09, 2022 by Guenter Schwann 8 Improve MSC editor and streamer
Bug Critical Doing MSC QtC
- Merged
- Approved
updated Nov 10, 2022
fix path for syntax files and copy more grant lee so-files

!787 · created Nov 09, 2022 by Kasper Fisker
- Merged
- Approved
updated Nov 09, 2022
ModelChecker: fixed scl files coloring

!784 · created Nov 08, 2022 by Igor Jarek
- Merged
- Approved
updated Nov 09, 2022
Feature/kickoff

!660 · created Aug 17, 2022 by Kasper Fisker
- Merged
- 47
- Approved
updated Nov 09, 2022
Fix crash closing MSC editors

!776 · created Nov 07, 2022 by Guenter Schwann feature/kickoff
- Merged
- Approved
updated Nov 09, 2022
SimulinkImporterPlugin: changed relative paths to absolute

!782 · created Nov 08, 2022 by Igor Jarek
- Merged
- Approved
updated Nov 08, 2022
IVE: Wrong sign of interface of root Function in nested view. Use the same kind from cloning setup

!783 · created Nov 08, 2022 by Alex Diev
Bug Doing IVE
- Merged
- Approved
updated Nov 08, 2022
Fix mouse cursor overriding after moving function

!778 · created Nov 07, 2022 by Alejandro Exojo
- Merged
- Approved
updated Nov 08, 2022
N7S TMC#251 CDR demo

!754 · created Nov 01, 2022 by Michal Kurowski
- Merged
- Approved
updated Nov 08, 2022
Fixes #781 add missing items in ASN.1 editor

!779 · created Nov 07, 2022 by Guenter Schwann
ASN.1 Bug Critical Doing
- Merged
- 2
- Approved
updated Nov 08, 2022
TMC: fix crash when IV contains cyclic interface + better error handling

!777 · created Nov 07, 2022 by Rafal Babski
- Merged
- Approved
updated Nov 08, 2022
TMC: Fix not working dialog for spin modelchecking + additional check in verifier

!775 · created Nov 06, 2022 by Rafal Babski
- Merged
- Approved
updated Nov 06, 2022
Workaround

!774 · created Nov 06, 2022 by Michal Kurowski
- Merged
- Approved
updated Nov 06, 2022
Added simple report opening

!773 · created Nov 06, 2022 by Michal Kurowski
- Merged
- Approved
updated Nov 06, 2022
N7s tmc#200 observer failure

!768 · created Nov 04, 2022 by Bartosz Wojczyński
- Merged
- 12
- Approved
updated Nov 04, 2022
TMC: dialog for selection of output directory for spin model checking

!772 · created Nov 04, 2022 by Rafal Babski
- Merged
- 1
- Approved
updated Nov 04, 2022
TMC: REAL datatype support in trail generation

!771 · created Nov 04, 2022 by Rafal Babski
- Merged
- Approved
updated Nov 04, 2022