Issues · mbe-tools / TTool · GitLab

Adding pragma for application period

#226 · opened Oct 16, 2019 by Emna Gharbi DIPLODOCUS
- 2
updated Feb 28, 2020
NoC: allow to enter the size of one flit

#206 · opened Jul 05, 2019 by Ludovic Apvrille DIPLODOCUS
- 0
updated Jul 05, 2019
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
CP (Communication Pattern) not updated when renaming HW nodes

#196 · opened May 03, 2019 by Minh Hiep Pham DIPLODOCUS
- 0
updated May 03, 2019
Displaying of transactions in multi-core processors

#195 · opened May 02, 2019 by Ludovic Apvrille AQUAS DIPLODOCUS
- 0
updated May 02, 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
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
Forbidden identifiers

#78 · opened Oct 09, 2017 by Ludovic Apvrille AVATAR DIPLODOCUS GUI
- 1
updated Oct 18, 2019
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
Model refactoring

#52 · opened Jun 14, 2017 by Ludovic Apvrille AVATAR DIPLODOCUS GUI
- 0
updated Jan 13, 2018
Adding Fork/Join for DIPLODOCUS functional models

#15 · opened Dec 16, 2016 by Ludovic Apvrille DIPLODOCUS
- 2
updated May 14, 2018
Enhance behaviour of firewall

#8 · opened Nov 02, 2016 by Ludovic Apvrille DIPLODOCUS
- 3
updated Feb 20, 2019