Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Merge requests
Open
2
Merged
364
Closed
121
All
487
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
fix FPGA rescheduling base on Matteo suggestion
!363
· created
Nov 16, 2020
by
Le Van Truong
Merged
0
updated
Nov 16, 2020
Fix exception when click on an empty panel
!1
· created
Oct 03, 2017
by
Fabien Tessier
GUI
Merged
0
updated
Oct 03, 2017
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 bug and improve performance of timeline diagram
!352
· created
Aug 20, 2020
by
Le Van Truong
Merged
0
updated
Aug 20, 2020
fix backtracing display for wait delay transaction
!274
· created
Dec 04, 2019
by
Le Van Truong
Merged
0
updated
Dec 04, 2019
Fix backtracing authenticity and mapping keys
!456
· created
May 19, 2023
by
Jawher Jerray
Merged
0
updated
May 25, 2023
Fix avs command and add new command rvs
!445
· created
Oct 12, 2022
by
Jawher Jerray
Merged
Approved
0
updated
Oct 13, 2022
Fix AUT graph generation
!390
· created
Jan 26, 2021
by
Le Van Truong
Merged
0
updated
Jan 26, 2021
fix a bug in Diplodocus code generator
!467
· created
Jul 21, 2023
by
Jawher Jerray
Merged
Approved
0
updated
Jul 26, 2023
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 Avatar when handling an Else guard
!479
· created
Jan 09, 2024
by
Jawher Jerray
Merged
0
updated
Jan 16, 2024
fit content to table in html
!249
· created
Oct 09, 2019
by
Le Van Truong
Merged
0
updated
Oct 09, 2019
Firewall Generation on syntax analysis is now working
!67
· created
Jul 11, 2018
by
Letitia Li
Merged
0
updated
Jul 11, 2018
Finished TML2Avatar Translation
!13
· created
Nov 13, 2017
by
Letitia Li
AVATAR
DIPLODOCUS
Merged
0
updated
Nov 13, 2017
finished simple test model/ corrected some bugs
!109
· created
Mar 01, 2019
by
Emna Gharbi
Merged
0
updated
Mar 01, 2019
Finding time between corresponding requests and Avatar ProVerif trace display
!69
· created
Jul 17, 2018
by
Letitia Li
Merged
0
updated
Jul 18, 2018
Feedback for Safety Pragma Errors
!18
· created
Nov 16, 2017
by
Letitia Li
Merged
0
updated
Nov 16, 2017
Exploration
!195
· created
Jul 16, 2019
by
Siyuan Niu
Merged
0
updated
Jul 17, 2019
Explo
!200
· created
Jul 17, 2019
by
Siyuan Niu
Merged
0
updated
Jul 17, 2019
executed time bug solved
!211
· created
Jul 19, 2019
by
Siyuan Niu
Merged
0
updated
Jul 19, 2019
Prev
1
…
9
10
11
12
13
14
15
16
17
…
19
Next