Commits · cae905efbfdd3b651b3ef2229213ab2f7a2eb825 · mbe-tools / TTool

Jan 05, 2017
- Update readme · cae905ef
  Ludovic Apvrille authored 8 years ago
  
  cae905ef
- 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
- MulticoreCPU files · cf7a06bd
  Letitia Li authored 8 years ago
  
  cf7a06bd
Dec 20, 2016
- avatar drawpanel fix · ecb733d3
  Letitia Li authored 8 years ago
  
  ecb733d3
Dec 16, 2016
- Update on model checker handling of composite states · 2be82f6a
  apvrille authored 8 years ago
  
  2be82f6a
- Resolving bug on timer management · 25c782b2
  apvrille authored 8 years ago
  
  25c782b2
Dec 15, 2016
- Update on RG management · 52628953
  apvrille authored 8 years ago
  
  52628953
- update on build version: builder.txt · 4ab4b7e3
  apvrille authored 8 years ago
  
  4ab4b7e3
- Update on graph management · 10c10e25
  apvrille authored 8 years ago
  
  10c10e25
- update on build version: builder.txt · 0b92f7de
  apvrille authored 8 years ago
  
  0b92f7de
- resolving buf on fifos · bea6c7ff
  apvrille authored 8 years ago
  
  bea6c7ff
Dec 14, 2016
- Update on graph management · b15e39de
  apvrille authored 8 years ago
  
  b15e39de
Dec 13, 2016
- Update readme · 8819bb98
  Ludovic Apvrille authored 8 years ago
  
  8819bb98
- Generated design avatar fixes · 0650f3b6
  Letitia Li authored 8 years ago
  
  0650f3b6
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
- transition bug fix · ffb389c8
  Letitia Li authored 8 years ago
  
  ffb389c8
- Update GTURTLEModeling.java for bug fix · 011e0ae5
  Letitia Li authored 8 years ago
  
  011e0ae5
- Update on Makefile · 27b704ff
  apvrille authored 8 years ago
  
  27b704ff
- update on build version: builder.txt · 338e9ea4
  apvrille authored 8 years ago
  
  338e9ea4
- update on build version: builder.txt · b71bd12b
  apvrille authored 8 years ago
  
  b71bd12b
- update on build version: builder.txt · 30216555
  apvrille authored 8 years ago
  
  30216555
- update on build version: builder.txt · 7877d6a3
  apvrille authored 8 years ago
  
  7877d6a3
- update on build version: builder.txt · 44c3c12d
  apvrille authored 8 years ago
  
  44c3c12d
- Rearrange models in TTool · 7fe75958
  Ludovic Apvrille authored 8 years ago
  
  7fe75958
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