Commits · b4bab4463dc0e0b496e92f8d8ccca47535fa7cf7 · mbe-tools / TTool

May 17, 2020
- update on build version: build.txt · b4bab446
  Ludovic Apvrille authored 4 years ago
  
  b4bab446
May 16, 2020
- update on build version: build.txt · 5e8c7fb1
  Ludovic Apvrille authored 4 years ago
  
  5e8c7fb1
May 15, 2020
- update on build version: build.txt · f9b747a7
  Ludovic Apvrille authored 4 years ago
  
  f9b747a7
May 14, 2020
- update on build version: build.txt · fc329b92
  Ludovic Apvrille authored 4 years ago
  
  fc329b92
- Merge branch 'alessandro_branch' into 'master' · c04c841a
  Ludovic Apvrille authored 4 years ago
  
  Solved bug for safety properties repainting, plus warnings See merge request !329
  c04c841a
- Solved repainting bug of safety properties due to trimmed spaces · f4282122
  tempiaa authored 4 years ago
  
  f4282122
- Merge branch 'CompareLatencyDetailedAnlysis' into 'master' · bd373334
  Ludovic Apvrille authored 4 years ago
  
  Compare latency detailed analysis See merge request !323
  bd373334
- update on build version: build.txt · 294ea97c
  Ludovic Apvrille authored 4 years ago
  
  294ea97c
May 13, 2020
- update on build version: build.txt · d288c44b
  Ludovic Apvrille authored 4 years ago
  
  d288c44b
- Merge branch 'model_checker' into alessandro_branch · ecfbd1a0
  tempiaa authored 4 years ago
  
  ecfbd1a0
- bug on asuumption renaming solved. Ticket #256 · a327c351
  Ludovic Apvrille authored 4 years ago
  
  a327c351
- Fixed warnings · e6dd15c8
  tempiaa authored 4 years ago
  
  e6dd15c8
- Solving bug on specialisation between actors · 75165816
  Ludovic Apvrille authored 4 years ago
  
  75165816
- Merge branch 'model_checker' into 'master' · 3c1650c7
  Ludovic Apvrille authored 4 years ago
  
  Model-checker to merge See merge request !328
  3c1650c7
- Model-checker to merge · 5b3f25ec
  tempiaa authored 4 years ago
  
  5b3f25ec
- Revert "Optimized synchronization of signals for better performance" · 05297783
  Ludovic Apvrille authored 4 years ago
  
  This reverts commit c8134e3a.
  05297783
- Revert "Better organization of graphic elements in model-checking window" · 93fdff47
  Ludovic Apvrille authored 4 years ago
  
  This reverts commit 6f3c792a.
  93fdff47
- 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
- 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
- Revert "Revert "Translated String strip to trim for java 8 compatibility"" · a6e156f4
  tempiaa authored 4 years ago
  
  This reverts commit a0d94702.
  a6e156f4
- Revert "Translated String strip to trim for java 8 compatibility" · a0d94702
  tempiaa authored 4 years ago
  
  This reverts commit 6a134982.
  a0d94702
- 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