Commits · 68fe0aed4ffe605bbd09206f1771438c630c31c9 · mbe-tools / TTool

Mar 15, 2016
- Commit on deplo. diag modif. · 68fe0aed
  Ludovic Apvrille authored 9 years ago
  
  68fe0aed
- Update on TTool deployment diagrams · 46ea3576
  Ludovic Apvrille authored 9 years ago
  
  46ea3576
- tml security backtracing · c2bf59ef
  Letitia Li authored 9 years ago
  
  c2bf59ef
- Update on readme for vms · 145768f3
  Ludovic Apvrille authored 9 years ago
  
  145768f3
- update on build version: builder.txt · 6a6a3e84
  Ludovic Apvrille authored 9 years ago
  
  6a6a3e84
Mar 14, 2016
- Update on bus connection avatardd · 458eb66c
  Ludovic Apvrille authored 9 years ago
  
  458eb66c
- bugfix · 338182fe
  Daniela Genius authored 9 years ago
  
  338182fe
- bugfix · 7b25b0d2
  Daniela Genius authored 9 years ago
  
  7b25b0d2
- bugfix · 8c6f86b2
  Daniela Genius authored 9 years ago
  
  8c6f86b2
- cleaned debug messages · ad4b4e22
  Daniela Genius authored 9 years ago
  
  ad4b4e22
- update/cleaning code avatar dd code generation · 0004265f
  Daniela Genius authored 9 years ago
  
  0004265f
- bugfix · 48fcf92f
  Daniela Genius authored 9 years ago
  
  48fcf92f
- update on build version: builder.txt · 86405f1f
  Ludovic Apvrille authored 9 years ago
  
  86405f1f
Mar 13, 2016
- update on build version: builder.txt · 702e62fd
  Ludovic Apvrille authored 9 years ago
  
  702e62fd
Mar 12, 2016
- update on build version: builder.txt · 54e1b56c
  Ludovic Apvrille authored 9 years ago
  
  54e1b56c
Mar 11, 2016
- backtracing fix · d813e545
  Letitia Li authored 9 years ago
  
  d813e545
- update on build version: builder.txt · bcc424f3
  Ludovic Apvrille authored 9 years ago
  
  bcc424f3
Mar 10, 2016
- Resolving bug on derivereqt · b3248f53
  Ludovic Apvrille authored 9 years ago
  
  b3248f53
- Solved compilation issue with getEncryption() · 8e7ee6ea
  Andrea Enrici authored 9 years ago
  
  8e7ee6ea
- TML backtracing · 059a712f
  Letitia Li authored 9 years ago
  
  059a712f
- TML backtracing · 5b949a23
  Letitia Li authored 9 years ago
  
  5b949a23
- update on build version: builder.txt · 746b4d11
  Ludovic Apvrille authored 9 years ago
  
  746b4d11
Mar 09, 2016
- CPU encryption · 04e450b0
  Letitia Li authored 9 years ago
  
  04e450b0
- tml2avatar changes · 8f3d9c62
  Letitia Li authored 9 years ago
  
  8f3d9c62
- tml2avatar changes · ba5bcda5
  Letitia Li authored 9 years ago
  
  ba5bcda5
- update on build version: builder.txt · dc4f2ecf
  Ludovic Apvrille authored 9 years ago
  
  dc4f2ecf
Mar 08, 2016
- reference object issue · d909195c
  Letitia Li authored 9 years ago
  
  d909195c
- reference object issue · ce26a5a5
  Letitia Li authored 9 years ago
  
  ce26a5a5
- fixed translation · 8a80fc5e
  Letitia Li authored 9 years ago
  
  8a80fc5e
- Update on channel management · 6b9ea9b2
  Ludovic Apvrille authored 9 years ago
  
  6b9ea9b2
- Update on SysMLSec method · 9ca47d10
  Ludovic Apvrille authored 9 years ago
  
  9ca47d10
- fixed TML2Avatar · 6cce3089
  Letitia Li authored 9 years ago
  
  6cce3089
- Authenticity lock fix · c16885a2
  Letitia Li authored 9 years ago
  
  c16885a2
- update on build version: builder.txt · 2c4dac1d
  Ludovic Apvrille authored 9 years ago
  
  2c4dac1d
Mar 07, 2016
- Moved tml2avatar · df02d2bd
  Letitia Li authored 9 years ago
  
  df02d2bd
- update on build version: builder.txt · a322e426
  Ludovic Apvrille authored 9 years ago
  
  a322e426
Mar 06, 2016
- update on build version: builder.txt · 27a5993c
  Ludovic Apvrille authored 9 years ago
  
  27a5993c
Mar 05, 2016
- update on build version: builder.txt · 7abf5c32
  Ludovic Apvrille authored 9 years ago
  
  7abf5c32
Mar 04, 2016
- deleted tmltranslator/TML2Avatar.java · f67622e4
  Florian Lugou authored 9 years ago
  
  f67622e4
- enabled reachability proof with ProVerif on selected only states and added... · f7dcf5d6
  Florian Lugou authored 9 years ago
  
  enabled reachability proof with ProVerif on selected only states and added PrivateConstant and PublicConstant pragmas
  f7dcf5d6