Commits · 78a648fdc8c8b9e9c06355fdbbf275aff3bdffed · mbe-tools / TTool

Oct 07, 2015
- Updated pragmas for composed types · 78a648fd
  Letitia Li authored 9 years ago
  
  78a648fd
- fixed proverif output analyzer for composed types · da2fce63
  Florian Lugou authored 9 years ago
  
  da2fce63
- AvatarDesignPanel change · 26cc4e95
  Letitia Li authored 9 years ago
  
  26cc4e95
Oct 06, 2015
- fixes for guards translation with ProVerif · c5444aad
  Florian Lugou authored 9 years ago
  
  c5444aad
- Added warnings to AVATAR2ProVerif · a9f761d1
  Florian Lugou authored 9 years ago
  
  a9f761d1
- added constant translation and public pragma translation in ProVerif · 6cacc948
  Florian Lugou authored 9 years ago
  
  6cacc948
- Pragma Help Popup · 1e4405fd
  Letitia Li authored 9 years ago
  
  1e4405fd
- Added Pragma help · e7014606
  Letitia Li authored 9 years ago
  
  e7014606
- corrected name association in ProVerif and allowed else guards for avatartranslator · 05d90fbe
  Florian Lugou authored 9 years ago
  
  05d90fbe
- UPAAL translator fix · 627a5905
  Letitia Li authored 9 years ago
  
  627a5905
- Fixed strong authenticity parser · 8b8e54f2
  Letitia Li authored 9 years ago
  
  8b8e54f2
Oct 05, 2015
- corrected ProVerif Output analyzer test · 0b8bb45b
  Florian Lugou authored 9 years ago
  
  0b8bb45b
- Updated ProVerifOutputAnalyzerTest · 84bb960f
  Letitia Li authored 9 years ago
  
  84bb960f
- base architecture for tests · 35a2dfb3
  Florian Lugou authored 9 years ago
  
  35a2dfb3
- Pragma UI fix · b43f7dd0
  Letitia Li authored 9 years ago
  
  b43f7dd0
- Prompt on overwrite · f6d37b06
  Letitia Li authored 9 years ago
  
  f6d37b06
- Prompt on overwrite · 54eddfbf
  Letitia Li authored 9 years ago
  
  54eddfbf
- Prompt on overwrite · b2ff0d9a
  Letitia Li authored 9 years ago
  
  b2ff0d9a
Oct 02, 2015
- Removed scroll bug · d3583328
  Letitia Li authored 9 years ago
  
  d3583328
- fixed bug with ProVerif and InitialKnowledge · 34154e27
  Florian Lugou authored 9 years ago
  
  34154e27
- Fixed some Pragma bugs · 225d9cb1
  Letitia Li authored 9 years ago
  
  225d9cb1
Oct 01, 2015
- Pragma UI update · d7c86bdc
  Letitia Li authored 9 years ago
  
  d7c86bdc
- Pragma UI update · adcdc9d1
  Letitia Li authored 9 years ago
  
  adcdc9d1
Sep 30, 2015
- Select proverif input file · 01fe5834
  Letitia Li authored 9 years ago
  
  01fe5834
- OutputAnalyazerTests · 181c2501
  Letitia Li authored 9 years ago
  
  181c2501
- ProVerifOutputAnalyzer and user input · 22cf42cf
  Letitia Li authored 9 years ago
  
  22cf42cf
- ProVerifOutputAnalyzer and user input · ed4e735b
  Letitia Li authored 9 years ago
  
  ed4e735b
Sep 29, 2015
- recover erroneously deleted config.xml · 1b33e617
  Florian Lugou authored 9 years ago
  
  1b33e617
Sep 28, 2015
- fix for ProVerif problems with attacker predicate in typed pi · 487ad4e3
  Florian Lugou authored 9 years ago
  
  487ad4e3
- syntax correction for verifyMAC in ProVerif · 55864028
  Florian Lugou authored 9 years ago
  
  55864028
- proverif logic modification · 1e26ec9f
  Florian Lugou authored 9 years ago
  
  1e26ec9f
- Added AvatarConstant and AvatarPragmaConstant · b2526d29
  Letitia Li authored 9 years ago
  
  b2526d29
Sep 25, 2015
- Added AvatarAttributeState · 8c5e56b5
  Letitia Li authored 9 years ago
  
  8c5e56b5
- Added Pragma object · 39c1ee33
  Letitia Li authored 9 years ago
  
  39c1ee33
- Fixed Warnings Message · ce5e0b4b
  Letitia Li authored 9 years ago
  
  ce5e0b4b
- Avatar Design Panel fix · e5b4d11b
  Letitia Li authored 9 years ago
  
  e5b4d11b
- Avatar Pragma Classes · 45895af3
  Letitia Li authored 9 years ago
  
  45895af3
- Added AvatarPragma classes and pragma icon to toolbar · 19216ffc
  Letitia Li authored 9 years ago
  
  19216ffc
Sep 23, 2015
- adaptation to java 7 of precedent commit · d18a523d
  Florian Lugou authored 9 years ago
  
  d18a523d
Sep 22, 2015
- Generation of ProVerif typed pi calculus, modification of Avatar model for... · cc582c07
  Florian Lugou authored 9 years ago
  
  Generation of ProVerif typed pi calculus, modification of Avatar model for easing translation to ProVerif
  cc582c07