Merge requests · mbe-tools

Test merge gui

TTool!87 · created Dec 06, 2018 by Arthur Vuagniaux
- Merged
- 1
updated Dec 06, 2018
Javier testing

TTool!83 · created Nov 14, 2018 by Javier.Errea-Moreno
- Merged
updated Nov 14, 2018
Update doc but issue not close

TTool!82 · created Oct 02, 2018 by Arthur Vuagniaux
- Merged
updated Oct 12, 2018
Update2

utilities!4 · created Oct 11, 2018 by Dominique Blouin
- Merged
updated Oct 11, 2018
Update

utilities!3 · created Oct 08, 2018 by Alice Goudout
- Merged
updated Oct 08, 2018
Fixed proverif result trace display

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

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

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

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

TTool!78 · created Sep 18, 2018 by Letitia Li
- Merged
updated Sep 18, 2018
Latency fix

TTool!73 · created Sep 18, 2018 by Letitia Li
- Merged
- 1
updated Sep 18, 2018
Syscams

TTool!72 · created Sep 10, 2018 by Daniela Genius
- Merged
updated Sep 10, 2018
Security generation fixes and Security testing model

TTool!71 · created Aug 17, 2018 by Letitia Li
- Merged
updated Sep 10, 2018
Added save trace in png capability

TTool!70 · created Jul 18, 2018 by Letitia Li
- Merged
updated Jul 18, 2018
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