Issues · mbe-tools / TTool · GitLab

Avatar-to-proverif generates an unvalid proverif specification because invalid guards for proverif are not detected

#361 · created May 02, 2022 by Ludovic Apvrille AVATAR SysML-Sec
- 0
updated May 02, 2022
Request to add a functionality in TTool

#339 · created Sep 10, 2021 by Dominique Blouin AVATAR
- 0
updated Sep 10, 2021
-nocolor --> menu

#320 · created May 05, 2021 by Dominique Blouin AVATAR
- 0
updated May 05, 2021
Saving the simulation context --> Restarting the simulation from where I stopped before

#305 · created Mar 31, 2021 by Dominique Blouin AVATAR
- 1
updated Jul 01, 2021
"__" Should be a reserved pragma in identifier

#294 · created Feb 25, 2021 by Ludovic Apvrille AVATAR DIPLODOCUS
- 1
updated Feb 25, 2021
Formal verification directly on AUT graphs

#277 · created Jul 29, 2020 by Alessandro Tempia Calvino AVATAR
- 0
updated Jul 29, 2020
Add a subtree dedicated to verification traces (AUT)

#276 · created Jul 29, 2020 by Alessandro Tempia Calvino AVATAR
- 0
updated Jul 29, 2020
Bactrackig of verification results --> scenario simulation

#272 · created Jul 08, 2020 by Dominique Blouin AVATAR
- 0
updated Jul 08, 2020
Co-édition de diagrammes

#257 · created May 19, 2020 by Dominique Blouin AVATAR
- 1
updated Jul 06, 2020
Data Structure in a Data Structure (suggestion, not a bug)

#165 · created Nov 09, 2018 by Dominique Blouin AVATAR
- 1
updated Jul 06, 2020
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
Forbidden identifiers

#78 · created Oct 09, 2017 by Ludovic Apvrille AVATAR DIPLODOCUS GUI
- 1
updated Oct 18, 2019
Model refactoring

#52 · created Jun 14, 2017 by Ludovic Apvrille AVATAR DIPLODOCUS GUI
- 0
updated Jan 13, 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