Merge requests · TASTE · GitLab

Tmc: Added support for generation of promela objects required by promela...

spacecreator!1291 · created Sep 16, 2024 by Rafal Babski
- Merged
- 2
- Approved
updated Sep 17, 2024
Removed duplicates on findsubPath calculation

spacecreator!1290 · created Sep 16, 2024 by Hugo Jiménez Hernández
Bug Doing
updated Sep 16, 2024
Resolve "Update version of SpaceCreator to QtCreator 14"

spacecreator!1289 · created Sep 13, 2024 by Hugo Jiménez Hernández
updated Sep 13, 2024
TMC: fix Asn1 constant to promela translation, sequence of with ad-hoc fields

spacecreator!1288 · created Sep 02, 2024 by Rafal Babski
- Merged
- Approved
updated Sep 02, 2024
Feature n7s tmcc#651 tmc fix env value generation

spacecreator!1287 · created Aug 30, 2024 by Rafal Babski
- Merged
- Approved
updated Sep 02, 2024
Changed referenced submodule 'opengeode' for tests.

taste-setup!263 · created Aug 28, 2024 by Rafal Babski feature_bullseye
updated Nov 06, 2024
Feature n7s tmcc#639 selection typename fix

opengeode!18 · created Aug 28, 2024 by Rafal Babski
- 2
- Approved
updated Nov 06, 2024
IvToPromelaTranslator: proper name mangling for c_code block + integration test

spacecreator!1286 · created Aug 27, 2024 by Rafal Babski
- Merged
- Approved
updated Aug 29, 2024
Add $HOME/tool-inst/share/doc/SpaceCreator as path to search for *.qch

spacecreator!1285 · created Aug 20, 2024 by Guenter Schwann
updated Aug 20, 2024
Feature N7S TMCC#504 TMC: fixes in IvToPromelaTranslator

spacecreator!1284 · created Aug 14, 2024 by Rafal Babski
- Merged
- Approved
updated Aug 14, 2024
TmcConverter: automatic generation of datamodel asn for all observers

spacecreator!1283 · created Jul 15, 2024 by Rafal Babski
- Merged
- 4
- Approved
updated Jul 16, 2024
TMC: Fixed handling of subtype names + test

spacecreator!1282 · created Jul 15, 2024 by Rafal Babski
- Merged
- 12
- Approved
updated Jul 15, 2024
TMC: fixes in Asn1ToPromelaTranslator and TmcConverter

spacecreator!1281 · created Jul 09, 2024 by Rafal Babski
- Merged
- Approved
updated Jul 12, 2024
asn1library - fixed segfault while reading default value for component of sequence

spacecreator!1280 · created Jul 05, 2024 by Rafal Babski
- Merged
- Approved
updated Jul 08, 2024
Feature n7s tmcc#575 new IV to Promela translator

spacecreator!1279 · created Jul 04, 2024 by Rafal Babski
- Merged
- 35
- Approved
updated Jul 08, 2024
Model checking: fixed bug in property creation

spacecreator!1278 · created Jun 18, 2024 by Rafal Babski
- Merged
- Approved
updated Jun 18, 2024
Asn1ToPromela: fixes in range checks generation - special cases for promela

spacecreator!1277 · created Jun 14, 2024 by Rafal Babski
- Merged
- Approved
updated Jun 18, 2024
IvToPromelaTranslator, fix to support synchronous interfaces in environment

spacecreator!1276 · created Jun 12, 2024 by Rafal Babski
- Merged
- Approved
updated Jun 18, 2024
Asn1ToPromelaTranslator: added support for string literals for constants

spacecreator!1275 · created Jun 11, 2024 by Rafal Babski
- Merged
- 2
updated Jun 12, 2024
Feature n7s tmcc#122 Added configurable timeout for asn1scc exe in asn1reader.

spacecreator!1274 · created May 24, 2024 by Rafal Babski
- Merged
- Approved
updated May 24, 2024

Prev
1
2
3
4
5
6
…
95
Next