Commits · b7be64c59f0f0b203b71ffae2302f3aea027232c · mbe-tools / TTool

Mar 29, 2023
- cli.CLIAvatarModelCheckerTest.testAdvancedRandom is now ok · b7be64c5
  Ludovic Apvrille authored 2 years ago
  
  b7be64c5
Jun 23, 2022
- Update on test after op naming change in Avatar · 0082550c
  Ludovic Apvrille authored 2 years ago
  
  0082550c
- Resolving bug on test due to change of naming · fff34d6d
  Ludovic Apvrille authored 2 years ago
  
  fff34d6d
Apr 07, 2022
- Update on tests · 94383e41
  Ludovic Apvrille authored 3 years ago
  
  94383e41
- Update on tests · e84b7a5f
  Ludovic Apvrille authored 3 years ago
  
  e84b7a5f
Mar 01, 2022
- Adding test for the remove time operator test · c1afb8d6
  Ludovic Apvrille authored 3 years ago
  
  c1afb8d6
Mar 31, 2021
- Update on test for modelchecker · 0c047055
  Ludovic Apvrille authored 4 years ago
  
  0c047055
Feb 24, 2021
- Update on CLIT test · 10c793bc
  apvrille authored 4 years ago
  
  10c793bc
Feb 04, 2021
- Update on test for model-checking · fa085610
  apvrille authored 4 years ago
  
  fa085610
- Update on test · cb66ad61
  apvrille authored 4 years ago
  
  cb66ad61
- Update on TTool test · 6cd3bd42
  Ludovic Apvrille authored 4 years ago
  
  6cd3bd42
Feb 02, 2021
- Adding test for diplo to avatar · 9333e790
  Ludovic Apvrille authored 4 years ago
  
  9333e790
Dec 10, 2020
- Draw vertical line for timeline diagram · 196310ac
  Le Van Truong authored 4 years ago
  
  196310ac
Dec 01, 2020
- Resolving bug on random in model checker of avatar and test for this · eb693975
  Ludovic Apvrille authored 4 years ago
  
  eb693975
Jul 03, 2020
- Constants removal in out signal communication · b130d414
  tempiaa authored 4 years ago
  
  b130d414
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 "New test added. Changed folder configuration" · 7ecf059d
  Ludovic Apvrille authored 4 years ago
  7ecf059d
- Revert "Merge branch 'alessandro_branch' into 'master'" · 076c4d2b
  Ludovic Apvrille authored 4 years ago
  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 5 years ago
  
  9b20334e
Apr 27, 2020
- Added tests for model-checker · 2e0589ae
  tempiaa authored 5 years ago
  
  2e0589ae
Apr 10, 2020
- Added model-checker tests for liveness, reachability and state limit · 0f216ff3
  tempiaa authored 5 years ago
  
  0f216ff3
Mar 20, 2020
- Adding test for modelchecker · 6daf467b
  Ludovic Apvrille authored 5 years ago
  
  6daf467b
Mar 01, 2019
- Adding Help Window · 120521b1
  apvrille authored 6 years ago
  
  120521b1
- Help manager with tests · 396bf465
  apvrille authored 6 years ago
  
  396bf465
Jul 04, 2017
- Update on plugins · 885c1e23
  apvrille authored 7 years ago
  
  885c1e23
May 24, 2017
- Update on TTool plugin · a429b778
  apvrille authored 7 years ago
  
  a429b778
May 23, 2017
- Very first plugin structure · 71f266e6
  Ludovic Apvrille authored 7 years ago
  
  71f266e6
Sep 06, 2010
- ProVerif: code generation from Avatar diagrams: first sketch · 52670c11
  Ludovic Apvrille authored 14 years ago
  
  52670c11
Nov 14, 2008
- New files for Network calculus · 9bb70fb4
  Ludovic Apvrille authored 16 years ago
  
  9bb70fb4
Jul 16, 2008
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339