Commits · a394d0abbc101f6ad4a5f5a4452ec9450c562b22 · mbe-tools / TTool

Jan 05, 2017
- Update on graph minimization · a6aa6fff
  apvrille authored 8 years ago
  
  a6aa6fff
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 10, 2016
- Update on action management · 8fa11c6e
  Ludovic Apvrille authored 8 years ago
  
  8fa11c6e
Oct 07, 2016
- Slight up on TTool · d6a3c705
  Ludovic Apvrille authored 8 years ago
  
  d6a3c705
Sep 22, 2016
- Update on windows management for liveness avatar model checker · 110d8889
  Ludovic Apvrille authored 8 years ago
  
  110d8889
- Update on avatar mc state management · b9e40713
  Ludovic Apvrille authored 8 years ago
  
  b9e40713
- Update on avatar mc state management · c1e9ecb6
  Ludovic Apvrille authored 8 years ago
  
  c1e9ecb6
Sep 21, 2016
- Update on avatar mc state management · 5de441e8
  Ludovic Apvrille authored 8 years ago
  
  5de441e8
Sep 20, 2016
- Update on attack tree translation · 8240ab51
  Ludovic Apvrille authored 8 years ago
  
  8240ab51
Sep 16, 2016
- Update on accessibility computing · 70d3a3e2
  Ludovic Apvrille authored 8 years ago
  
  70d3a3e2
Sep 15, 2016
- Update on mc code: bug on clock manipulation · e8480c09
  Ludovic Apvrille authored 8 years ago
  
  e8480c09
Sep 14, 2016
- Resolving bug on min/max on clocks in avatar model checker · c7cabfd2
  Ludovic Apvrille authored 8 years ago
  
  c7cabfd2
Sep 13, 2016
- Update on modeling for testing the avatar model checker · 16c3c073
  Ludovic Apvrille authored 8 years ago
  
  16c3c073