Commits · ffb389c807d503f2db7c930d3cab86ada942383f · mbe-tools / TTool

Dec 12, 2016
- transition bug fix · ffb389c8
  Letitia Li authored 8 years ago
  
  ffb389c8
Jun 03, 2016
- TML to AvatarDP fixes · e0a2a387
  Letitia Li authored 8 years ago
  
  e0a2a387
Apr 26, 2016
- added library function calls to SMD and various modification to use generics · aeec97b8
  Florian Lugou authored 8 years ago
  
  aeec97b8
Nov 06, 2015
- fixed empty guards and insert in transitions · 80171599
  Florian Lugou authored 9 years ago
  
  80171599
Aug 27, 2015
- Better handling of avatar transition info · 68197215
  Ludovic Apvrille authored 9 years ago
  
  68197215
Aug 25, 2015
- Indenting TMLrchiCPNode.java · 8f1f6849
  Ludovic Apvrille authored 9 years ago
  
  8f1f6849
Jul 02, 2015
- Update on graphical bugs · 11d50351
  Ludovic Apvrille authored 9 years ago
  
  11d50351
Mar 08, 2013
- Update on code generator of AVATAR · 74980046
  Ludovic Apvrille authored 12 years ago
  
  74980046
Feb 28, 2013
- Update on code generzation · ba74f169
  Ludovic Apvrille authored 12 years ago
  
  ba74f169
Aug 22, 2011
- Adding hash and new asymetric functions · dd62431c
  Ludovic Apvrille authored 13 years ago
  
  dd62431c
Jun 17, 2011
- AVATAR design: changing edition of transitions · 3faf3290
  Ludovic Apvrille authored 13 years ago
  
  3faf3290
- AVATAR Design: bug resolved on transitions · 89f17498
  Ludovic Apvrille authored 13 years ago
  
  89f17498
Jun 16, 2011
- AVATAR design: code and files on transitions · ce705b65
  Ludovic Apvrille authored 13 years ago
  
  ce705b65
- AVATAR : transitions : preparing custom code · 10002cd4
  Ludovic Apvrille authored 13 years ago
  
  10002cd4
May 25, 2011
- AVATAR/ Possibility to link comments to elements of the design · fdb63f64
  Ludovic Apvrille authored 13 years ago
  
  fdb63f64
Sep 16, 2010
- AVATAR: Update on proverif generator · edd69278
  Ludovic Apvrille authored 14 years ago
  
  AVATAR: creation of CryptoBlocks
  edd69278
May 19, 2010
- Update on AVATAR translation to TIF · 17cfedeb
  Ludovic Apvrille authored 14 years ago
  
  17cfedeb
Apr 28, 2010
- bug on avatar smd transitions · 83292aaf
  Ludovic Apvrille authored 14 years ago
  
  83292aaf
Apr 13, 2010
- AVATAR: SMD support · 54bb00da
  Ludovic Apvrille authored 14 years ago
  
  54bb00da
Apr 12, 2010
- avatar: other operators · c70cbca0
  Ludovic Apvrille authored 14 years ago
  
  c70cbca0