Merge requests · TASTE

N7S TMC#117 - fix sequence env generation

spacecreator!583 · created May 19, 2022 by Mikołaj Owczarzak
- Merged
- Approved
updated May 24, 2022
SedsToSdlTranslator: Fixed escaping ASN.1 type names in procedures

spacecreator!584 · created May 20, 2022 by Filip Demski
- Merged
- Approved
updated May 20, 2022
N7S TMC#93 complex datatypes in env sequenceof

spacecreator!578 · created May 11, 2022 by Mikołaj Owczarzak
- Merged
- 42
- Approved
updated May 17, 2022
SedsToSdlTranslator: Restored return statement for SDL procedures

spacecreator!581 · created May 13, 2022 by Filip Demski
- Merged
- Approved
updated May 16, 2022
N7S TMC#113 fix PluginCommon conditional compilation

spacecreator!579 · created May 12, 2022 by Mikołaj Owczarzak
- Merged
- 8
- Approved
updated May 13, 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#240 fixes for LIDAR

spacecreator!576 · created May 09, 2022 by Michal Kurowski
- Merged
- 3
- Approved
updated May 10, 2022
N7S TMC#101 prototype support for observers

spacecreator!571 · created Apr 29, 2022 by Michal Kurowski
- Merged
- 79
- Approved
updated May 10, 2022
scn2msc bugs corrected and updated if files

if-model-checking!5 · created May 09, 2022 by Iulia Dragomir
- Merged
updated May 09, 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
Rename menu entry to add a MSC search/verify property.

spacecreator!575 · created May 06, 2022 by Tiago Jorge
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
Integration Test Added

if-model-checking!2 · created May 03, 2022 by Emanuel Ferreira
- Merged
updated May 03, 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
N7S TMC#93 - sequences in env

spacecreator!570 · created Apr 26, 2022 by Mikołaj Owczarzak
- Merged
- 21
- Approved
updated May 02, 2022
Gmv ive model checking

spacecreator!572 · created May 02, 2022 by Tiago Jorge
updated May 02, 2022
merge Ixv master bsc1 ixv folder into master branch

if-model-checking!1 · created Mar 30, 2022 by Carlos Redondo
updated Apr 29, 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