Commits · 70d3a3e26b48c55d172ab154687d3178b325a471 · mbe-tools / TTool

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
Sep 12, 2016
- Adding views facilities · 25da03b4
  Ludovic Apvrille authored 8 years ago
  
  25da03b4
Sep 07, 2016
- VEDECOM vehicle model · 430a98a7
  Letitia Li authored 8 years ago
  
  430a98a7
Aug 24, 2016
- cluster VGMN and VGSB · 3913e558
  Daniela Genius authored 8 years ago
  
  3913e558
Aug 23, 2016
- Resolving bug on UPPAAL generation from TML app · 35ebe139
  Ludovic Apvrille authored 8 years ago
  
  35ebe139
Aug 04, 2016
- Update on TTool avatar modelc checker · 7c04a284
  Ludovic Apvrille authored 8 years ago
  
  7c04a284
Aug 02, 2016
- Update suggested by Dominique · 83560e6c
  Ludovic Apvrille authored 8 years ago
  
  83560e6c
- bugfix syncchannels · 3762e87f
  Daniela Genius authored 8 years ago
  
  3762e87f
- major bugfix mwmr channel · 905800f3
  Daniela Genius authored 8 years ago
  
  905800f3
Jul 06, 2016
- Update on model checker · b42622e3
  Ludovic Apvrille authored 8 years ago
  
  b42622e3
Jul 05, 2016
- init_status · 68518db2
  Daniela Genius authored 8 years ago
  
  68518db2
- Update on TTool -> Bug on model checker · 8efc5ce9
  Ludovic Apvrille authored 8 years ago
  
  8efc5ce9
Jun 23, 2016
- Update on avatar modelc checker · 45142b88
  Ludovic Apvrille authored 8 years ago
  
  45142b88
Jun 17, 2016
- Update on model checker optimization · 814e02be
  Ludovic Apvrille authored 8 years ago
  
  814e02be
Jun 15, 2016
- Adding removal of fifo: update · d7afb782
  Ludovic Apvrille authored 8 years ago
  
  d7afb782
Jun 14, 2016
- Updating avatar model · 608561bf
  Ludovic Apvrille authored 8 years ago
  
  608561bf
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
- Update on model checker after avatar clone : seems to work · 99bd46f4
  Ludovic Apvrille authored 8 years ago
  
  99bd46f4
- Resolving bug on action on signal when cloning. A bug on the usage of signals... · f77519d3
  Ludovic Apvrille authored 8 years ago
  
  Resolving bug on action on signal when cloning. A bug on the usage of signals of father is still there
  f77519d3
- Modifying basicCloneMe · 467ec7ab
  Ludovic Apvrille authored 8 years ago
  
  467ec7ab
- Modifying basicCloneMe · d5e4746d
  Ludovic Apvrille authored 8 years ago
  
  d5e4746d
- Resolving bug on model checking · c1a1348f
  Ludovic Apvrille authored 8 years ago
  
  c1a1348f
- Update on TTool model checker · 852685e7
  Ludovic Apvrille authored 8 years ago
  
  852685e7
Jun 10, 2016
- Update on information for avatar model checker · a87e8994
  Ludovic Apvrille authored 8 years ago
  
  a87e8994
- Updating graph saving · 0e90ecbf
  Ludovic Apvrille authored 8 years ago
  
  0e90ecbf
Jun 08, 2016
- Update on infor to users in avatar model checker · fa0d18f1
  Ludovic Apvrille authored 8 years ago
  
  fa0d18f1
- Update on infor to users in avatar model checker · 3d93cc48
  Ludovic Apvrille authored 8 years ago
  
  3d93cc48
Jun 07, 2016
- Reachability: resolving the case where states were removed · 87728bdc
  Ludovic Apvrille authored 8 years ago
  
  87728bdc
- Resolving bug on method call in transitions for avatar model checker · 25622152
  Ludovic Apvrille authored 8 years ago
  
  25622152
- 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
- Resolving livelock bug on empty transitions · fea1467f
  Ludovic Apvrille authored 8 years ago
  
  fea1467f
Jun 06, 2016
- Avatar Model Checker: adding optimization on empty transitions · 55787f4f
  Ludovic Apvrille authored 8 years ago
  
  55787f4f
- Avatar Model Checker: adding optimization on empty transitions · c14f6a99
  Ludovic Apvrille authored 8 years ago
  
  c14f6a99
Jun 03, 2016
- Avatar Model Checker: seems to work find. First optimizations · fb9d8f23
  Ludovic Apvrille authored 8 years ago
  
  fb9d8f23
- Avatar Model Checker: seems to work find. First optimizations · 73bf18d0
  Ludovic Apvrille authored 8 years ago
  
  73bf18d0