TTool issueshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues2021-02-25T13:34:29Zhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/194New functionality: implement attack tree analysis2021-02-25T13:34:29ZLudovic ApvrilleNew functionality: implement attack tree analysisAs specified in the contribution with Sahar Berro.As specified in the contribution with Sahar Berro.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/195Displaying of transactions in multi-core processors2021-01-28T15:34:18ZLudovic ApvrilleDisplaying of transactions in multi-core processorsMulti-core processors displaying of transactions fails when double-clicking on a processorMulti-core processors displaying of transactions fails when double-clicking on a processorLudovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/144Scripting TCL2021-01-08T08:54:34ZLudovic ApvrilleScripting TCLAdding a TCL-like scripting to TTool would be great.
See e.g. [ug894-vivado-tcl-scripting.pdf](/uploads/9846baf3405226c89e1cd819bda8e716/ug894-vivado-tcl-scripting.pdf)Adding a TCL-like scripting to TTool would be great.
See e.g. [ug894-vivado-tcl-scripting.pdf](/uploads/9846baf3405226c89e1cd819bda8e716/ug894-vivado-tcl-scripting.pdf)Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/182DIPLODOCUS simulator gives an energy info ...2020-08-13T15:54:38ZLudovic ApvrilleDIPLODOCUS simulator gives an energy info ...which is totally deprecated. It should be removedwhich is totally deprecated. It should be removedLe Van TruongLe Van Truonghttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/96Safety pragmas: syntax checking fails to identify safety pragmas with invalid...2020-07-16T16:36:44ZLudovic ApvrilleSafety pragmas: syntax checking fails to identify safety pragmas with invalid attributesIf you use the name of a method, TTool accepts the safety pragma and starts the verification with UPPAAL that fails.
Example:
A[] Block.methodName == true is accepted by TTool.If you use the name of a method, TTool accepts the safety pragma and starts the verification with UPPAAL that fails.
Example:
A[] Block.methodName == true is accepted by TTool.Letitia LiLetitia Lihttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/145Activate port when mouse is over an attached lock2020-06-18T13:31:07ZLudovic ApvrilleActivate port when mouse is over an attached lockLetitia LiLetitia Lihttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/237Error when saving a model with no tab2020-06-09T15:51:51ZLudovic ApvrilleError when saving a model with no tabLudovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/262Server continues to execute in server mode even if socket binding cannot occur2020-06-05T15:34:34ZLudovic ApvrilleServer continues to execute in server mode even if socket binding cannot occurHow to reproduce the bug:
- start run.x -server
- start another run.x -server
The second server can do nothing yet it continues to run. I guess it should simply terminate?How to reproduce the bug:
- start run.x -server
- start another run.x -server
The second server can do nothing yet it continues to run. I guess it should simply terminate?Le Van TruongLe Van Truonghttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/251Adding a getAllTransactionsOfTask <String taskName>2020-03-03T13:10:06ZLudovic ApvrilleAdding a getAllTransactionsOfTask <String taskName>We need this function in TTool simulator.
- Adding this function in the C++ simulator
- Update the GUI including the helpWe need this function in TTool simulator.
- Adding this function in the C++ simulator
- Update the GUI including the helpLe Van TruongLe Van Truonghttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/215Ignoring timing aspects for Avatar verification2020-02-27T17:25:47ZLudovic ApvrilleIgnoring timing aspects for Avatar verificationHaving a way to deactivate all timing operators.Having a way to deactivate all timing operators.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/243UPPAAL verification may lead to a Null pointer exception2020-02-27T11:15:46ZLudovic ApvrilleUPPAAL verification may lead to a Null pointer exceptionWhen verification is too long or interrupted by the user.
[lab3.xml](/uploads/a4ba068e4262c0ca629ec405d8022ed1/lab3.xml)When verification is too long or interrupted by the user.
[lab3.xml](/uploads/a4ba068e4262c0ca629ec405d8022ed1/lab3.xml)Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/249Enhancing HTML traces output by the DIPLODOCUS simulator2020-02-24T09:29:53ZLudovic ApvrilleEnhancing HTML traces output by the DIPLODOCUS simulatorCurrently, HTML traces are too long when the simulation lasts long, even if there are not many transactions.
Thu, that would be great to find a way to make simulation traces to be displayed by browser when the number of transactions is l...Currently, HTML traces are too long when the simulation lasts long, even if there are not many transactions.
Thu, that would be great to find a way to make simulation traces to be displayed by browser when the number of transactions is low, even if the overall simulation contains many cycles.Le Van TruongLe Van Truonghttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/236Non removable graphical elements can be deleted with the DEL key2019-11-08T10:14:27ZLudovic ApvrilleNon removable graphical elements can be deleted with the DEL keySelect a non removable component.
Type DEL key ...Select a non removable component.
Type DEL key ...Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/214Checking for UPPAAL installation2019-11-07T14:40:56ZLudovic ApvrilleChecking for UPPAAL installationBetter handling of UPPAAL installation: check that UPPAAL verifier is present (exists()) and then if verification fails, return an error.Better handling of UPPAAL installation: check that UPPAAL verifier is present (exists()) and then if verification fails, return an error.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/211Daemon tasks in automated transformatio n2019-07-23T17:14:02ZLudovic ApvrilleDaemon tasks in automated transformatio nNoC, Communication Patterns, fork/join.NoC, Communication Patterns, fork/join.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/204Automatic addition of confidentiality to DIPLODOCUS channels does not work an...2019-06-11T09:45:07ZDominique BlouinAutomatic addition of confidentiality to DIPLODOCUS channels does not work anymoreThe problem can be reproduced with the SMart Card Protocol modelThe problem can be reproduced with the SMart Card Protocol modelDominique BlouinDominique Blouinhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/192improvement: change the default name of primitive components in diplodocus FV2019-04-30T14:59:57ZLudovic Apvrilleimprovement: change the default name of primitive components in diplodocus FVLudovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/191Breakpoints after select event are not taken into account2019-04-30T14:54:58ZLudovic ApvrilleBreakpoints after select event are not taken into accountLudovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/126Order of tabs in Diplodocus component models is not preserved2019-02-27T14:26:00ZLudovic ApvrilleOrder of tabs in Diplodocus component models is not preservedProbably because it creates the components one after the other and not in the order selected by the user.
Maybe we could simply modify the list of components when we move a panel to the right/left in TDiagramPanel.Probably because it creates the components one after the other and not in the order selected by the user.
Maybe we could simply modify the list of components when we move a panel to the right/left in TDiagramPanel.Dominique BlouinDominique Blouinhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/146Authenticity for origin port should be deactivated2019-02-21T17:38:19ZLudovic ApvrilleAuthenticity for origin port should be deactivatedLetitia LiLetitia Li