Issues · mbe-tools / TTool · GitLab

Ensure that a keys is not mapped more than one time in a mem with the same identifier

#205 · opened Jun 12, 2019 by Ludovic Apvrille AQUAS DIPLODOCUS Formal verification
- 0
updated Jun 12, 2019
Displaying of transactions in multi-core processors

#195 · opened May 02, 2019 by Ludovic Apvrille AQUAS DIPLODOCUS
- 0
updated May 02, 2019
New fucntionality: implement attack tree analysis

#194 · opened May 02, 2019 by Ludovic Apvrille AQUAS AVATAR SysML-Sec
- 0
updated May 03, 2019
Missing information on EXECI / EXECC transactions in SD generated from Diplodocus simulations

#184 · opened Feb 26, 2019 by Ludovic Apvrille AQUAS DIPLODOCUS Simulator
- 0
updated Feb 26, 2019
Help for HW node parameters in DIPLODOCUS

#183 · opened Feb 25, 2019 by Ludovic Apvrille AQUAS DIPLODOCUS
- 1
updated Feb 28, 2020
DIPLODOCUS simulator gives an energy info ...

#182 · opened Feb 25, 2019 by Ludovic Apvrille AQUAS DIPLODOCUS
- 3
updated Jun 24, 2020
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
Confidentiality generation for an origin fork channel fails

#147 · opened Jul 18, 2018 by Ludovic Apvrille AQUAS DIPLODOCUS SysML-Sec
- 0
updated Jul 18, 2018
Scripting TCL

#144 · opened Jul 12, 2018 by Ludovic Apvrille AQUAS AVATAR DIPLODOCUS Development Infrastructure Formal verification
- 1
updated May 02, 2019
Adding a deadline to requests

#129 · opened May 17, 2018 by Ludovic Apvrille AQUAS DIPLODOCUS
- 0
updated May 17, 2018
Improvements on DIPLODOCUS Communication Patterns

#128 · opened May 16, 2018 by Ludovic Apvrille AQUAS DIPLODOCUS GUI
- 0
updated May 16, 2018
Error in the generated VCD (DIPLODOCUS simulator)

#123 · opened Apr 19, 2018 by Ludovic Apvrille AQUAS Simulator
- 0
updated Jun 18, 2020
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
Show a reachability scenario when a state is reachable

#84 · opened Oct 17, 2017 by Ludovic Apvrille AQUAS AVATAR DIPLODOCUS
- 0
updated Dec 13, 2017
Allow to be able to disable action nodes in an activity diagram

#69 · opened Sep 13, 2017 by Dominique Blouin AQUAS DIPLODOCUS To be re-tested
- 2
updated Aug 23, 2018
Handling loops and alternatives in Sequence Diagrams

#51 · opened Jun 09, 2017 by Ludovic Apvrille AQUAS AVATAR SysML-Sec
- 0
updated Apr 16, 2018