Issues · mbe-tools / TTool · GitLab

Checking for UPPAAL installation

#214 · opened Aug 28, 2019 by Ludovic Apvrille AQUAS Formal verification GUI
- 0
updated Aug 28, 2019
Bug in Diplodocus simulator when displaying simulation traces

#166 · opened Nov 14, 2018 by Ludovic Apvrille AQUAS DIPLODOCUS GUI Simulator
- 0
updated Nov 14, 2018
Improvements on DIPLODOCUS Communication Patterns

#128 · opened May 16, 2018 by Ludovic Apvrille AQUAS DIPLODOCUS GUI
- 0
updated May 16, 2018
Safety pragmas: syntax checking fails to identify safety pragmas with invalid attributes

#96 · opened Nov 10, 2017 by Ludovic Apvrille AQUAS AVATAR GUI
- 3
updated Dec 14, 2017
Remove Power Management Analysis functionality

#88 · opened Oct 19, 2017 by Dominique Blouin AQUAS GUI
- 0
updated Dec 13, 2017
Forbidden identifiers

#78 · opened Oct 09, 2017 by Ludovic Apvrille AVATAR DIPLODOCUS GUI
- 1
updated May 14, 2019
Autocompletion in SysML-Sec pragmas loses focus

#75 · opened Sep 28, 2017 by Florian Lugou GUI SysML-Sec
- 3
updated Apr 16, 2018
Model refactoring

#52 · opened Jun 14, 2017 by Ludovic Apvrille AVATAR DIPLODOCUS GUI
- 0
updated Jan 13, 2018
Zoom on all diagrams

#31 · opened Feb 27, 2017 by Ludovic Apvrille AVATAR DIPLODOCUS GUI
- 1
updated Jun 09, 2019