Skip to content
GitLab
Explore
Sign in
Open
3
Merged
371
Closed
122
All
496
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Label priority
Corrected latency measurements
!79
· created
Sep 18, 2018
by
Letitia Li
Merged
updated
Sep 19, 2018
Diplodocus latency fix
!78
· created
Sep 18, 2018
by
Letitia Li
Merged
updated
Sep 18, 2018
Resolve "Hidden component still clickable"
!76
· created
Sep 18, 2018
by
Arthur Vuagniaux
Merged
1
updated
Sep 18, 2018
Latency fix
!73
· created
Sep 18, 2018
by
Letitia Li
Merged
1
updated
Sep 18, 2018
Syscams
!72
· created
Sep 10, 2018
by
Daniela Genius
Merged
updated
Sep 10, 2018
Security generation fixes and Security testing model
!71
· created
Aug 17, 2018
by
Letitia Li
Merged
updated
Sep 10, 2018
Added save trace in png capability
!70
· created
Jul 18, 2018
by
Letitia Li
Merged
updated
Jul 18, 2018
Finding time between corresponding requests and Avatar ProVerif trace display
!69
· created
Jul 17, 2018
by
Letitia Li
Merged
updated
Jul 18, 2018
Action state translation and backtracing on ports
!68
· created
Jul 13, 2018
by
Letitia Li
Merged
1
updated
Jul 13, 2018
Firewall Generation on syntax analysis is now working
!67
· created
Jul 11, 2018
by
Letitia Li
Merged
updated
Jul 11, 2018
Added Figure to SysML-Sec tutorial and Firewall generation
!66
· created
Jul 10, 2018
by
Letitia Li
Merged
updated
Jul 10, 2018
Fixed failing tml2avatar test
!65
· created
Jul 09, 2018
by
Letitia Li
Merged
updated
Jul 09, 2018
Added Avatar tutorial and security pattern fixes
!64
· created
Jul 09, 2018
by
Letitia Li
Merged
updated
Jul 09, 2018
Bug fixes and updated SysMLsec documentation
!63
· created
Jul 04, 2018
by
Letitia Li
Merged
updated
Jul 05, 2018
TML Spec Generation and HSM Generation
!62
· created
Jul 02, 2018
by
Letitia Li
Merged
1
updated
Jul 03, 2018
Fixed issue with lack of security generation
!61
· created
Jun 17, 2018
by
Letitia Li
Merged
updated
Jun 18, 2018
Automatic Generation of Security moved to separate thread
!60
· created
Jun 05, 2018
by
Letitia Li
Merged
updated
Jun 05, 2018
Fixing simulation trace in DIPLODOCUS bug and improved simulation measurements
!59
· created
May 30, 2018
by
Letitia Li
Merged
updated
May 31, 2018
Revert "Merge branch 'repairedMPSoC' into 'master'"
!58
· created
May 29, 2018
by
Ludovic Apvrille
Merged
updated
May 29, 2018
Repaired mpsoc
!57
· created
May 28, 2018
by
Daniela Genius
Merged
updated
May 29, 2018
Prev
1
…
12
13
14
15
16
17
18
19
Next