Issues · mbe-tools / TTool · GitLab

English menus not displayed correctly in a Windows 10 set in chinese

#363 · created May 19, 2022 by Ludovic Apvrille
- 0
updated May 19, 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
Avatar-to-proverif generates an unvalid proverif specification because invalid guards for proverif are not detected

#361 · created May 02, 2022 by Ludovic Apvrille AVATAR SysML-Sec
- 0
updated May 02, 2022
INTERFACE

#360 · created Mar 27, 2022 by Dominique Blouin
- CLOSED
- 1
updated Mar 28, 2022
Model-checking from zigbee application suprisingly long

#359 · created Mar 24, 2022 by Ludovic Apvrille DIPLODOCUS
- 0
updated Mar 24, 2022
Update Diplodocus tutorial with internal model checker

#358 · created Mar 24, 2022 by Ludovic Apvrille
- 0
updated Mar 24, 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
window bash corrupted or fails

#351 · created Nov 28, 2021 by Eliott.Beaufils
- 1
updated Nov 29, 2021
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
More than three next in choices (diplodocus AD, analysis AD)

#347 · created Nov 16, 2021 by Ludovic Apvrille DIPLODOCUS
- 0
updated Nov 19, 2021
Code generation in Windows

#346 · created Nov 15, 2021 by Dominique Blouin GUI
- CLOSED
- 1
updated Nov 19, 2021
Images of help are not correctly displayed in ubuntu 20 LTS

#345 · created Nov 03, 2021 by Ludovic Apvrille
- 0
updated Nov 03, 2021
Graph visualization and manipulation is very slow in ubuntu 20 LTS

#344 · created Nov 03, 2021 by Ludovic Apvrille
- 0
updated Nov 03, 2021

Prev
1
2
3
4
5
…
18
Next