Merge requests · TASTE / SpaceCreator

N7S TMC#93 complex datatypes in env sequenceof

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

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

!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

!563 · created Apr 12, 2022 by Filip Demski
- Merged
- Approved
updated May 13, 2022
N7S ETB#240 fixes for LIDAR

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

!571 · created Apr 29, 2022 by Michal Kurowski
- Merged
- 79
- Approved
updated May 10, 2022
N7S TMC#93 - Sequences automatic dependencies detection

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

!575 · created May 06, 2022 by Tiago Jorge
updated May 06, 2022
SedsToIvTranslator: Fixed not translating sync commmands without arguments

!573 · created May 05, 2022 by Filip Demski
- Merged
- Approved
updated May 05, 2022
N7S TMC#93 - sequences in env

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

!572 · created May 02, 2022 by Tiago Jorge
updated May 02, 2022
N7S ETB#230 - SDL VariableReference now holds only a variable name

!562 · created Apr 11, 2022 by Filip Demski
- Merged
- 2
- Approved
updated Apr 19, 2022
TmcConverter: fixes required to support context variables in instances

!569 · created Apr 14, 2022 by Rafal Babski
- Merged
- Approved
updated Apr 15, 2022
N7S ETB#225 - SplineCalibrator translation

!561 · created Apr 11, 2022 by Filip Demski
- Merged
- 43
- Approved
updated Apr 14, 2022
Promela tmc-103: support for context parameters, variables

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

!568 · created Apr 13, 2022 by Filip Demski
- Merged
- Approved
updated Apr 13, 2022
N7S ETB#234 - Fixed more bugs related to cross package references

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

!565 · created Apr 12, 2022 by Filip Demski
- Merged
- Approved
updated Apr 12, 2022
TMC: support for function types

!560 · created Apr 07, 2022 by Rafal Babski
- Merged
- Approved
updated Apr 08, 2022
N7S TMC#86 - Promela: added bool env var generation

!559 · created Apr 05, 2022 by Mikołaj Owczarzak
- Merged
- Approved
updated Apr 07, 2022