Commits · c962146b8eb29404a658055395dec988323ea865 · mbe-tools / TTool

Sep 18, 2020
- Update modelsward2021 ebook model · 6887eddb
  apvrille authored 4 years ago
  
  6887eddb
Sep 17, 2020
- Added BFS/DFS choice, updated deadlock check on DFS · fc74a45f
  tempiaa authored 4 years ago
  
  fc74a45f
Aug 17, 2020
- Update on help, including avatar pragmas · 6192fcdc
  Ludovic Apvrille authored 4 years ago
  
  6192fcdc
Jul 23, 2020
- Exponential bounded model-checking for leadsTo pragmas to prove liveness... · 52be6228
  tempiaa authored 4 years ago
  
  Exponential bounded model-checking for leadsTo pragmas to prove liveness properties as soon as available. It allows to prove false properties in infinite graphs. Added stop and resume state space exploration methods
  52be6228
- Added states and transition information in the verification trace name · 59960744
  tempiaa authored 4 years ago
  
  59960744
Jul 22, 2020
- Added model-checker word size representation selection. Documentation update · 7e6b5062
  tempiaa authored 4 years ago
  
  7e6b5062
- Added cli options for reinitialization and internal action loop verification;... · 9ab6a8b3
  tempiaa authored 4 years ago
  
  Added cli options for reinitialization and internal action loop verification; added list of internal infinite loops in output
  9ab6a8b3
Jul 21, 2020
- Added verification traces to internal action loop study · a9aae936
  tempiaa authored 4 years ago
  
  a9aae936
Jul 13, 2020
- Internal action loop check primitive version · d0274825
  tempiaa authored 4 years ago
  
  d0274825
Jul 03, 2020
- Few changes in graphical representation and documentation · 18f8caa8
  tempiaa authored 4 years ago
  
  18f8caa8
Jul 02, 2020
- Separate AUT and Text traces selection and change in the layout, fix · e78d6cbc
  tempiaa authored 4 years ago
  
  e78d6cbc
Jun 25, 2020
- Tests on compression · d451d5ba
  tempiaa authored 4 years ago
  
  d451d5ba
- More optimization for memory · da69f175
  tempiaa authored 4 years ago
  
  da69f175
Jun 19, 2020
- Added documentation on counterexample traces · 5208327b
  tempiaa authored 4 years ago
  
  5208327b
Jun 18, 2020
- Added counterexample traces graphs generations. Displayable in the graphs section · 2b818055
  tempiaa authored 4 years ago
  
  2b818055
Jun 17, 2020
- New counterexample traces in AUT graph format · 7492b217
  tempiaa authored 4 years ago
  
  7492b217
- Added traces generation for deadlock check · d13f1892
  tempiaa authored 4 years ago
  
  d13f1892
Jun 11, 2020
- First easy implementation of counterexamples for safety pragmas · b038b7ae
  tempiaa authored 4 years ago
  
  b038b7ae
Jun 10, 2020
- Correct management of stopped analysis in model-checker. Solved a bug on empty... · f6d60df9
  tempiaa authored 4 years ago
  
  Correct management of stopped analysis in model-checker. Solved a bug on empty transitions sequences
  f6d60df9
Jun 08, 2020
- Adding other distribution laws for after clauses · 6cd33e4f
  Ludovic Apvrille authored 4 years ago
  
  6cd33e4f
May 19, 2020
- Added re-initialization check property in avatar model-checker · 34528859
  tempiaa authored 4 years ago
  
  34528859
May 15, 2020
- Removed unused GridBagConstraints · cde7c3ed
  tempiaa authored 4 years ago
  
  cde7c3ed
- Added safety pragma selection in model-checker verification window · 689db8f5
  tempiaa authored 4 years ago
  
  689db8f5
May 13, 2020
- Fixed warnings · e6dd15c8
  tempiaa authored 4 years ago
  
  e6dd15c8
- Model-checker to merge · 5b3f25ec
  tempiaa authored 4 years ago
  
  5b3f25ec
- Revert "Better organization of graphic elements in model-checking window" · 93fdff47
  Ludovic Apvrille authored 4 years ago
  
  This reverts commit 6f3c792a.
  93fdff47
- Revert "First version model-checker validator which validates internal... · 8e67fda6
  Ludovic Apvrille authored 4 years ago
  
  Revert "First version model-checker validator which validates internal verification results with UPPAAL" This reverts commit 9b20334e.
  8e67fda6
- Revert "Finished the implementation of the model checker validator and of the associated tests" · cbbcaab5
  Ludovic Apvrille authored 4 years ago
  
  This reverts commit 4edaea66.
  cbbcaab5
- 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 4 years ago
  
  ef6420ba
- Model-checker: memory heap footprint further reduced · 6add33b4
  tempiaa authored 4 years ago
  
  6add33b4
Apr 23, 2020
- Added support to also response pragmas (p-->q), improved the code · 9082ae63
  tempiaa authored 4 years ago
  
  9082ae63
Apr 22, 2020
- Added safety pragmas on states. Generalized liveness check as a safety check · febcc018
  tempiaa authored 4 years ago
  
  febcc018
Apr 16, 2020
- Code cleaning · 3e33b344
  tempiaa authored 4 years ago
  
  3e33b344
- First implementation of safety pragmas check · 804a311b
  tempiaa authored 4 years ago
  
  804a311b
Apr 15, 2020
- Started procedure to add safety pragmas check to the model-checker · 4b340dd9
  tempiaa authored 4 years ago
  
  4b340dd9