Commits · 62e5703c4fafd946407388f17acbb7c40091afe5 · mbe-tools / TTool

Aug 29, 2019
- Adding traces for debug of libfunc · 4e2d6041
  apvrille authored 5 years ago
  
  4e2d6041
Sep 21, 2018
- Code cleanup · 5d8282af
  Dominique Blouin authored 6 years ago
  
  5d8282af
Jul 24, 2018
- 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 13, 2016
- added advancedClone function to AvatarPragma · ad1ce55d
  Florian Lugou authored 8 years ago
  
  ad1ce55d
- Update on advanced clone · 7839aad0
  Ludovic Apvrille authored 8 years ago
  
  7839aad0
Jun 07, 2016
- Added containsAFunctionCall function to AvatarAction · 185132c9
  Florian Lugou authored 8 years ago
  
  185132c9
Jun 03, 2016
- Avatar Model Checker: first full impl but probably full of bugs · a7174fc8
  Ludovic Apvrille authored 8 years ago
  
  a7174fc8
Apr 08, 2016
- First part of AvatarLibraryFunction · 941ee2c7
  Florian Lugou authored 8 years ago
  
  941ee2c7
Sep 28, 2015
- proverif logic modification · 1e26ec9f
  Florian Lugou authored 9 years ago
  
  1e26ec9f
- Added AvatarConstant and AvatarPragmaConstant · b2526d29
  Letitia Li authored 9 years ago
  
  b2526d29
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
Feb 24, 2015
- moved Ctranslator to tmltranslator/ctranslator · b404002b
  Andrea Enrici authored 10 years ago
  
  b404002b
Feb 12, 2015
- added code to parse the AD of nonSDR operations · dc4abc7e
  Andrea Enrici authored 10 years ago
  
  dc4abc7e
- added new classes to support the code generation process · 145f9192
  Andrea Enrici authored 10 years ago
  
  145f9192
Feb 11, 2015
- added data structure for operations. Added the generation of attributes. Added classes for buffers · 4d484d07
  Andrea Enrici authored 10 years ago
  
  4d484d07
Nov 06, 2014
- Update on reference correction in TMLCP AD and SD · fbe10a53
  Ludovic Apvrille authored 10 years ago
  
  fbe10a53
Jun 19, 2014
- started to add the TMLTxt generation for ADs · fda516eb
  Andrea Enrici authored 10 years ago
  
  fda516eb
Jun 05, 2014
- adding syntax analysis for CPs · 8f367ade
  Andrea Enrici authored 10 years ago
  
  8f367ade
May 30, 2014
- added a button to map events. The button is protected by flag -experimental · b49067c0
  Andrea Enrici authored 10 years ago
  
  b49067c0
Feb 19, 2014
- Update on TMLCP data structure · 477ffe46
  Ludovic Apvrille authored 11 years ago
  
  477ffe46
Feb 18, 2014
- Adding Structure to support CP and SD in DIPLODOCUS · 4a062ef1
  Ludovic Apvrille authored 11 years ago
  
  4a062ef1
Sep 12, 2011
- DSE: towards parallel simulations · 46028e2a
  Ludovic Apvrille authored 13 years ago
  
  46028e2a
Sep 07, 2011
- DSE: committing nex classes. Sorry ,this version cannot compile, but I've got to commit it · 0ff96a64
  Ludovic Apvrille authored 13 years ago
  
  0ff96a64
Sep 06, 2011
- DSE: Update on results gathering and computation · e08e515c
  Ludovic Apvrille authored 13 years ago
  
  e08e515c
Jul 16, 2008
- (C) modified in Java files · 3db95907
  Ludovic Apvrille authored 16 years ago
  
  3db95907
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339