Commits · b1af8e5008a8dad4832827bafabff38c40d6915d · mbe-tools / TTool

Jun 07, 2018
- Removing penalties · 92e4256b
  Ludovic Apvrille authored 6 years ago
  
  92e4256b
May 15, 2018
- Switching to old src files before the merge with LIP6 · ad6b2dbd
  Ludovic Apvrille authored 6 years ago
  
  ad6b2dbd
- Rebasing before SystemCAMS · bbbb2549
  Ludovic Apvrille authored 6 years ago
  
  bbbb2549
May 09, 2018
- sources par irina · 65dc38d8
  Daniela GENIUS authored 6 years ago
  
  65dc38d8
Sep 22, 2017
- Update on plugin management · 8e432966
  apvrille authored 7 years ago
  
  8e432966
- Added PLUGIN_PKG entry in the config.xml file to specify the main package of the Nokia-TPT plugins · 63e61050
  Andrea Enrici authored 7 years ago
  
  63e61050
Jul 13, 2017
- Updating graphical component public plugin · b45e1b33
  apvrille authored 7 years ago
  
  b45e1b33
- Update on plugin for graphical components · 906b185a
  apvrille authored 7 years ago
  
  906b185a
Jul 04, 2017
- Update on TTool for supporting Diplodocus C code generation plugins · d64a5dba
  apvrille authored 7 years ago
  
  d64a5dba
- Update on plugin management · 882c7e4e
  apvrille authored 7 years ago
  
  882c7e4e
- Update on plugins · 885c1e23
  apvrille authored 7 years ago
  
  885c1e23
Jun 29, 2017
- Update on plugin management. New PLUGIN_PATH directive · 5ea619af
  apvrille authored 7 years ago
  
  5ea619af
Jun 27, 2017
- Update on actions and plugin management · 4c1124fe
  apvrille authored 7 years ago
  
  4c1124fe
- Preparing plugin for TGComponents · 7ae4771f
  apvrille authored 7 years ago
  
  7ae4771f
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
May 24, 2017
- Resolving bug on plugin management · 2326af8e
  apvrille authored 7 years ago
  
  2326af8e
- Update on plugin management system · f1de1a45
  apvrille authored 7 years ago
  
  f1de1a45
Jan 11, 2017
- Update on graph management from TTool · e25be69e
  apvrille authored 8 years ago
  
  e25be69e
Jan 09, 2017
- Update on graph management · bb793b2e
  Ludovic Apvrille authored 8 years ago
  
  bb793b2e
- Update on minimization management · f8a87ef9
  apvrille authored 8 years ago
  
  f8a87ef9
Jan 06, 2017
- Alfo minimization: first step... · 7cce861f
  apvrille authored 8 years ago
  
  7cce861f
- Update on graph minimization : first partition · 60c9f8ec
  apvrille authored 8 years ago
  
  60c9f8ec
- Update on minimization algo: part removing tau transitions · cc27935c
  apvrille authored 8 years ago
  
  cc27935c
Jun 07, 2016
- Resolving livelock bug on empty transition · cf43a600
  Ludovic Apvrille authored 8 years ago
  
  cf43a600
Apr 08, 2016
- First part of AvatarLibraryFunction · 941ee2c7
  Florian Lugou authored 9 years ago
  
  941ee2c7
Mar 24, 2016
- Added AvatarSyntaxTranslator for easy modification of guards · 6ce56d26
  Florian Lugou authored 9 years ago
  
  6ce56d26
- update · d430861f
  Daniela Genius authored 9 years ago
  
  d430861f
Mar 22, 2016
- Fixed bug with else and empty guards · a9724358
  Florian Lugou authored 9 years ago
  
  a9724358
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
Apr 20, 2015
- started to add correct code that compiles for CPs · 85d2abac
  Andrea Enrici authored 10 years ago
  
  85d2abac
Apr 15, 2015
- started to correct compilation errors · abdc72d3
  Andrea Enrici authored 10 years ago
  
  abdc72d3
Mar 19, 2015
- modified signals name and associated channels (no join signals). added signals... · 45a0020b
  Andrea Enrici authored 10 years ago
  45a0020b
Mar 16, 2015
- added task MEC to list of operations. Before to start using the list of... · 1715128d
  Andrea Enrici authored 10 years ago
  1715128d
Feb 24, 2015
- moved Ctranslator to tmltranslator/ctranslator · b404002b
  Andrea Enrici authored 10 years ago
  
  b404002b
Feb 20, 2015
- modified constructor and user to do parameters · 506961c9
  Andrea Enrici authored 10 years ago
  
  506961c9