Merge requests · TASTE

TMC: bugfix - invalid version of spin was used for trace creation

spacecreator!769 · created Nov 04, 2022 by Rafal Babski
- Merged
- Approved
updated Nov 04, 2022
N7s tmc#200 observer failure

spacecreator!768 · created Nov 04, 2022 by Bartosz Wojczyński
- Merged
- 12
- Approved
updated Nov 04, 2022
TMC: Added settings required to support REAL datatype in modelchecking

spacecreator!767 · created Nov 04, 2022 by Rafal Babski
- Merged
- Approved
updated Nov 04, 2022
TMC: Fix in simulator trail, when project with subtypes is translated

spacecreator!766 · created Nov 04, 2022 by Rafal Babski
- Merged
- Approved
updated Nov 04, 2022
N7S TMC#258 VECTORSZ increase

spacecreator!765 · created Nov 03, 2022 by Michal Kurowski
- Merged
- Approved
updated Nov 04, 2022
TMC: settings with spin executable customization

spacecreator!764 · created Nov 03, 2022 by Rafal Babski
- Merged
- 4
- Approved
updated Nov 03, 2022
N7S TMC#238 - Setting input vector limit to 0 disables the interface

spacecreator!763 · created Nov 03, 2022 by Filip Demski
- Merged
- 2
- Approved
updated Nov 03, 2022
TMC: observer.asn is generated with support for subtypes

spacecreator!762 · created Nov 03, 2022 by Rafal Babski
- Merged
- 2
- Approved
updated Nov 03, 2022
Disable RTEMS6 tests with get_sender usage

kazoo!125 · created Nov 03, 2022 by Filip Florczyk feature_bullseye
- Merged
- Approved
updated Nov 03, 2022
TMC: TmcVerifier, run `make observer_dataview` automatically

spacecreator!761 · created Nov 02, 2022 by Rafal Babski
- Merged
- Approved
updated Nov 02, 2022
TMC: Fix close button in GUI

spacecreator!760 · created Nov 02, 2022 by Rafal Babski
- Merged
- Approved
updated Nov 02, 2022
TMC: Added option -E to pan executable, also comments

spacecreator!759 · created Nov 02, 2022 by Rafal Babski
- Merged
- Approved
updated Nov 02, 2022
Tmc: Refactor and docs in applications tmc and trailgen

spacecreator!758 · created Nov 02, 2022 by Rafal Babski
- Merged
- 8
- Approved
updated Nov 02, 2022
N7S TMC#255 - Fix case when there is a parameter requirement, but any value is allowed

spacecreator!757 · created Nov 02, 2022 by Filip Demski
- Merged
- Approved
updated Nov 03, 2022
TMC: Documentation in TmcVerifier

spacecreator!756 · created Nov 02, 2022 by Rafal Babski
- Merged
- 6
- Approved
updated Nov 02, 2022
Draft: N7s tmc#200 observer failure

spacecreator!755 · created Nov 02, 2022 by Bartosz Wojczyński
updated Nov 02, 2022
N7S TMC#251 CDR demo

spacecreator!754 · created Nov 01, 2022 by Michal Kurowski
- Merged
- Approved
updated Nov 08, 2022
TMC: calling spin from gui

spacecreator!753 · created Oct 31, 2022 by Rafal Babski
- Merged
- 24
- Approved
updated Oct 31, 2022
IVE: source code file loss

spacecreator!752 · created Oct 31, 2022 by Alex Diev
Bug Critical IVE To Do
- Merged
- 4
- Approved
updated Nov 02, 2022
TMC: Fix in IvToPromelaTranslator related to changes in kazoo and opengeode, test update

spacecreator!751 · created Oct 28, 2022 by Rafal Babski
- Merged
- 1
- Approved
updated Oct 28, 2022