Commits · 5e7c5e8e6874e204dae08079b92f6b15261b7939 · mbe-tools / TTool

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
Apr 09, 2018
- Update on path management in diplo · 5250cdea
  apvrille authored 7 years ago
  
  5250cdea
Apr 04, 2018
- Changing the graph package of location · 837a9e2c
  apvrille authored 7 years ago
  
  837a9e2c
Aug 21, 2017
- Update on Test sequences generation · b89999da
  apvrille authored 7 years ago
  
  b89999da
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 12, 2017
- Added new compilation flags for warnings and cleaned up code · c8d455a6
  Florian Lugou authored 7 years ago
  
  c8d455a6
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
Jan 11, 2017
- Adding minimization alfos debugged · 8d2a6080
  Ludovic Apvrille authored 8 years ago
  
  8d2a6080
- Update on graph management from TTool · e25be69e
  apvrille authored 8 years ago
  
  e25be69e
Jan 09, 2017
- Update on minimization management · f8a87ef9
  apvrille authored 8 years ago
  
  f8a87ef9
Jan 06, 2017
- Update on minimization algo: part removing tau transitions · cc27935c
  apvrille authored 8 years ago
  
  cc27935c
Jan 05, 2017
- Update on graph minimization · a6aa6fff
  apvrille authored 8 years ago
  
  a6aa6fff
Dec 14, 2016
- Update on graph management · b15e39de
  apvrille authored 8 years ago
  
  b15e39de
Dec 12, 2016
- Resolving bug on model checker with action transitions from the same state · 882fa52d
  apvrille authored 8 years ago
  
  882fa52d
- Resolving bug on model checker with action transitions from the same state · a8df1102
  apvrille authored 8 years ago
  
  a8df1102
Dec 09, 2016
- Adding minimization. Before, it is currently buggy · 3849d056
  apvrille authored 8 years ago
  
  3849d056
Nov 25, 2016
- Update on graph viz. from TTool · e9405089
  apvrille authored 8 years ago
  
  e9405089
Jul 16, 2009
- toito · 9a8ed2cc
  Ludovic Apvrille authored 15 years ago
  
  9a8ed2cc
Jul 16, 2008
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339