Skip to content
GitLab
Explore
Sign in
Open
3
Merged
378
Closed
129
All
510
Recent searches
Loading
{{ 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}}
Created date
Finding time between corresponding requests and Avatar ProVerif trace display
TTool!69
· created
Jul 17, 2018
by
Letitia Li
Merged
updated
Jul 18, 2018
Action state translation and backtracing on ports
TTool!68
· created
Jul 13, 2018
by
Letitia Li
Merged
1
updated
Jul 13, 2018
Firewall Generation on syntax analysis is now working
TTool!67
· created
Jul 11, 2018
by
Letitia Li
Merged
updated
Jul 11, 2018
Added Figure to SysML-Sec tutorial and Firewall generation
TTool!66
· created
Jul 10, 2018
by
Letitia Li
Merged
updated
Jul 10, 2018
Fixed failing tml2avatar test
TTool!65
· created
Jul 09, 2018
by
Letitia Li
Merged
updated
Jul 09, 2018
Added Avatar tutorial and security pattern fixes
TTool!64
· created
Jul 09, 2018
by
Letitia Li
Merged
updated
Jul 09, 2018
Bug fixes and updated SysMLsec documentation
TTool!63
· created
Jul 04, 2018
by
Letitia Li
Merged
updated
Jul 05, 2018
TML Spec Generation and HSM Generation
TTool!62
· created
Jul 02, 2018
by
Letitia Li
Merged
1
updated
Jul 03, 2018
Fixed issue with lack of security generation
TTool!61
· created
Jun 17, 2018
by
Letitia Li
Merged
updated
Jun 18, 2018
Automatic Generation of Security moved to separate thread
TTool!60
· created
Jun 05, 2018
by
Letitia Li
Merged
updated
Jun 05, 2018
Fixing simulation trace in DIPLODOCUS bug and improved simulation measurements
TTool!59
· created
May 30, 2018
by
Letitia Li
Merged
updated
May 31, 2018
Revert "Merge branch 'repairedMPSoC' into 'master'"
TTool!58
· created
May 29, 2018
by
Ludovic Apvrille
Merged
updated
May 29, 2018
Repaired mpsoc
TTool!57
· created
May 28, 2018
by
Daniela Genius
Merged
updated
May 29, 2018
Clustered and Syscams
TTool!56
· created
May 21, 2018
by
Daniela Genius
Merged
updated
May 22, 2018
Clustered
TTool!55
· created
May 18, 2018
by
Daniela Genius
Closed
updated
May 21, 2018
Clustered and SystemC-AMS
TTool!54
· created
May 18, 2018
by
Daniela Genius
Closed
updated
May 18, 2018
menage
TTool!53
· created
May 17, 2018
by
Daniela Genius
Merged
updated
May 17, 2018
Clustered
TTool!52
· created
May 16, 2018
by
Daniela Genius
Merged
updated
May 17, 2018
Irina
TTool!51
· created
May 14, 2018
by
Daniela Genius
Merged
updated
May 14, 2018
Updated sysml-sec tutorial
TTool!50
· created
Apr 04, 2018
by
Letitia Li
Merged
updated
Apr 04, 2018
Prev
1
…
19
20
21
22
23
24
25
26
Next