Commits · 076c4d2b3bd63e926c9a1b94e21f48ae2e910e6c · mbe-tools / TTool

May 13, 2020
- Revert "Merge branch 'alessandro_branch' into 'master'" · 076c4d2b
  Ludovic Apvrille authored 4 years ago
  
  This reverts merge request !325
  076c4d2b
May 11, 2020
- Finished the implementation of the model checker validator and of the associated tests · 4edaea66
  tempiaa authored 4 years ago
  
  4edaea66
May 07, 2020
- First version model-checker validator which validates internal verification results with UPPAAL · 9b20334e
  tempiaa authored 4 years ago
  
  9b20334e
Apr 30, 2020
- Better organization of graphic elements in model-checking window · 6f3c792a
  tempiaa authored 4 years ago
  
  6f3c792a
Apr 28, 2020
- Updated the documentation for the model-checker, cleaned attributes in SafetyProperty · 18eafdb8
  tempiaa authored 4 years ago
  
  18eafdb8
Apr 24, 2020
- Added non-computation state of property when not already computed · ef6420ba
  tempiaa authored 5 years ago
  
  ef6420ba
- 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
  
  Liveness update: liveness check extended to also StateMachineElements and not only StateElements. It supports only one check per time by now
  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
  
  Resolving the unswallow pb as well as adding a nice display button in the avatar model checker dialog window
  85099938
- Resolving the unswallow pb as well as adding a nice display button in the... · 3fa1cf76
  Ludovic Apvrille authored 6 years ago
  
  Resolving the unswallow pb as well as adding a nice display button in the avatar model checker dialog window
  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
  
  Updating how reachability and liveness are displayed in order to remove previous infos when making a new formal verif
  a3d75faa
Jan 18, 2018
- Adding the expansion of the graph subtree when a graph is added. Moreover,... · 52196cb4
  apvrille authored 7 years ago
  
  Adding the expansion of the graph subtree when a graph is added. Moreover, deleting a graph now deletes it from disk
  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