Merge requests · TASTE

N7S ETB#210 - Container entries tests

spacecreator!521 · created Feb 04, 2022 by Filip Demski
- Merged
- 2
- Approved
updated Feb 09, 2022
N7S ETB#209: Translating EnumeratedDataTypeRange

spacecreator!520 · created Feb 03, 2022 by Filip Demski
- Merged
- Approved
updated Feb 08, 2022
Test models

kazoo!89 · created Jan 31, 2022 by Jakub Rachucki feature_bullseye
- Merged
- Approved
updated Feb 08, 2022
N7S AUR#69 add interface layer support to SC

spacecreator!495 · created Jan 17, 2022 by Julia Aniecka
- Merged
- 29
- Approved
updated Feb 08, 2022
IvToPromelaTranslator: Initial support for environment functions

spacecreator!519 · created Feb 02, 2022 by Rafal Babski
- Merged
- 12
- Approved
updated Feb 08, 2022
Asn1ToPromelaTranslator: proper range arithmetic

spacecreator!522 · created Feb 04, 2022 by Rafal Babski
- Merged
- 15
- Approved
updated Feb 04, 2022
Update Ubuntu dependencies

taste-setup!138 · created Feb 04, 2022 by Maxime Perrotin feature_buster
- Merged
updated Feb 04, 2022
IVE: Changing the interface parameter and context parameter order does not work

spacecreator!510 · created Jan 28, 2022 by Alex Diev
Bug Doing IVE
- Merged
- Approved
updated Feb 03, 2022
N7S ETB#140 - SubRangeDataType translation

spacecreator!515 · created Feb 01, 2022 by Filip Demski
- Merged
- 9
- Approved
updated Feb 03, 2022
N7S ETB#204 SedsPlugin: refactor

spacecreator!514 · created Jan 31, 2022 by Mikołaj Owczarzak
- Merged
- 4
- Approved
updated Feb 02, 2022
N7S ETB#97 - Fixed exporting ACN-only fields

spacecreator!518 · created Feb 02, 2022 by Filip Demski
- Merged
- 4
- Approved
updated Feb 02, 2022
TMC-85 Initial version of TMC cli

spacecreator!508 · created Jan 27, 2022 by Rafal Babski
- Merged
- 14
- Approved
updated Feb 02, 2022
IvToPromelaTranslator: removed redundant variable declaration in generated promela code

spacecreator!516 · created Feb 01, 2022 by Rafal Babski
- Merged
- Approved
updated Feb 01, 2022
Feature bullseye

taste-setup!137 · created Feb 01, 2022 by Maxime Perrotin feature_buster
- Merged
updated Feb 01, 2022
N7S ETB#158 - Fixed packed argument order

spacecreator!504 · created Jan 24, 2022 by Filip Demski
- Merged
- 2
- Approved
updated Feb 01, 2022
N7S AUR#91 testdriver generator

spacecreator!506 · created Jan 25, 2022 by Mikołaj Owczarzak
- Merged
- 19
- Approved
updated Jan 31, 2022
Asn1ToPromelaTranslator: sorting types after export

spacecreator!511 · created Jan 31, 2022 by Rafal Babski
- Merged
- 6
- Approved
updated Jan 31, 2022
Feature bullseye

taste-setup!136 · created Jan 31, 2022 by Maxime Perrotin feature_buster
- Merged
- Approved
updated Jan 31, 2022
N7S ETB#203 - SedsPlugin: adding missing imported files to project added

spacecreator!513 · created Jan 31, 2022 by Mikołaj Owczarzak
- Merged
- Approved
updated Jan 31, 2022
N7S ETB#203 SedsPlugin: fixed configfile path in importIv()

spacecreator!512 · created Jan 31, 2022 by Mikołaj Owczarzak
- Merged
- Approved
updated Jan 31, 2022