Commits · 8b43ef8255931d4d18ff4c376d2073ecfd017c3a · mbe-tools / TTool

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
- Adding execRaw for passing string with spaces to plugins via command line · 13b472e1
  Ludovic Apvrille authored 4 years ago
  
  13b472e1
Jun 15, 2020
- Update on TTool action: select panel by name · 5c8a7e75
  Ludovic Apvrille authored 4 years ago
  
  5c8a7e75
Jun 12, 2020
- Update on dev doc and plugins · a91d7333
  Ludovic Apvrille authored 4 years ago
  
  a91d7333
- Adding new batik libs - Update on plugins · 4a43508f
  Ludovic Apvrille authored 4 years ago
  
  4a43508f
- Update on plugins: doc and co. Still to implement: custom commands · f6ae688d
  Ludovic Apvrille authored 4 years ago
  
  f6ae688d
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 04, 2020
- Update of simu for AQUAS final demo · e3339247
  Ludovic Apvrille authored 4 years ago
  
  e3339247
Jun 03, 2020
- Update on simulationscript for AQUAS' · 4d014e20
  Ludovic Apvrille authored 4 years ago
  
  '
  4d014e20
- Update on test on Z3 · c2f08bd5
  Ludovic Apvrille authored 4 years ago
  
  c2f08bd5
- Updating avatar model checker documentation · 0e7b787a
  Ludovic Apvrille authored 4 years ago
  
  0e7b787a
Jun 02, 2020
- Adding simulator script · 07ceba31
  Ludovic Apvrille authored 4 years ago
  
  07ceba31
- 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

Added cli single pragma query for model-checker. Changed cli avatar-rg layout and flags. Solved a bug in the interpreter. Solved a possible null pointer exp in AvatarExpressionAttribute. Added test for single pragma query. Added rg generation during property study.

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
  
  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 27, 2020
- Added tests for model-checker · 2e0589ae
  tempiaa authored 4 years ago
  
  2e0589ae
Apr 15, 2020
- Started procedure to add safety pragmas check to the model-checker · 4b340dd9
  tempiaa authored 4 years ago
  
  4b340dd9
Apr 10, 2020
- Added model-checker tests for liveness, reachability and state limit · 0f216ff3
  tempiaa authored 4 years ago
  
  0f216ff3
Apr 09, 2020
- Added command line parameters for model-checker options · 0fd4d500
  tempiaa authored 4 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 31, 2020
- Update on BF · dc434cfc
  apvrille authored 5 years ago
  
  dc434cfc
Jan 30, 2020
- Managing Matteo BF · 48992297
  apvrille authored 5 years ago
  
  48992297
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
- Adding CLIBF scripts · df9c7697
  Ludovic Apvrille authored 5 years ago
  
  df9c7697
Jan 23, 2020
- Adding BFTask · 2c332ef5
  Ludovic Apvrille authored 5 years ago
  
  2c332ef5