Commits · aaaf98ed561cd893a88b794272304478584e17d5 · mbe-tools / TTool

Jun 16, 2020
- Added CLI option for counterexample traces generation · aaaf98ed
  tempiaa authored 4 years ago
  
  aaaf98ed
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
Mar 18, 2020
- Adding script for avatar model checking · f59cc1f0
  Ludovic Apvrille authored 5 years ago
  
  f59cc1f0
Jan 28, 2020
- Update on bf · 0ccb2603
  apvrille authored 5 years ago
  
  0ccb2603
Jan 27, 2020
- update on BF and adding action resize · 63c56b43
  apvrille authored 5 years ago
  
  63c56b43
Jul 04, 2019
- Update on TaskINForVC by Frederic Giroudot · 6c096042
  Ludovic Apvrille authored 5 years ago
  
  6c096042
Apr 12, 2019
- Update on cli help · 6884ee1e
  Ludovic Apvrille authored 6 years ago
  
  6884ee1e
- Resolving bug on empty transition handling · 00c7fccd
  Ludovic Apvrille authored 6 years ago
  
  00c7fccd
Feb 26, 2019
- Update on MainGUI · 3d0a5cc7
  Ludovic Apvrille authored 6 years ago
  
  3d0a5cc7
Nov 19, 2018
- Update on cli · 91f33dbe
  Ludovic Apvrille authored 6 years ago
  
  91f33dbe
Nov 12, 2018
- Update on jdialognote button and on sig/evt info in activity diag · 9fd701e3
  Ludovic Apvrille authored 6 years ago
  
  9fd701e3
Oct 26, 2018
- Update on cli · c922853f
  apvrille authored 6 years ago
  
  c922853f
Oct 25, 2018
- Update on TTool CLI · 51a4916e
  apvrille authored 6 years ago
  
  51a4916e
- update on TTool CLI · 37a6d8e1
  Ludovic Apvrille authored 6 years ago
  
  37a6d8e1
Oct 22, 2018
- Update on cli · 24c487e2
  Ludovic Apvrille authored 6 years ago
  
  24c487e2
Oct 05, 2018
- Update on CLI for TTool · de266513
  Ludovic Apvrille authored 6 years ago
  
  de266513
May 15, 2018
- Switching to old src files before the merge with LIP6 · ad6b2dbd
  Ludovic Apvrille authored 6 years ago
  
  ad6b2dbd
- Rebasing before SystemCAMS · bbbb2549
  Ludovic Apvrille authored 6 years ago
  
  bbbb2549
May 09, 2018
- sources par irina · 65dc38d8
  Daniela GENIUS authored 6 years ago
  
  65dc38d8
Jun 16, 2017
- automatically corrected copyright to be normal multiline comments · fb7ec410
  Florian Lugou authored 7 years ago
  
  fb7ec410
Jun 15, 2017
- Manualy fixed some typography problems to prepare for automatic copyright correction · 9f3a12f1
  Florian Lugou authored 7 years ago
  
  9f3a12f1
Jun 09, 2017
- Gradle Setup · bdfe1c5a
  Florian Lugou authored 7 years ago
  
  bdfe1c5a
Jul 16, 2008
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339