Commits · 8284f4eca56e27534be820b9da0f18c62b89dd58 · mbe-tools / TTool

Jun 02, 2020
- update on build version: build.txt · 8284f4ec
  Ludovic Apvrille authored 4 years ago
  
  8284f4ec
- update on build version: build.txt · aee367b3
  Ludovic Apvrille authored 4 years ago
  
  aee367b3
Jun 01, 2020
- update on build version: build.txt · 540eefe8
  Ludovic Apvrille authored 4 years ago
  
  540eefe8
May 31, 2020
- update on build version: build.txt · be6d176f
  Ludovic Apvrille authored 4 years ago
  
  be6d176f
May 30, 2020
- update on build version: build.txt · 6bb38b6e
  Ludovic Apvrille authored 4 years ago
  
  6bb38b6e
May 29, 2020
- Adding distribution law to avatar random operator. Applies only to simulation · e9d434ae
  Ludovic Apvrille authored 4 years ago
  
  e9d434ae
- update on build version: build.txt · b36e76f7
  Ludovic Apvrille authored 4 years ago
  
  b36e76f7
May 28, 2020
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 208282fd
  Ludovic Apvrille authored 4 years ago
  
  208282fd
- Adding gaussian distribution law to time intervals · b1af8e50
  Ludovic Apvrille authored 4 years ago
  
  b1af8e50
- update on build version: build.txt · d8190e33
  Ludovic Apvrille authored 4 years ago
  
  d8190e33
May 27, 2020
- Adding triangular distribution law on avatar transition · d5829cd3
  Ludovic Apvrille authored 4 years ago
  
  d5829cd3
- update on build version: build.txt · e1292293
  Ludovic Apvrille authored 4 years ago
  
  e1292293
May 26, 2020
- update on build version: build.txt · 7940d434
  Ludovic Apvrille authored 4 years ago
  
  7940d434
May 25, 2020
- update on build version: build.txt · 4fe60971
  Ludovic Apvrille authored 4 years ago
  
  4fe60971
May 24, 2020
- update on build version: build.txt · a05d4670
  Ludovic Apvrille authored 4 years ago
  
  a05d4670
May 23, 2020
- update on build version: build.txt · d0e77e50
  Ludovic Apvrille authored 4 years ago
  
  d0e77e50
May 22, 2020
- update on build version: build.txt · 35886a6b
  Ludovic Apvrille authored 4 years ago
  
  35886a6b
May 21, 2020
- update on build version: build.txt · cfdd1b0a
  Ludovic Apvrille authored 4 years ago
  
  cfdd1b0a
May 20, 2020
- update on build version: build.txt · 231c62f1
  Ludovic Apvrille authored 4 years ago
  
  231c62f1
May 19, 2020
- update on build version: build.txt · d9b8b256
  Ludovic Apvrille authored 4 years ago
  
  d9b8b256
May 18, 2020
- update on build version: build.txt · 491c2696
  Ludovic Apvrille authored 4 years ago
  
  491c2696
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