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 right click when several components are selected
!12
· created
Nov 10, 2017
by
Fabien Tessier
GUI
Merged
0
updated
Nov 10, 2017
Fix some bugs
!31
· created
Dec 21, 2017
by
Fabien Tessier
AVATAR
DIPLODOCUS
GUI
Merged
0
updated
Dec 21, 2017
Fix some bugs in the translation from TML to AVATAR Sec
!453
· created
Apr 20, 2023
by
Jawher Jerray
Merged
Approved
0
updated
May 02, 2023
fix stop simulation
!437
· created
Aug 19, 2022
by
Jawher Jerray
Merged
Approved
0
updated
Sep 09, 2022
Fix timeline diagram bugs
!344
· created
Jul 02, 2020
by
Le Van Truong
Merged
0
updated
Jul 03, 2020
Fix Zigbee generated CCode and add runToNextBreakpointMaxTrans
!387
· created
Jan 18, 2021
by
Le Van Truong
Merged
0
updated
Jan 18, 2021
Fixed failing tml2avatar test
!65
· created
Jul 09, 2018
by
Letitia Li
Merged
0
updated
Jul 09, 2018
Fixed issue with lack of security generation
!61
· created
Jun 17, 2018
by
Letitia Li
Merged
0
updated
Jun 18, 2018
Fixed issues, traces generation
!337
· created
Jun 18, 2020
by
Alessandro Tempia Calvino
Merged
0
updated
Jun 18, 2020
fixed missing file deployinfo_ram.h
!16
· created
Nov 15, 2017
by
Fabien Tessier
AVATAR
Merged
0
updated
Nov 15, 2017
Fixed proverif result trace display
!81
· created
Sep 26, 2018
by
Letitia Li
Merged
0
updated
Sep 27, 2018
Fixed proverif trace missing
!80
· created
Sep 26, 2018
by
Letitia Li
Merged
0
updated
Sep 26, 2018
Fixed timer drawing
!100
· created
Feb 01, 2019
by
Letitia Li
Merged
0
updated
Feb 01, 2019
Fixed UPPAAL syntax checking
!17
· created
Nov 15, 2017
by
Letitia Li
Merged
0
updated
Nov 16, 2017
Fixes and removed constant removal momentarily
!342
· created
Jul 02, 2020
by
Alessandro Tempia Calvino
Merged
0
updated
Jul 02, 2020
Fixes, documentation, and a first implementation of counterexamples for safety pragmas (txt)
!336
· created
Jun 11, 2020
by
Alessandro Tempia Calvino
Merged
0
updated
Jun 15, 2020
Fixing bug fix for enabling uppaal
!11
· created
Nov 02, 2017
by
Letitia Li
Merged
0
updated
Nov 02, 2017
Fixing simulation trace in DIPLODOCUS bug and improved simulation measurements
!59
· created
May 30, 2018
by
Letitia Li
Merged
0
updated
May 31, 2018
Fpga change
!161
· created
May 10, 2019
by
Siyuan Niu
Merged
0
updated
May 13, 2019
Fpga change simulator
!163
· created
May 13, 2019
by
Siyuan Niu
Merged
0
updated
May 13, 2019
Prev
1
…
4
5
6
7
8
9
10
11
12
…
19
Next