Merge requests · TASTE

TMC: Fix not working dialog for spin modelchecking + additional check in verifier

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

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

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

spacecreator!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

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

spacecreator!771 · created Nov 04, 2022 by Rafal Babski
- Merged
- Approved
updated Nov 04, 2022
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#233: added when-then-property-tmpl.msc file for Model Checker

taste-setup!198 · created Oct 21, 2022 by Igor Jarek feature_bullseye
- Merged
- 2
- 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
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: settings with spin executable customization

spacecreator!764 · created Nov 03, 2022 by Rafal Babski
- Merged
- 4
- 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
TMC: Add constraint checks for real data type

spacecreator!748 · created Oct 27, 2022 by Arkadiusz Koszewski
- Merged
- 31
- Approved
updated Nov 03, 2022
N7S ETB#227 - Failure reporting

spacecreator!743 · created Oct 21, 2022 by Filip Demski
- Merged
- 10
- 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
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: Refactor and docs in applications tmc and trailgen

spacecreator!758 · created Nov 02, 2022 by Rafal Babski
- Merged
- 8
- Approved
updated Nov 02, 2022
TMC: Documentation in TmcVerifier

spacecreator!756 · created Nov 02, 2022 by Rafal Babski
- Merged
- 6
- Approved
updated Nov 02, 2022