Commits · 0725100aa298e0b827f79666edeaaf801ece85d5 · mbe-tools / TTool

Jan 18, 2018
- Adding the expansion of the graph subtree when a graph is added. Moreover,... · 52196cb4
  apvrille authored 7 years ago
  52196cb4
Jan 10, 2018
- Adding graphs saving support for minimization and test sequences · 612b9d62
  apvrille authored 7 years ago
  
  612b9d62
Dec 07, 2017
- Update on model checking window (avatar) · 1e10d414
  Ludovic Apvrille authored 7 years ago and Fabien Tessier committed 7 years ago
  
  1e10d414
Oct 11, 2017
- Update on model checking window (avatar) · c2435afc
  Ludovic Apvrille authored 7 years ago
  
  c2435afc
Oct 05, 2017
- Resolving bug on shown time in RG generation window · 824da563
  Ludovic Apvrille authored 7 years ago
  
  824da563
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 30, 2017
- Issue #41 : Ordering of tabbed panes · 37309001
  Dominique Blouin authored 7 years ago
  
  37309001
Mar 29, 2017
- Update on BoolExpr evaluation: not yet available for avatar, just for testing · 0c5bb1e2
  apvrille authored 8 years ago
  
  0c5bb1e2
Feb 21, 2017
- activating internal model checker · 2e6277ec
  Ludovic Apvrille authored 8 years ago
  
  2e6277ec
Jan 18, 2017
- Removing useless debug traces · 95ae6dc6
  apvrille authored 8 years ago
  
  95ae6dc6
Jan 17, 2017
- Adding shortcut for avatar design generation · 272759f0
  apvrille authored 8 years ago
  
  272759f0
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 08, 2016
- Update on rg management · 0be69e25
  apvrille authored 8 years ago
  
  0be69e25
- Update on rg management · 0346c5ba
  apvrille authored 8 years ago
  
  0346c5ba
- Update on graph management · a60fde23
  apvrille authored 8 years ago
  
  a60fde23
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
- Update on modelchecking window management · 99f33f1f
  Ludovic Apvrille authored 8 years ago
  
  99f33f1f
Nov 30, 2016
- Update on graph access from avatar model check dialog · 4c6460d4
  apvrille authored 8 years ago
  
  4c6460d4
Oct 16, 2016
- Update on generated design · 663ae24d
  Ludovic Apvrille authored 8 years ago
  
  663ae24d
Oct 13, 2016
- drawpanel casting fix · 9d678d63
  Letitia Li authored 8 years ago
  
  9d678d63
Oct 11, 2016
- Update on FIFO model checker management · eaad7d66
  Ludovic Apvrille authored 8 years ago
  
  eaad7d66
Oct 06, 2016
- Update on TTool code · a6a84d00
  Ludovic Apvrille authored 8 years ago
  
  a6a84d00
Sep 22, 2016
- Update on windows management for liveness avatar model checker · 110d8889
  Ludovic Apvrille authored 8 years ago
  
  110d8889
Sep 21, 2016
- Update on avatar model checker · 8fb5cc5b
  Ludovic Apvrille authored 8 years ago
  
  8fb5cc5b
Sep 20, 2016
- Update on model checker backtracing · ddc65eae
  Ludovic Apvrille authored 8 years ago
  
  ddc65eae
Jun 13, 2016
- Update on av model checker gui · bb3a2ec9
  Ludovic Apvrille authored 8 years ago
  
  bb3a2ec9
- Update on avatar model checker gui · 02154ab1
  Ludovic Apvrille authored 8 years ago
  
  02154ab1
- Resolving bug on model checking · fd688f66
  Ludovic Apvrille authored 8 years ago
  
  fd688f66
Jun 10, 2016
- Update on information for avatar model checker · a87e8994
  Ludovic Apvrille authored 8 years ago
  
  a87e8994
- adding deadlock and reacha info · e014db24
  Ludovic Apvrille authored 8 years ago
  
  e014db24
Jun 08, 2016
- Update on infor to users in avatar model checker · 3d93cc48
  Ludovic Apvrille authored 8 years ago
  
  3d93cc48
- Update on time info · 980f2a96
  Ludovic Apvrille authored 8 years ago
  
  980f2a96
Jun 07, 2016
- Resolving livelock bug on empty transition · cf43a600
  Ludovic Apvrille authored 8 years ago
  
  cf43a600
- Resolving livelock bug on empty transition · 36d27688
  Ludovic Apvrille authored 8 years ago
  
  36d27688
Jun 06, 2016
- Avatar Model Checker: adding optimization on empty transitions · 55787f4f
  Ludovic Apvrille authored 8 years ago
  
  55787f4f