Skip to content
GitLab
Explore
Sign in
mbe-tools
Merge requests
Open
2
Merged
368
Closed
124
All
494
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}}
{{title}}
Created date
Fixed failing tml2avatar test
TTool!65
· created
Jul 09, 2018
by
Letitia Li
Merged
0
updated
Jul 09, 2018
Added Figure to SysML-Sec tutorial and Firewall generation
TTool!66
· created
Jul 10, 2018
by
Letitia Li
Merged
0
updated
Jul 10, 2018
Firewall Generation on syntax analysis is now working
TTool!67
· created
Jul 11, 2018
by
Letitia Li
Merged
0
updated
Jul 11, 2018
Action state translation and backtracing on ports
TTool!68
· created
Jul 13, 2018
by
Letitia Li
Merged
1
updated
Jul 13, 2018
Finding time between corresponding requests and Avatar ProVerif trace display
TTool!69
· created
Jul 17, 2018
by
Letitia Li
Merged
0
updated
Jul 18, 2018
Added save trace in png capability
TTool!70
· created
Jul 18, 2018
by
Letitia Li
Merged
0
updated
Jul 18, 2018
Security generation fixes and Security testing model
TTool!71
· created
Aug 17, 2018
by
Letitia Li
Merged
0
updated
Sep 10, 2018
Syscams
TTool!72
· created
Sep 10, 2018
by
Daniela Genius
Merged
0
updated
Sep 10, 2018
Latency fix
TTool!73
· created
Sep 18, 2018
by
Letitia Li
Merged
1
updated
Sep 18, 2018
Resolve "Hidden component still clickable"
TTool!76
· created
Sep 18, 2018
by
Arthur Vuagniaux
Merged
1
updated
Sep 18, 2018
Diplodocus latency fix
TTool!78
· created
Sep 18, 2018
by
Letitia Li
Merged
0
updated
Sep 18, 2018
Corrected latency measurements
TTool!79
· created
Sep 18, 2018
by
Letitia Li
Merged
0
updated
Sep 19, 2018
Fixed proverif trace missing
TTool!80
· created
Sep 26, 2018
by
Letitia Li
Merged
0
updated
Sep 26, 2018
Fixed proverif result trace display
TTool!81
· created
Sep 26, 2018
by
Letitia Li
Merged
0
updated
Sep 27, 2018
Update doc but issue not close
TTool!82
· created
Oct 02, 2018
by
Arthur Vuagniaux
Merged
0
updated
Oct 12, 2018
Update
utilities!3
· created
Oct 08, 2018
by
Alice Goudout
Merged
0
updated
Oct 08, 2018
Update2
utilities!4
· created
Oct 11, 2018
by
Dominique Blouin
Merged
0
updated
Oct 11, 2018
Javier testing
TTool!83
· created
Nov 14, 2018
by
Javier.Errea-Moreno
Merged
0
updated
Nov 14, 2018
Test merge gui
TTool!87
· created
Dec 06, 2018
by
Arthur Vuagniaux
Merged
1
updated
Dec 06, 2018
Issue #71: Merge gradle
TTool!88
· created
Dec 06, 2018
by
Arthur Vuagniaux
Merged
0
updated
Dec 06, 2018
Prev
1
2
3
4
5
6
7
8
…
19
Next