Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
mbe-tools
TTool
Issues
Open
14
Closed
103
All
117
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Created date
Priority
Created date
Updated date
Milestone due date
Due date
Popularity
Label priority
Manual
Title
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