Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Merge requests
Open
2
Merged
363
Closed
121
All
486
Actions
Subscribe to RSS feed
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}}
Title
Dsez3 merge into master
!103
· created
Feb 26, 2019
by
Emna Gharbi
Merged
1
updated
Feb 26, 2019
Eliminated data types that are not standard in C, for DIPLODOCUS data channels
!47
· created
Feb 27, 2018
by
Andrea Enrici
Merged
0
updated
Feb 28, 2018
Enhance
!354
· created
Sep 01, 2020
by
Le Van Truong
Merged
0
updated
Sep 03, 2020
Enhancing display of DSE results
!113
· created
Mar 05, 2019
by
Emna Gharbi
Merged
0
updated
Mar 05, 2019
executed time bug solved
!211
· created
Jul 19, 2019
by
Siyuan Niu
Merged
0
updated
Jul 19, 2019
Explo
!200
· created
Jul 17, 2019
by
Siyuan Niu
Merged
0
updated
Jul 17, 2019
Exploration
!195
· created
Jul 16, 2019
by
Siyuan Niu
Merged
0
updated
Jul 17, 2019
Feedback for Safety Pragma Errors
!18
· created
Nov 16, 2017
by
Letitia Li
Merged
0
updated
Nov 16, 2017
Finding time between corresponding requests and Avatar ProVerif trace display
!69
· created
Jul 17, 2018
by
Letitia Li
Merged
0
updated
Jul 18, 2018
finished simple test model/ corrected some bugs
!109
· created
Mar 01, 2019
by
Emna Gharbi
Merged
0
updated
Mar 01, 2019
Finished TML2Avatar Translation
!13
· created
Nov 13, 2017
by
Letitia Li
AVATAR
DIPLODOCUS
Merged
0
updated
Nov 13, 2017
Firewall Generation on syntax analysis is now working
!67
· created
Jul 11, 2018
by
Letitia Li
Merged
0
updated
Jul 11, 2018
fit content to table in html
!249
· created
Oct 09, 2019
by
Le Van Truong
Merged
0
updated
Oct 09, 2019
fix a bug in Avatar when handling an Else guard
!479
· created
Jan 09, 2024
by
Jawher Jerray
Merged
0
updated
Jan 16, 2024
fix a bug in backtracing Auth in AD
!480
· created
Jan 16, 2024
by
Jawher Jerray
Merged
Approved
0
updated
Jan 24, 2024
fix a bug in Diplodocus code generator
!467
· created
Jul 21, 2023
by
Jawher Jerray
Merged
Approved
0
updated
Jul 26, 2023
Fix AUT graph generation
!390
· created
Jan 26, 2021
by
Le Van Truong
Merged
0
updated
Jan 26, 2021
Fix avs command and add new command rvs
!445
· created
Oct 12, 2022
by
Jawher Jerray
Merged
Approved
0
updated
Oct 13, 2022
Fix backtracing authenticity and mapping keys
!456
· created
May 19, 2023
by
Jawher Jerray
Merged
0
updated
May 25, 2023
fix backtracing display for wait delay transaction
!274
· created
Dec 04, 2019
by
Le Van Truong
Merged
0
updated
Dec 04, 2019
Prev
1
2
3
4
5
6
7
8
9
10
…
19
Next