Commits · cded147fba27381fa2520b89ddb64e761cb02362 · mbe-tools / TTool

May 25, 2020
- Added first solution for concurrency in leadsto pragmas. More validation is needed · cded147f
  tempiaa authored 4 years ago
  
  cded147f
May 22, 2020
- Solved compatibility between the verification tool and empty transitions · 24061fcc
  tempiaa authored 4 years ago
  
  24061fcc
May 19, 2020
- Added re-initialization check property in avatar model-checker · 34528859
  tempiaa authored 4 years ago
  
  34528859
May 18, 2020
- Solved a bug in leadsto pragmas; First step for re-initialization analysis · 8f1a5aee
  tempiaa authored 4 years ago
  
  8f1a5aee
May 15, 2020
- Removed unused GridBagConstraints · cde7c3ed
  tempiaa authored 4 years ago
  
  cde7c3ed
- Added safety pragma selection in model-checker verification window · 689db8f5
  tempiaa authored 4 years ago
  
  689db8f5
May 14, 2020

Added cli single pragma query for model-checker. Changed cli avatar-rg layout... · 2dd45eb7

tempiaa authored 4 years ago

Added cli single pragma query for model-checker. Changed cli avatar-rg layout and flags. Solved a bug in the interpreter. Solved a possible null pointer exp in AvatarExpressionAttribute. Added test for single pragma query. Added rg generation during property study.

2dd45eb7

Solved repainting bug of safety properties due to trimmed spaces · f4282122
tempiaa authored 4 years ago

f4282122

May 13, 2020
- Fixed warnings · e6dd15c8
  tempiaa authored 4 years ago
  
  e6dd15c8
- 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
- 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
- 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
- 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
- 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