Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Merge requests
Open
3
Merged
361
Closed
121
All
485
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
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
fix bug and improve performance of timeline diagram
!352
· created
Aug 20, 2020
by
Le Van Truong
Merged
0
updated
Aug 20, 2020
fix daemon task issues, add test for daemon task, remove redundant file
!248
· created
Oct 09, 2019
by
Le Van Truong
Merged
0
updated
Oct 09, 2019
Fix exception when click on an empty panel
!1
· created
Oct 03, 2017
by
Fabien Tessier
GUI
Merged
0
updated
Oct 03, 2017
fix FPGA rescheduling base on Matteo suggestion
!363
· created
Nov 16, 2020
by
Le Van Truong
Merged
0
updated
Nov 16, 2020
Fix hanging bug and improve time line display.
!351
· created
Aug 18, 2020
by
Le Van Truong
Merged
0
updated
Aug 18, 2020
Fix in multiple consecutive negations in expressions
!355
· created
Sep 03, 2020
by
Alessandro Tempia Calvino
Merged
0
updated
Sep 04, 2020
Prev
1
…
4
5
6
7
8
9
10
11
12
…
25
Next