Commits · e741a38d0a482ad36e8aff0c32ff9f64102c0f1b · mbe-tools / TTool · GitLab

Snippets Groups Projects

Aug 02, 2016
- fixed AvatarGuardTests · cb698d45
  Florian Lugou authored 8 years ago
  
  cb698d45
- fixed make test · c83e7905
  Florian Lugou authored 8 years ago
  
  c83e7905
Feb 26, 2016
- TML2Avatar translation · a6118b77
  Letitia Li authored 9 years ago
  
  a6118b77
Oct 13, 2015
- 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
Oct 08, 2015
- Updated AvatarPragmaTests · cef457af
  Letitia Li authored 9 years ago
  
  cef457af
Oct 07, 2015
- Avatar Pragma Tests · d20d362d
  Letitia Li authored 9 years ago
  
  d20d362d
- Avatar Pragma Tests · 2b79ec2a
  Letitia Li authored 9 years ago
  
  2b79ec2a
- adding generic class to ease test addition · 87736b6e
  Florian Lugou authored 9 years ago
  
  87736b6e
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