Issues · mbe-tools / TTool · GitLab

UPPAAL verification may lead to a Null pointer exception

#243 · opened Dec 04, 2019 by Ludovic Apvrille AQUAS AVATAR Formal verification GUI
- 0
updated Dec 04, 2019
Gui automated test - second part

#242 · opened Nov 20, 2019 by Moemoea Fiérin GUI TESTS
- 1
updated Nov 20, 2019
Repetition of code in "Panels" files

#238 · opened Nov 13, 2019 by Moemoea Fiérin GUI
- 0
updated Nov 13, 2019
Error when saving a model with no tab

#237 · opened Nov 08, 2019 by Ludovic Apvrille AQUAS AVATAR DIPLODOCUS GUI
- 1
updated Nov 08, 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 Oct 18, 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
- 6
updated Nov 13, 2019