Issues · mbe-tools / TTool · GitLab

Ensure that a key 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 Jan 14, 2021
Displaying of transactions in multi-core processors

#195 · opened May 02, 2019 by Ludovic Apvrille AQUAS DIPLODOCUS
- 2
updated Jan 22, 2021
New functionality: implement attack tree analysis

#194 · opened May 02, 2019 by Ludovic Apvrille AQUAS AVATAR SysML-Sec
- 0
updated Jan 22, 2021
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
- 3
updated Jan 20, 2021
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
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
- 2
updated Aug 13, 2020
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
- 1
updated Jan 19, 2021
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