Issues · mbe-tools / TTool · GitLab

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

#205 · created Jun 12, 2019 by Ludovic Apvrille AQUAS DIPLODOCUS Formal verification
- 0
updated Jan 14, 2021
Missing information on EXECI / EXECC transactions in SD generated from Diplodocus simulations

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

#183 · created Feb 25, 2019 by Ludovic Apvrille AQUAS DIPLODOCUS
- 3
updated Jan 20, 2021
Bug in Diplodocus simulator when displaying simulation traces

#166 · created Nov 14, 2018 by Ludovic Apvrille AQUAS DIPLODOCUS GUI Simulator
- 0
updated Nov 14, 2018
Confidentiality generation for an origin fork channel fails

#147 · created Jul 18, 2018 by Ludovic Apvrille AQUAS DIPLODOCUS SysML-Sec
- 3
updated Feb 08, 2021
Adding a deadline to requests

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

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

#123 · created Apr 19, 2018 by Ludovic Apvrille AQUAS Simulator
- 2
updated Aug 13, 2020
Remove Power Management Analysis functionality

#88 · created Oct 19, 2017 by Dominique Blouin AQUAS GUI
- 0
updated Dec 13, 2017
Show a reachability scenario when a state is reachable

#84 · created 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 · created 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 · created Jun 09, 2017 by Ludovic Apvrille AQUAS AVATAR SysML-Sec
- 0
updated Apr 16, 2018