Commits · bf7b85890b9a7def5e1658d89307e3fadea6732a · mbe-tools / TTool

Jul 24, 2018
- Code cleanup · fa928ca2
  Dominique Blouin authored 6 years ago
  
  fa928ca2
- Code cleanup · 7ecbb1b7
  Dominique Blouin authored 6 years ago
  
  7ecbb1b7
Jun 19, 2017
- unified end-of-lines in files that presented mixed '\r', '\n' and '\r\n' · 1820b202
  Florian Lugou authored 7 years ago
  
  1820b202
Jun 16, 2017
- automatically corrected copyright to be normal multiline comments · fb7ec410
  Florian Lugou authored 7 years ago
  
  fb7ec410
Jun 09, 2017
- Gradle Setup · bdfe1c5a
  Florian Lugou authored 7 years ago
  
  bdfe1c5a
Jun 02, 2017
- optimize import · b3bc95f5
  Florian Lugou authored 7 years ago
  
  b3bc95f5
Jun 07, 2016
- Added containsAFunctionCall function to AvatarAction · 185132c9
  Florian Lugou authored 8 years ago
  
  185132c9
Apr 28, 2016
- first functional version of library calls · 55e3f20e
  Florian Lugou authored 9 years ago
  
  55e3f20e
Apr 21, 2016
- first step in adding library function call and fix for TGCNote box being too... · 0852ae0a
  Florian Lugou authored 9 years ago
  0852ae0a
Apr 08, 2016
- First part of AvatarLibraryFunction · 941ee2c7
  Florian Lugou authored 9 years ago
  
  941ee2c7
Mar 25, 2016
- sort of working · 98a7eb6d
  Letitia Li authored 9 years ago
  
  98a7eb6d
Oct 02, 2015
- fixed bug with ProVerif and InitialKnowledge · 34154e27
  Florian Lugou authored 9 years ago
  
  34154e27
Sep 28, 2015
- proverif logic modification · 1e26ec9f
  Florian Lugou authored 9 years ago
  
  1e26ec9f
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
  cc582c07
Nov 25, 2014
- Update on ref to ads in tmlcp · 9428cb1b
  Ludovic Apvrille authored 10 years ago
  
  9428cb1b
Mar 13, 2014
- Update on port checking. Reference ports are still missing in the evaluation · 2ae0482c
  Ludovic Apvrille authored 11 years ago
  
  2ae0482c
Jun 23, 2011
- AVATAR: Trying to resolve bug on non -identified state selected for... · 50f779d0
  Ludovic Apvrille authored 13 years ago
  50f779d0
May 20, 2010
- Update on Avatar · 98e621e9
  Ludovic Apvrille authored 14 years ago
  
  98e621e9
Jun 05, 2009
- New feature on simulator · a4e6f658
  Ludovic Apvrille authored 15 years ago
  
  a4e6f658
Jun 02, 2009
- improvemens on interactive simulation · 46b09cf8
  Ludovic Apvrille authored 15 years ago
  
  46b09cf8
Mar 26, 2009
- new Id in TMLelement · 6629f2d2
  Ludovic Apvrille authored 16 years ago
  
  6629f2d2
Jul 16, 2008
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339