Commits · 8de9ac0db18ac33ee6c450142723cfdde8e7212d · mbe-tools / TTool

Dec 10, 2016
- Removing blank lines · 8de9ac0d
  Ludovic Apvrille authored 8 years ago
  
  8de9ac0d
Dec 09, 2016
- Excluded files + added graph jar for Eclipse · ba63b93c
  Dominique Blouin authored 8 years ago
  
  ba63b93c
- Update on minimization · 1e295b11
  apvrille authored 8 years ago
  
  1e295b11
- Adding minimization. Before, it is currently buggy · 3849d056
  apvrille authored 8 years ago
  
  3849d056
- update on build version: builder.txt · 268aaa32
  apvrille authored 8 years ago
  
  268aaa32
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
- Update on rg management · 0346c5ba
  apvrille authored 8 years ago
  
  0346c5ba
- Update on rg management · e1d7751c
  apvrille authored 8 years ago
  
  e1d7751c
- Update on graph management · a60fde23
  apvrille authored 8 years ago
  
  a60fde23
- update on build version: builder.txt · ed17ab31
  apvrille authored 8 years ago
  
  ed17ab31
Dec 07, 2016
- Adding rg in the left tree · e3657874
  apvrille authored 8 years ago
  
  e3657874
- modelsward paper start revision · 09cba1fb
  Letitia Li authored 8 years ago
  
  09cba1fb
- update on build version: builder.txt · c02d2f6a
  apvrille authored 8 years ago
  
  c02d2f6a
Dec 06, 2016
- update on build version: builder.txt · 715ec3ae
  apvrille authored 8 years ago
  
  715ec3ae
Dec 05, 2016
- Update on code logging · 329346f5
  Ludovic Apvrille authored 8 years ago
  
  329346f5
- Update on graph management · d41ede2f
  apvrille authored 8 years ago
  
  d41ede2f
- Added for Eclipse · e741a38d
  Dominique Blouin authored 8 years ago
  
  e741a38d
- Update on graph viz. · 75800b41
  apvrille authored 8 years ago
  
  75800b41
- Update on graph display · c4fffdc2
  apvrille authored 8 years ago
  
  c4fffdc2
Dec 02, 2016
- Improving graph disoplaying and resolving bug in RG generation · a8328674
  Ludovic Apvrille authored 8 years ago
  
  a8328674
- Update on graph viz. · eac317d5
  Ludovic Apvrille authored 8 years ago
  
  eac317d5
- Update on graph viz. · c335219a
  apvrille authored 8 years ago
  
  c335219a
- update on build version: builder.txt · 02d87b82
  apvrille authored 8 years ago
  
  02d87b82
Dec 01, 2016
- Up on graph manag. · d549fae1
  apvrille authored 8 years ago
  
  d549fae1
- update on build version: builder.txt · b2eace5c
  apvrille authored 8 years ago
  
  b2eace5c
- Update on modelchecking window management · 99f33f1f
  Ludovic Apvrille authored 8 years ago
  
  99f33f1f
- tooltiptext fix · f0e4d01e
  Letitia Li authored 8 years ago
  
  f0e4d01e
- update on build version: builder.txt · 29e666c6
  apvrille authored 8 years ago
  
  29e666c6
Nov 30, 2016
- Update on graph access from avatar model check dialog · 4c6460d4
  apvrille authored 8 years ago
  
  4c6460d4
- simulator fixes · b714c21e
  Letitia Li authored 8 years ago
  
  b714c21e
- update on build version: builder.txt · b309b7e7
  apvrille authored 8 years ago
  
  b309b7e7
Nov 29, 2016
- update on build version: builder.txt · 484f8742
  apvrille authored 8 years ago
  
  484f8742
- update on build version: builder.txt · f164881c
  apvrille authored 8 years ago
  
  f164881c
Nov 28, 2016
- Makefile · 895b4cfd
  Ludovic Apvrille authored 8 years ago
  
  895b4cfd
- Update on makefile generation · 549924a5
  apvrille authored 8 years ago
  
  549924a5
- Update on makefile generation · bdcd9d5c
  apvrille authored 8 years ago
  
  bdcd9d5c
- update on build version: builder.txt · e1f159e4
  apvrille authored 8 years ago
  
  e1f159e4
- update on build version: builder.txt · e31580c2
  apvrille authored 8 years ago
  
  e31580c2
- update on build version: builder.txt · 81f8f550
  apvrille authored 8 years ago
  
  81f8f550