Merge requests · TASTE

Update Space Creator

taste-setup!106 · created Nov 19, 2021 by Maxime Perrotin feature_buster
- Merged
updated Nov 19, 2021
Asn1ToPromelaTranslator: switch to support enhanced version of spin

spacecreator!403 · created Nov 19, 2021 by Rafal Babski
- Merged
- 2
- Approved
updated Nov 19, 2021
IVE: Center in nested functions for the nested items

spacecreator!402 · created Nov 19, 2021 by Alex Diev DVE_14
Doing IVE
- Merged
- Approved
updated Nov 19, 2021
DVE: All nested functions are bound

spacecreator!401 · created Nov 19, 2021 by Alex Diev DVE_14
Bug Critical DVE Doing
- Merged
- Approved
updated Nov 19, 2021
N7S ETB#99 setup requirement coverage measurement

spacecreator!394 · created Nov 17, 2021 by Mikołaj Owczarzak
- Merged
- 5
- Approved
updated Nov 18, 2021
ASN: Remove cyclic dependencies between asn1lib and shared libraries

spacecreator!358 · created Nov 01, 2021 by Alex Diev DVE_13
Doing
updated Nov 18, 2021
PromelaModel, PromelaExporter: added channel initialization.

spacecreator!397 · created Nov 17, 2021 by Rafal Babski
- Merged
- Approved
updated Nov 18, 2021
N7S ETB#147 - SedsConverter: multiple input files

spacecreator!396 · created Nov 17, 2021 by Filip Demski
- Merged
- 6
- Approved
updated Nov 18, 2021
sync kzoo

taste-setup!105 · created Nov 18, 2021 by Maxime Perrotin feature_buster
- Merged
- Approved
updated Nov 18, 2021
N7S ETB#137 ASN.1 translator integration tests

spacecreator!387 · created Nov 11, 2021 by Michal Kurowski
- Merged
- 6
- Approved
updated Nov 17, 2021
Feature bullseye

taste-setup!104 · created Nov 17, 2021 by Maxime Perrotin feature_buster
- Merged
updated Nov 17, 2021
IVE: Remove coordinates from attributes is NULL value is set

spacecreator!398 · created Nov 17, 2021 by Alex Diev
Bug Critical Doing IVE
- Merged
- Approved
updated Nov 17, 2021
PromelaModel, PromelaExporter, Asn1ToPromelaTranslatr: fixes

spacecreator!395 · created Nov 17, 2021 by Rafal Babski
- Merged
- 2
- Approved
updated Nov 17, 2021
Improve MSC inner tracer

taste-setup!103 · created Nov 17, 2021 by Maxime Perrotin feature_buster
- Merged
updated Nov 17, 2021
IVE: Add tooltips

spacecreator!392 · created Nov 16, 2021 by Alex Diev DVE_13
DVE Doing IVE
- Merged
- Approved
updated Nov 17, 2021
IVE: Update Filesystem on implementation change

spacecreator!393 · created Nov 16, 2021 by Alex Diev DVE_13
Doing IVE
- Merged
- Approved
updated Nov 17, 2021
N7S ETB#84 - Create IvToSedsTranslator

spacecreator!391 · created Nov 16, 2021 by Filip Demski
- Merged
- 2
- Approved
updated Nov 16, 2021
asn1library - support for asn1model form multiple files

spacecreator!378 · created Nov 10, 2021 by Rafal Babski
- Merged
- 7
- Approved
updated Nov 16, 2021
N7S ETB#75 SEDS to SDL translator with basic states and signals

spacecreator!373 · created Nov 09, 2021 by Michal Kurowski
- Merged
- 35
- Approved
updated Nov 15, 2021
N7S-ETB#136 - Handling InterfaceDeclaration 'level' and 'abstract' attributes

spacecreator!390 · created Nov 15, 2021 by Filip Demski
- Merged
- Approved
updated Nov 15, 2021