Commits · a733cd811a8d43bcd5445fa0780c36a19143c08d · mbe-tools / TTool

Dec 01, 2015
- Adding the possibility to set a a crypto or a non crypto block from a right click · a733cd81
  Ludovic Apvrille authored 9 years ago
  
  a733cd81
- update on build version: builder.txt · cdd4355d
  Ludovic Apvrille authored 9 years ago
  
  cdd4355d
Nov 25, 2015
- UPPAAL translation UI · d49b2bed
  Letitia Li authored 9 years ago
  
  d49b2bed
- Update on Makefile · 47784efb
  Ludovic Apvrille authored 9 years ago
  
  47784efb
- Update on multiple instances of TTool · 5ab3a6bb
  Ludovic Apvrille authored 9 years ago
  
  5ab3a6bb
Nov 24, 2015
- image update · 0885d1b7
  Letitia Li authored 9 years ago
  
  0885d1b7
- help menu · 0efbb4a8
  Letitia Li authored 9 years ago
  
  0efbb4a8
- Checked States are unoptimizable · dd6736de
  Letitia Li authored 9 years ago
  
  dd6736de
Nov 23, 2015
- revert · e46dd87c
  Letitia Li authored 9 years ago
  
  e46dd87c
- States are no longer optimizable · 8c5259b7
  Letitia Li authored 9 years ago
  
  8c5259b7
Nov 20, 2015
- UPPAAL pragma ui changes · f3ae0c94
  Letitia Li authored 9 years ago
  
  f3ae0c94
- UPPAAL Pragma support · 45e30daa
  Letitia Li authored 9 years ago
  
  45e30daa
Nov 17, 2015
- UPPAAL translation added · b5b40b19
  Letitia Li authored 9 years ago
  
  b5b40b19
Nov 06, 2015
- fixed empty guards and insert in transitions · 80171599
  Florian Lugou authored 9 years ago
  
  80171599
- Execution Thread reads Error Stream as well · c7c8974a
  Letitia Li authored 9 years ago
  
  c7c8974a
- Execution Thread reads Error Stream as well · 28efdc0c
  Letitia Li authored 9 years ago
  
  28efdc0c
Nov 05, 2015
- Modified UPPAAL Validation · 0410b025
  Letitia Li authored 9 years ago
  
  0410b025
Nov 04, 2015
- Resolving bug when parsing empty AVATAR functions · 3363e4fc
  Ludovic Apvrille authored 9 years ago
  
  3363e4fc
Nov 03, 2015
- Update on error message on AvatarRandom · d244cf17
  Ludovic Apvrille authored 9 years ago
  
  d244cf17
Oct 30, 2015
- Deleted some warnings in AvatarGuard · 00914def
  Florian Lugou authored 9 years ago
  
  00914def
Oct 29, 2015
- Update on many avatar simulation enhancements · 075fbec5
  Ludovic Apvrille authored 9 years ago
  
  075fbec5
- Update on many avatar simulation enhancements · 9e9d900e
  Ludovic Apvrille authored 9 years ago
  
  9e9d900e
- Resolving bug on information in UPPAAL on components · fc63d702
  Ludovic Apvrille authored 9 years ago
  
  fc63d702
- Correcting bug occuring when adding signals · 4dbaa5fd
  Ludovic Apvrille authored 9 years ago
  
  4dbaa5fd
Oct 28, 2015
- Update on graphical bug: adding several connectors on one connecting point · 184b2c67
  Ludovic Apvrille authored 9 years ago
  
  184b2c67
- fix for calls to function in generation of executable · 43134ea8
  Florian Lugou authored 9 years ago
  
  43134ea8
- fixed uppaal function call · 16c9759b
  Florian Lugou authored 9 years ago
  
  16c9759b
- Added translation of expressions for uppaal · c6807ad9
  Florian Lugou authored 9 years ago
  
  c6807ad9
- Update on code for avatar translation · b23d7030
  Ludovic Apvrille authored 9 years ago
  
  b23d7030
Oct 22, 2015
- corrections for multiple authenticity for same states · e4fac6b0
  Florian Lugou authored 9 years ago
  
  e4fac6b0
- design panel fix · ac5429de
  Letitia Li authored 9 years ago
  
  ac5429de
Oct 21, 2015
- bug fix for loops in state machine diagram · cf048b5a
  Florian Lugou authored 9 years ago
  
  cf048b5a
Oct 20, 2015
- corrected verifySign and verifyCert in ProVerif translation · ddc99e9c
  Florian Lugou authored 9 years ago
  
  ddc99e9c
- updated paper · c13c5648
  Letitia Li authored 9 years ago
  
  c13c5648
Oct 16, 2015
- Update on ERTS paper and impact/composition in MAD · 7f2175a7
  Ludovic Apvrille authored 9 years ago
  
  7f2175a7
Oct 13, 2015
- updated ProVerif translation to only replicate processes that have multiple predecessors · e83a101a
  Florian Lugou authored 9 years ago
  
  e83a101a
- Fixed Avatar Guard · 7c3a2fa3
  Letitia Li authored 9 years ago
  
  7c3a2fa3
Oct 12, 2015
- Added Architecture of Avatar diagram · 5145e6fc
  Letitia Li authored 9 years ago
  
  5145e6fc
Oct 09, 2015
- Avatar Guard changed · 102ddb69
  Letitia Li authored 9 years ago
  
  102ddb69
- Split locks for authenticity · 569b3b1c
  Letitia Li authored 9 years ago
  
  569b3b1c