Merge requests · mbe-tools / TTool

Update doc but issue not close

!82 · created Oct 02, 2018 by Arthur Vuagniaux
- Merged
updated Oct 12, 2018
Fixed proverif result trace display

!81 · created Sep 26, 2018 by Letitia Li
- Merged
updated Sep 27, 2018
Fixed proverif trace missing

!80 · created Sep 26, 2018 by Letitia Li
- Merged
updated Sep 26, 2018
Corrected latency measurements

!79 · created Sep 18, 2018 by Letitia Li
- Merged
updated Sep 19, 2018
Resolve "Hidden component still clickable"

!76 · created Sep 18, 2018 by Arthur Vuagniaux
- Merged
- 1
updated Sep 18, 2018
Diplodocus latency fix

!78 · created Sep 18, 2018 by Letitia Li
- Merged
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