Commits · 0685a1027e7ccdb8d55cc294c9ca6f3debf5d0ca · mbe-tools / TTool

Sep 26, 2018
- Debug info on graph minimization · 0685a102
  Ludovic Apvrille authored 6 years ago
  
  0685a102
Jun 21, 2018
- Removing useless system.out.println · 7eb4648f
  apvrille authored 6 years ago
  
  7eb4648f
May 31, 2018
- Enhancing FV icon and correcting bug on test sequence generation · 46a9e662
  apvrille authored 6 years ago
  
  46a9e662
May 30, 2018
- Removing debug trace · 0b12e4ce
  apvrille authored 6 years ago
  
  0b12e4ce
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 04, 2018
- Changing the graph package of location · 837a9e2c
  apvrille authored 7 years ago
  
  837a9e2c
Jan 11, 2018
- Another optimization of minimization · f0a68c73
  apvrille authored 7 years ago
  
  f0a68c73
- Resolving issue on minimization improvement. Furthur improvements are expected · bb032782
  apvrille authored 7 years ago
  
  bb032782
Jan 10, 2018
- Adding graphs saving support for minimization and test sequences · 612b9d62
  apvrille authored 7 years ago
  
  612b9d62
Aug 21, 2017
- Update on Test sequences generation · b89999da
  apvrille authored 7 years ago
  
  b89999da
Aug 18, 2017
- update on refusal graphs · 38f81a2e
  apvrille authored 7 years ago
  
  38f81a2e
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
Mar 29, 2017
- Update on BoolExpr evaluation: not yet available for avatar, just for testing · 0c5bb1e2
  apvrille authored 8 years ago
  
  0c5bb1e2
Jan 18, 2017
- Removing useless debug traces · 95ae6dc6
  apvrille authored 8 years ago
  
  95ae6dc6
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 graph management · bb793b2e
  Ludovic Apvrille authored 8 years ago
  
  bb793b2e
- Update on algo management · cb1f0ead
  apvrille authored 8 years ago
  
  cb1f0ead
- Update on minimization management · f8a87ef9
  apvrille authored 8 years ago
  
  f8a87ef9
Jan 06, 2017
- Update on block management in Graphs · 2c29f4e6
  Ludovic Apvrille authored 8 years ago
  
  2c29f4e6
- 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
Jan 05, 2017
- Update on graph minimization · a6aa6fff
  apvrille authored 8 years ago
  
  a6aa6fff
Jan 04, 2017
- Updating state management in avatar model checker · 43c42665
  apvrille authored 8 years ago
  
  43c42665
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
- Update on minimization · 1e295b11
  apvrille authored 8 years ago
  
  1e295b11
- Adding minimization. Before, it is currently buggy · 3849d056
  apvrille authored 8 years ago
  
  3849d056
Dec 08, 2016
- Update on rg management · 8fa0df02
  apvrille authored 8 years ago
  
  8fa0df02
- Update on rg management · 0be69e25
  apvrille authored 8 years ago
  
  0be69e25
Dec 07, 2016
- Adding rg in the left tree · e3657874
  apvrille authored 8 years ago
  
  e3657874
Dec 01, 2016
- Up on graph manag. · d549fae1
  apvrille authored 8 years ago
  
  d549fae1
Nov 30, 2016
- Update on graph access from avatar model check dialog · 4c6460d4
  apvrille authored 8 years ago
  
  4c6460d4