Merge requests · TASTE

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
Feature n7s tmcc#529 iv optimizer reimplementation

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

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

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

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

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

spacecreator!1264 · created Apr 19, 2024 by Guenter Schwann 2 Review of a model
Doing
updated Apr 22, 2024
TMCC#453 Fixed timer ads stub generation

opengeode!17 · created Apr 18, 2024 by Filip Florczyk
- Merged
- Approved
updated Apr 18, 2024
More reliable detection of moving/resizing items

spacecreator!1263 · created Apr 18, 2024 by Guenter Schwann 5 Bug fixes
Bug Doing IVE
updated Apr 18, 2024
Move requirement/review code to github

spacecreator!1262 · created Apr 17, 2024 by Guenter Schwann 1 Traceability - Requirements
Doing
- Merged
- Approved
updated Apr 18, 2024
1135 support debian 10 python

spacecreator!1261 · created Apr 17, 2024 by Guenter Schwann
- Merged
- Approved
updated Apr 17, 2024
Resolve "Revisit connection updates when moving functions"

spacecreator!1260 · created Apr 17, 2024 by Bo Thorsen 5 Bug fixes
Bug Critical Doing
- Merged
- 1
- Approved
updated Apr 17, 2024
Fix interface position when moving functions

spacecreator!1259 · created Apr 16, 2024 by Guenter Schwann 5 Bug fixes
Bug Doing IVE
- Merged
- Approved
updated Apr 16, 2024
Fix wrong moves while double-clicking in grid mode

spacecreator!1258 · created Apr 16, 2024 by Guenter Schwann 5 Bug fixes
Bug IVE To Do
- Merged
- Approved
updated Apr 16, 2024
Show review IDs

spacecreator!1257 · created Apr 15, 2024 by Guenter Schwann 2 Review of a model
Doing
- Merged
- Approved
updated Apr 16, 2024
Update cmake for Debian 10 from Github

spacecreator!1256 · created Apr 15, 2024 by Guenter Schwann
- Merged
- Approved
updated Apr 16, 2024
Use all reviews to check for review ID duplication

spacecreator!1255 · created Apr 15, 2024 by Guenter Schwann 2 Review of a model
Bug Doing
updated Apr 16, 2024