Issues · mbe-tools / TTool · GitLab

Simulator crashes when simulation is run with no task

#369 · created Jul 28, 2022 by Ludovic Apvrille
- CLOSED
- 1
updated Jul 28, 2022
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
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
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
Suggestion: remove guard for branches with no follower

#353 · created Dec 02, 2021 by Ludovic Apvrille AVATAR DIPLODOCUS
- CLOSED
- 1
updated Jan 21, 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
EXECC not taken into account

#350 · created Nov 23, 2021 by Ludovic Apvrille DIPLODOCUS
- CLOSED
- 1
updated Feb 25, 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
Font size

#348 · created Nov 18, 2021 by Dominique Blouin AVATAR
- CLOSED
- 1
updated Feb 24, 2022
Code generation in Windows

#346 · created Nov 15, 2021 by Dominique Blouin GUI
- CLOSED
- 1
updated Nov 19, 2021
Add action button in transition window is not clear

#342 · created Oct 27, 2021 by Ludovic Apvrille
- CLOSED
- 1
updated Nov 03, 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
Issue on expressions evaluation in AVATAR state machines guards

#340 · created Sep 23, 2021 by Bastien Sultan AVATAR
- CLOSED
- 0
updated Oct 22, 2021
Sequence Diagram / Save library

#338 · created Sep 09, 2021 by Dominique Blouin AVATAR
- CLOSED
- 2
updated Feb 24, 2022
Diagramme de méthodologie

#337 · created Sep 01, 2021 by Dominique Blouin
- CLOSED
- 1
updated Sep 01, 2021
"File Error: permission non accordée" in MicrowaveOven example

#336 · created Aug 27, 2021 by Dominique Blouin AVATAR
- CLOSED
- 2
updated Aug 27, 2021
Sequence Diagram / Alt

#334 · created Aug 18, 2021 by Dominique Blouin
- CLOSED
- 1
updated Sep 06, 2021

Prev
1
2
3
4
5
…
15
Next