Merge requests · TASTE · GitLab

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
Feature n7s tmcc#536 Added support for required synchronous interfaces in environment

spacecreator!1273 · created May 23, 2024 by Rafal Babski
- Merged
- 7
- Approved
updated May 24, 2024
Feature n7s tmcc#534 asn1topromela separator fix

spacecreator!1272 · created May 22, 2024 by Rafal Babski
- Merged
- 4
- Approved
updated May 23, 2024
Feature n7s tmcc#534 TMC: The conversion from ASN.1 to Promela is available from command line

spacecreator!1271 · created May 20, 2024 by Rafal Babski
- Merged
- 6
- Approved
updated May 22, 2024
Feature n7s tmcc#527 IvToPromelaTranslator: fix to support functions without sporadic ifaces

spacecreator!1270 · created May 13, 2024 by Rafal Babski
- Merged
- Approved
updated May 14, 2024

Prev
1
2
3
4
5
6
7
…
96
Next