Commits · 7ecf059d5aac939c771e98219462d90d14c63a3b · mbe-tools / TTool

May 13, 2020
- Revert "New test added. Changed folder configuration" · 7ecf059d
  Ludovic Apvrille authored 4 years ago
  
  This reverts commit 4af9c8c5.
  7ecf059d
- Resolcing merge pb · 2d1e5151
  Ludovic Apvrille authored 4 years ago
  
  2d1e5151
- Revert "Translated String strip to trim for java 8 compatibility" · 49ee410a
  Ludovic Apvrille authored 4 years ago
  
  This reverts commit 6a134982.
  49ee410a
- Add ExpressionSolver · 3cfbd5b1
  Ludovic Apvrille authored 4 years ago
  
  3cfbd5b1
- update on build version: build.txt · b1760878
  Ludovic Apvrille authored 4 years ago
  
  b1760878
- update on build version: build.txt · df87c38b
  Ludovic Apvrille authored 4 years ago
  
  df87c38b
- Translated String strip to trim for java 8 compatibility · 6a134982
  tempiaa authored 4 years ago
  
  6a134982
- Merge branch 'revert-883077ef ' into 'master' · 2a44a34b
  Ludovic Apvrille authored 4 years ago
  
  Modify and add general commands test for TTool See merge request !324
  2a44a34b
- Merge branch 'revert-191387a4 ' into 'master' · 4cc23452
  Ludovic Apvrille authored 4 years ago
  
  Revert "Merge branch 'alessandro_branch' into 'master'" See merge request !326
  4cc23452
- Revert "Merge branch 'alessandro_branch' into 'master'" · 076c4d2b
  Ludovic Apvrille authored 4 years ago
  
  This reverts merge request !325
  076c4d2b
- Merge branch 'alessandro_branch' into 'master' · 191387a4
  Ludovic Apvrille authored 4 years ago
  
  Avatar model-checker improvements See merge request !325
  191387a4
- update on build version: build.txt · 8d683b32
  Ludovic Apvrille authored 4 years ago
  
  8d683b32
May 12, 2020
- New test added. Changed folder configuration · 4af9c8c5
  tempiaa authored 4 years ago
  
  4af9c8c5
- update on build version: build.txt · 81e4dce6
  Ludovic Apvrille authored 4 years ago
  
  81e4dce6
May 11, 2020
- Finished the implementation of the model checker validator and of the associated tests · 4edaea66
  tempiaa authored 4 years ago
  
  4edaea66
- update on build version: build.txt · dba27f12
  Ludovic Apvrille authored 4 years ago
  
  dba27f12
May 10, 2020
- update on build version: build.txt · 856b81a0
  Ludovic Apvrille authored 4 years ago
  
  856b81a0
May 09, 2020
- update on build version: build.txt · 7585026e
  Ludovic Apvrille authored 4 years ago
  
  7585026e
May 08, 2020
- update on build version: build.txt · ab9b1afe
  Ludovic Apvrille authored 4 years ago
  
  ab9b1afe
May 07, 2020
- First version model-checker validator which validates internal verification results with UPPAAL · 9b20334e
  tempiaa authored 4 years ago
  
  9b20334e
- update on build version: build.txt · f8969c74
  Ludovic Apvrille authored 4 years ago
  
  f8969c74
May 06, 2020
- update on build version: build.txt · 1c2c62a3
  Ludovic Apvrille authored 4 years ago
  
  1c2c62a3
May 05, 2020
- update on build version: build.txt · 73b0ed36
  Ludovic Apvrille authored 4 years ago
  
  73b0ed36
May 04, 2020
- update on build version: build.txt · 7f74da9d
  Ludovic Apvrille authored 4 years ago
  
  7f74da9d
May 03, 2020
- update on build version: build.txt · 257b73a1
  Ludovic Apvrille authored 4 years ago
  
  257b73a1
May 02, 2020
- update on build version: build.txt · 76db450f
  Ludovic Apvrille authored 4 years ago
  
  76db450f
May 01, 2020
- update on build version: build.txt · 9782862d
  Ludovic Apvrille authored 4 years ago
  
  9782862d
Apr 30, 2020
- Better organization of graphic elements in model-checking window · 6f3c792a
  tempiaa authored 4 years ago
  
  6f3c792a
- Optimized synchronization of signals for better performance · c8134e3a
  tempiaa authored 4 years ago
  
  c8134e3a
- update on build version: build.txt · 6bbb8cb2
  Ludovic Apvrille authored 4 years ago
  
  6bbb8cb2
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
- update on build version: build.txt · d75f2ad9
  Ludovic Apvrille authored 4 years ago
  
  d75f2ad9
Apr 28, 2020
- Updated the documentation for the model-checker, cleaned attributes in SafetyProperty · 18eafdb8
  tempiaa authored 4 years ago
  
  18eafdb8
- update on build version: build.txt · d6930ee8
  Ludovic Apvrille authored 4 years ago
  
  d6930ee8
Apr 27, 2020
- Added tests for model-checker · 2e0589ae
  tempiaa authored 4 years ago
  
  2e0589ae
- update on build version: build.txt · 1163b84e
  Ludovic Apvrille authored 4 years ago
  
  1163b84e
Apr 26, 2020
- update on build version: build.txt · a624286f
  Ludovic Apvrille authored 4 years ago
  
  a624286f
Apr 25, 2020
- update on build version: build.txt · a0c284e0
  Ludovic Apvrille authored 4 years ago
  
  a0c284e0
Apr 24, 2020
- Added non-computation state of property when not already computed · ef6420ba
  tempiaa authored 4 years ago
  
  ef6420ba