Commits · 4f9b4cef5522d9ccbf9cedc7b92b0d9acd711a05 · mbe-tools / TTool

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 03, 2020
- add run until read/write channel access · f87f0b95
  Le Van Truong authored 4 years ago
  
  f87f0b95
- Update on test on Z3 · c2f08bd5
  Ludovic Apvrille authored 4 years ago
  
  c2f08bd5
May 28, 2020
- Adding gaussian distribution law to time intervals · b1af8e50
  Ludovic Apvrille authored 4 years ago
  
  b1af8e50
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 "New test added. Changed folder configuration" · 7ecf059d
  Ludovic Apvrille authored 4 years ago
  
  This reverts commit 4af9c8c5.
  7ecf059d
- Revert "Merge branch 'alessandro_branch' into 'master'" · 076c4d2b
  Ludovic Apvrille authored 4 years ago
  
  This reverts merge request !325
  076c4d2b
May 12, 2020
- New test added. Changed folder configuration · 4af9c8c5
  tempiaa authored 4 years ago
  
  4af9c8c5
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 29, 2020
- More expression solver tests · 8a2db960
  tempiaa authored 4 years ago
  
  8a2db960
- Test for Expression Solver plus fixes · 2b471ac8
  tempiaa authored 4 years ago
  
  2b471ac8
Apr 27, 2020
- Added tests for model-checker · 2e0589ae
  tempiaa authored 4 years ago
  
  2e0589ae
Apr 10, 2020
- Added model-checker tests for liveness, reachability and state limit · 0f216ff3
  tempiaa authored 4 years ago
  
  0f216ff3
Apr 06, 2020
- modify and add general commands test for TTool · 4d7eaa7a
  Le Van Truong authored 4 years ago
  
  4d7eaa7a
Mar 23, 2020
- add progress bar · c0760ff5
  maysam zoor authored 5 years ago
  
  c0760ff5
Mar 20, 2020
- Adding test for modelchecker · 6daf467b
  Ludovic Apvrille authored 5 years ago
  
  6daf467b
Mar 19, 2020
- Issue #255 Bug on daemon task: the simulation should last much longer · e72b8243
  Le Van Truong authored 5 years ago
  
  e72b8243
Mar 18, 2020
- update functions · 67beea54
  maysam zoor authored 5 years ago
  
  67beea54
Mar 12, 2020
- add remove transactions to Avatar model and add test for comparing remove transacions · 4d19f633
  Le Van Truong authored 5 years ago
  
  4d19f633
Mar 11, 2020
- Update on test for XML generation from TML diag · 19b8430d
  Ludovic Apvrille authored 5 years ago
  
  19b8430d
Mar 07, 2020
- update · df507e7c
  maysam zoor authored 5 years ago
  
  df507e7c
- update · 0a16262b
  maysam zoor authored 5 years ago
  
  0a16262b
- updating MainGUI and adding main class for latency detailed analysis · 1191f732
  maysam zoor authored 5 years ago
  
  1191f732
Mar 06, 2020
- update package name · c02a67f4
  maysam zoor authored 5 years ago
  
  c02a67f4
- remove comments · 147d9732
  maysam zoor authored 5 years ago
  
  147d9732
Mar 05, 2020
- modify coding convention · 469608d1
  Le Van Truong authored 5 years ago
  
  469608d1
- Modify coding convention · a002cf0c
  Le Van Truong authored 5 years ago
  
  a002cf0c
- compare remove all transactions by text output · 0e05af56
  Le Van Truong authored 5 years ago
  
  0e05af56
- remove redundant file · 7505fe7a
  Le Van Truong authored 5 years ago
  
  7505fe7a
- add remove all transactions test · 49410fe7
  Le Van Truong authored 5 years ago
  
  49410fe7
- -updating Latency Detailed analysis and adding compare function for 2 · fe939cc6
  maysam zoor authored 5 years ago
  
  latency detailed analysis
  fe939cc6
Mar 04, 2020
- add test for remove all transactions · ca99c881
  Le Van Truong authored 5 years ago
  
  ca99c881
Feb 27, 2020
- Issue #251 Adding a getAllTransactionsOfTask <String taskName> · e2c44680
  Le Van Truong authored 5 years ago
  
  e2c44680
Feb 26, 2020
- update on enhancing HTML traces · 5c607264
  Le Van Truong authored 5 years ago
  
  5c607264
Feb 25, 2020
- Revert "back up for list all transaction" · 8361cdd0
  Le Van Truong authored 5 years ago
  
  This reverts commit 2183e1ad.
  8361cdd0