Commits · 682204a55f5279cc4a13e97fe46bdc3eb5364ccf · mbe-tools / TTool

May 24, 2020
- fix sequential diagram display · 682204a5
  Le Van Truong authored 4 years ago
  
  682204a5
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
- 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
- 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
- Model-checker to merge · 5b3f25ec
  tempiaa authored 4 years ago
  
  5b3f25ec
- 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 "Translated String strip to trim for java 8 compatibility" · 49ee410a
  Ludovic Apvrille authored 4 years ago
  
  This reverts commit 6a134982.
  49ee410a
- 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
- Revert "Merge branch 'alessandro_branch' into 'master'" · 076c4d2b
  Ludovic Apvrille authored 4 years ago
  
  This reverts merge request !325
  076c4d2b
- update on build version: build.txt · 8d683b32
  Ludovic Apvrille authored 4 years ago
  
  8d683b32
May 12, 2020
- 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
- update on build version: build.txt · 6bbb8cb2
  Ludovic Apvrille authored 4 years ago
  
  6bbb8cb2
Apr 29, 2020
- 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