Commits · c74808aed1b8b81725b66f90c7a15a471cbfcbbc · mbe-tools / TTool

Feb 23, 2017
- Added .gitignore · 1d81a5b8
  dblouin authored 8 years ago
  
  1d81a5b8
Feb 22, 2017
- Added mor info on Tests · 5c40d4e1
  dblouin authored 8 years ago
  
  5c40d4e1
Feb 10, 2017
- Added standalone test runner · 3afc5a27
  Dominique Blouin authored 8 years ago
  
  3afc5a27
Feb 02, 2017
- Issue #18 : Added tests for RSHClient · a5d2cb51
  Dominique Blouin authored 8 years ago
  
  a5d2cb51
Jan 25, 2017
- Adding Diplodocus simulator code generation test project · bc9fdbb4
  Dominique Blouin authored 8 years ago
  
  bc9fdbb4
- Adding Diplodocus simulator code generation test project · b59c60ca
  Dominique Blouin authored 8 years ago
  
  b59c60ca
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