Commits · 6add33b4258955617c474a98b0de4901bc3d41a2 · mbe-tools / TTool · GitLab

Snippets Groups Projects

Apr 24, 2020
- Model-checker: memory heap footprint further reduced · 6add33b4
  tempiaa authored 5 years ago
  
  6add33b4
Apr 23, 2020
- Added support to also response pragmas (p-->q), improved the code · 9082ae63
  tempiaa authored 5 years ago
  
  9082ae63
Apr 22, 2020
- Added safety pragmas on states. Generalized liveness check as a safety check · febcc018
  tempiaa authored 5 years ago
  
  febcc018
Apr 16, 2020
- Code cleaning · 3e33b344
  tempiaa authored 5 years ago
  
  3e33b344
- First implementation of safety pragmas check · 804a311b
  tempiaa authored 5 years ago
  
  804a311b
Apr 15, 2020
- Started procedure to add safety pragmas check to the model-checker · 4b340dd9
  tempiaa authored 5 years ago
  
  4b340dd9
Apr 09, 2020
- Little speedup to loop check for liveness · c2ed1204
  tempiaa authored 5 years ago
  
  c2ed1204
Apr 03, 2020
- Now multiple liveness and reachability analyses are possible · ea524f78
  tempiaa authored 5 years ago
  
  ea524f78
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