Merge requests · TASTE

Rename menu entry to add a MSC search/verify property.

spacecreator!575 · created May 06, 2022 by Tiago Jorge
updated May 06, 2022
N7S TMC#93 - Sequences automatic dependencies detection

spacecreator!574 · created May 05, 2022 by Mikołaj Owczarzak
- Merged
- 2
- Approved
updated May 06, 2022
SedsToIvTranslator: Fixed not translating sync commmands without arguments

spacecreator!573 · created May 05, 2022 by Filip Demski
- Merged
- Approved
updated May 05, 2022
Ixv updated

if-model-checking!4 · created May 03, 2022 by Iulia Dragomir
- Merged
updated May 03, 2022
ERGO model updates for verification

if-model-checking!3 · created May 03, 2022 by Iulia Dragomir
- Merged
updated May 03, 2022
Integration Test Added

if-model-checking!2 · created May 03, 2022 by Emanuel Ferreira
- Merged
updated May 03, 2022
Gmv ive model checking

spacecreator!572 · created May 02, 2022 by Tiago Jorge
updated May 02, 2022
N7S TMC#101 prototype support for observers

spacecreator!571 · created Apr 29, 2022 by Michal Kurowski
- Merged
- 79
- Approved
updated May 10, 2022
N7S TMC#93 - sequences in env

spacecreator!570 · created Apr 26, 2022 by Mikołaj Owczarzak
- Merged
- 21
- Approved
updated May 02, 2022
Feature bullseye

taste-setup!171 · created Apr 25, 2022 by Maxime Perrotin feature_buster
- Merged
updated Apr 25, 2022
Feature bullseye

taste-setup!170 · created Apr 20, 2022 by Maxime Perrotin feature_buster
- Merged
updated Apr 24, 2022
TmcConverter: fixes required to support context variables in instances

spacecreator!569 · created Apr 14, 2022 by Rafal Babski
- Merged
- Approved
updated Apr 15, 2022
N7S ETB#238 - Fixed escaping ASN.1 types in IV

spacecreator!568 · created Apr 13, 2022 by Filip Demski
- Merged
- Approved
updated Apr 13, 2022
Promela tmc-103: support for context parameters, variables

spacecreator!567 · created Apr 13, 2022 by Rafal Babski
- Merged
- 19
- Approved
updated Apr 14, 2022
N7S ETB#234 - Fixed more bugs related to cross package references

spacecreator!566 · created Apr 12, 2022 by Filip Demski
- Merged
- 2
- Approved
updated Apr 13, 2022
N7S ETB#234 - Fix package references for interfaces

spacecreator!565 · created Apr 12, 2022 by Filip Demski
- Merged
- Approved
updated Apr 12, 2022
Add QGenAda as a entry in enum of languages

spacecreator!564 · created Apr 12, 2022 by Angel Perez Muñoz
- Closed
- 1
- Approved
updated May 25, 2022
N7S ETB#299 - Fixed escaping name of the ASN.1 type

spacecreator!563 · created Apr 12, 2022 by Filip Demski
- Merged
- Approved
updated May 13, 2022
N7S ETB#230 - SDL VariableReference now holds only a variable name

spacecreator!562 · created Apr 11, 2022 by Filip Demski
- Merged
- 2
- Approved
updated Apr 19, 2022
N7S ETB#225 - SplineCalibrator translation

spacecreator!561 · created Apr 11, 2022 by Filip Demski
- Merged
- 43
- Approved
updated Apr 14, 2022