Commits · df26eedec6253c0b16f3856cda80b2fb31eb855a · mbe-tools / TTool

Apr 02, 2020
- Liveness update: liveness check extended to also StateMachineElements and not... · df26eede
  tempiaa authored 5 years ago
  df26eede
- First implementation of liveness check on one state for finite-states reachability graphs · 8f22b4f1
  tempiaa authored 5 years ago
  
  8f22b4f1
Mar 30, 2020
- Fix in time limit checkbox state · b2347b8f
  tempiaa authored 5 years ago
  
  b2347b8f
Mar 27, 2020
- Added a draft implementation of a time limited graph generation · 03b8c0b8
  tempiaa authored 5 years ago
  
  03b8c0b8
Mar 26, 2020
- few fixes for race conditions · 287c525c
  tempiaa authored 5 years ago
  
  287c525c
- Added code to limit the number of states in reachability graph creation · 486c72c5
  tempiaa authored 5 years ago
  
  486c72c5
Feb 06, 2020
- Update on testMC · 6e1772db
  Ludovic Apvrille authored 5 years ago
  
  6e1772db
Jan 25, 2019
- Update on composite states · 7a7cd69f
  Ludovic Apvrille authored 6 years ago
  
  7a7cd69f
Dec 20, 2018
- Update @param, @return and @throws description warnings (2nd part) · c01711fe
  Minh Hiep Pham authored 6 years ago
  
  c01711fe
Jun 21, 2018
- Removing useless system.out.println · 7eb4648f
  apvrille authored 6 years ago
  
  7eb4648f
Jun 19, 2018
- Adding directory method to C code generation plugin · 26013b36
  Ludovic Apvrille authored 6 years ago
  
  26013b36
Jun 14, 2018
- Resolving the unswallow pb as well as adding a nice display button in the... · 85099938
  Ludovic Apvrille authored 6 years ago
  85099938
- Resolving the unswallow pb as well as adding a nice display button in the... · 3fa1cf76
  Ludovic Apvrille authored 6 years ago
  3fa1cf76
Apr 04, 2018
- Changing the graph package of location · 837a9e2c
  apvrille authored 7 years ago
  
  837a9e2c
Feb 06, 2018
- Updating how reachability and liveness are displayed in order to remove... · a3d75faa
  apvrille authored 7 years ago
  a3d75faa
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