Issues · mbe-tools / TTool · GitLab

Isolated avatar states of State Machine diagrams are not detected

#362 · created May 18, 2022 by Ludovic Apvrille AVATAR
- CLOSED
- 1
updated May 18, 2022
INTERFACE

#360 · created Mar 27, 2022 by Dominique Blouin
- CLOSED
- 1
updated Mar 28, 2022
Creating a new method leads in having only assumptions

#357 · created Mar 24, 2022 by Ludovic Apvrille AVATAR DIPLODOCUS
- CLOSED
- 1
updated Mar 24, 2022
Use of "min" and "max" expressions in action states, in activity diagrams

#321 · created May 10, 2021 by Bastien Sultan DIPLODOCUS Simulator
- CLOSED
- 1
updated Mar 09, 2022
Ignoring time operators checkbox of the syntax checking dialog window is ambiguous

#349 · created Nov 22, 2021 by Ludovic Apvrille
- CLOSED
- 2
updated Mar 09, 2022
Constructions SysML prises en compte en simulation et pas en vérification

#258 · created May 19, 2020 by Dominique Blouin AVATAR
- CLOSED
- 3
updated Mar 09, 2022
EXECC not taken into account

#350 · created Nov 23, 2021 by Ludovic Apvrille DIPLODOCUS
- CLOSED
- 1
updated Feb 25, 2022
Sequence Diagram / Save library

#338 · created Sep 09, 2021 by Dominique Blouin AVATAR
- CLOSED
- 2
updated Feb 24, 2022
Font size

#348 · created Nov 18, 2021 by Dominique Blouin AVATAR
- CLOSED
- 1
updated Feb 24, 2022
When adding components, connectors my be hidden

#356 · created Feb 23, 2022 by Ludovic Apvrille AVATAR
- CLOSED
- 1
updated Feb 23, 2022
ProVerif fails on a large model (provided by a user)

#355 · created Jan 21, 2022 by Ludovic Apvrille
- CLOSED
- 1
updated Feb 23, 2022
Signal sending or receving with no follower does not result in an error during syntax checking

#352 · created Dec 02, 2021 by Ludovic Apvrille AVATAR
- CLOSED
- 1
updated Jan 25, 2022
Suggestion: remove guard for branches with no follower

#353 · created Dec 02, 2021 by Ludovic Apvrille AVATAR DIPLODOCUS
- CLOSED
- 1
updated Jan 21, 2022
Requirements deriveReqt links not displayed correctly when adding intermediate points

#354 · created Dec 07, 2021 by Ludovic Apvrille AVATAR
- CLOSED
- 1
updated Jan 20, 2022
Code generation in Windows

#346 · created Nov 15, 2021 by Dominique Blouin GUI
- CLOSED
- 1
updated Nov 19, 2021
Guards in AVATAR are no considered empty is extra spaces are provided within the brackets

#341 · created Oct 27, 2021 by Ludovic Apvrille
- CLOSED
- 1
updated Nov 03, 2021
Add action button in transition window is not clear

#342 · created Oct 27, 2021 by Ludovic Apvrille
- CLOSED
- 1
updated Nov 03, 2021
Issue on expressions evaluation in AVATAR state machines guards

#340 · created Sep 23, 2021 by Bastien Sultan AVATAR
- CLOSED
- 0
updated Oct 22, 2021
Creation of dependency matrix

#309 · created Apr 07, 2021 by Dominique Blouin
- CLOSED
- 4
updated Sep 21, 2021
Modification matrices de dépendance

#329 · created Jul 08, 2021 by Dominique Blouin AVATAR
- CLOSED
- 1
updated Sep 21, 2021

Prev
1
2
3
4
5
…
15
Next