Merge requests · TASTE / SpaceCreator · GitLab

TMC: Fixed handling of subtype names + test

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

!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

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

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

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

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

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

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

!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

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

!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

!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

!1270 · created May 13, 2024 by Rafal Babski
- Merged
- Approved
updated May 14, 2024
Feature n7s tmcc#529 iv optimizer reimplementation

!1269 · created May 10, 2024 by Rafal Babski
- Merged
- 4
- Approved
updated May 13, 2024
Fix settings page tabs

!1268 · created Apr 29, 2024 by Guenter Schwann
updated Apr 29, 2024
Resolve "IVE: Some arrow don't point to the correct direction"

!1267 · created Apr 25, 2024 by Bo Thorsen 5 Bug fixes
Bug Doing IVE
- Merged
- Approved
updated Apr 26, 2024
Iv test improve

!1266 · created Apr 22, 2024 by Guenter Schwann
updated Apr 22, 2024
Allow cyclic interface connections for nested functions

!1265 · created Apr 19, 2024 by Guenter Schwann 5 Bug fixes
Bug Doing IVE
updated Apr 22, 2024
Only show reviews of the current model

!1264 · created Apr 19, 2024 by Guenter Schwann 2 Review of a model
Doing
updated Apr 22, 2024
More reliable detection of moving/resizing items

!1263 · created Apr 18, 2024 by Guenter Schwann 5 Bug fixes
Bug Doing IVE
updated Apr 18, 2024

Prev
1
2
3
4
5
6
…
66
Next