Commits · ea8ce19c1060bb679d48b199741d9bfc44c77e29 · mbe-tools / TTool · GitLab

Snippets Groups Projects

Feb 23, 2023
- Improving help formatting · ea8ce19c
  Ludovic Apvrille authored 2 years ago
  
  ea8ce19c
Sep 05, 2022
- Adding a new command for executing a batch of mutations from a file · 86ce2b81
  Bastien Sultan authored 2 years ago
  
  86ce2b81
Jul 13, 2022
- Mutation Exceptions · 86ca568a
  Leon Frenot authored 2 years ago
  
  86ca568a
Jul 08, 2022
- Adding actions for avatar spec mutation, printing, drawing · dec40961
  Ludovic Apvrille authored 2 years ago
  
  dec40961
Apr 06, 2022
- Update on CLI interpreter and test on diplo to avatar · df051479
  Ludovic Apvrille authored 3 years ago
  
  df051479
Mar 15, 2022
- Adding exception management in drawing TML · 06524a41
  Ludovic Apvrille authored 3 years ago
  
  06524a41
Mar 14, 2022
- First script to allow draw TML spec from TTool script · 468df6c8
  Ludovic Apvrille authored 3 years ago
  
  468df6c8
- First script to allow draw TML spec from TTool script · 1c73af52
  Ludovic Apvrille authored 3 years ago
  
  1c73af52
Mar 01, 2022
- Adding test for the remove time operator test · c1afb8d6
  Ludovic Apvrille authored 3 years ago
  
  c1afb8d6
Apr 20, 2021
- Update on simulator: adding simulation of trace, still totally buggy. cli for avatar simulator · 35e6dee2
  Ludovic Apvrille authored 4 years ago
  
  35e6dee2
Mar 29, 2021
- Update on safety prag backtracing · 8daa5352
  Ludovic Apvrille authored 4 years ago
  
  8daa5352
Feb 02, 2021
- Adding test for diplo to avatar · 9333e790
  Ludovic Apvrille authored 4 years ago
  
  9333e790
Jan 08, 2021
- Adding histogram for simulation times · b6879685
  Ludovic Apvrille authored 4 years ago
  
  b6879685
Sep 17, 2020
- Added BFS/DFS choice, updated deadlock check on DFS · fc74a45f
  tempiaa authored 4 years ago
  
  fc74a45f
Sep 07, 2020
- Resolving pb in test · 6939b4a3
  apvrille authored 4 years ago
  
  6939b4a3
Jul 22, 2020
- Added cli options for reinitialization and internal action loop verification;... · 9ab6a8b3
  tempiaa authored 4 years ago
  9ab6a8b3
Jul 03, 2020
- Fix on CLI condition · 8b43ef82
  tempiaa authored 4 years ago
  
  8b43ef82
- Few changes in graphical representation and documentation · 18f8caa8
  tempiaa authored 4 years ago
  
  18f8caa8
Jul 01, 2020
- Patch, exaustive loop search inserted for non trivial counterexamples · bbe4e213
  tempiaa authored 4 years ago
  
  bbe4e213
Jun 17, 2020
- New counterexample traces in AUT graph format · 7492b217
  tempiaa authored 4 years ago
  
  7492b217
- Rsolving bug on tab renaming · 30a023b5
  Ludovic Apvrille authored 4 years ago
  
  30a023b5
- Update on plugin management: exec-raw · b50a1c56
  Ludovic Apvrille authored 4 years ago
  
  b50a1c56
Jun 16, 2020
- Added CLI option for counterexample traces generation · aaaf98ed
  tempiaa authored 4 years ago
  
  aaaf98ed
Jun 15, 2020
- Update on TTool action: select panel by name · 5c8a7e75
  Ludovic Apvrille authored 4 years ago
  
  5c8a7e75
Jun 09, 2020
- Reinforcing test on empty models · 4f9b4cef
  Ludovic Apvrille authored 4 years ago
  
  4f9b4cef
- Adding test on file manipulation from cli · 80e0ef85
  Ludovic Apvrille authored 4 years ago
  
  80e0ef85
Jun 02, 2020
- Solved fallthrough · 359020e7
  tempiaa authored 4 years ago
  
  359020e7
May 28, 2020
- Better code, added concurrency option in CLI · 6d2b1d2c
  tempiaa authored 4 years ago
  
  6d2b1d2c
May 14, 2020
- Added cli single pragma query for model-checker. Changed cli avatar-rg layout... · 2dd45eb7
  tempiaa authored 4 years ago
  2dd45eb7
May 13, 2020
- Model-checker to merge · 5b3f25ec
  tempiaa authored 4 years ago
  
  5b3f25ec
- Revert "First version model-checker validator which validates internal... · 8e67fda6
  Ludovic Apvrille authored 4 years ago
  8e67fda6
- Revert "Finished the implementation of the model checker validator and of the associated tests" · cbbcaab5
  Ludovic Apvrille authored 4 years ago
  cbbcaab5
- Revert "Merge branch 'alessandro_branch' into 'master'" · 076c4d2b
  Ludovic Apvrille authored 4 years ago
  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 27, 2020
- Added tests for model-checker · 2e0589ae
  tempiaa authored 5 years ago
  
  2e0589ae
Apr 15, 2020
- Started procedure to add safety pragmas check to the model-checker · 4b340dd9
  tempiaa authored 5 years ago
  
  4b340dd9
Apr 10, 2020
- Added model-checker tests for liveness, reachability and state limit · 0f216ff3
  tempiaa authored 5 years ago
  
  0f216ff3
Apr 09, 2020
- Added command line parameters for model-checker options · 0fd4d500
  tempiaa authored 5 years ago
  
  0fd4d500
Mar 20, 2020
- Adding test for modelchecker · 6daf467b
  Ludovic Apvrille authored 5 years ago
  
  6daf467b