Commits · 5428497fa77a3a21d9e6d911ff1a76a73acdf7da · mbe-tools / TTool

Jul 24, 2018
- Code cleanup · 5428497f
  Dominique Blouin authored 6 years ago
  
  5428497f
- Code cleanup · 7ecbb1b7
  Dominique Blouin authored 6 years ago
  
  7ecbb1b7
- Avoid null pointer exceptions in tests · f58721ba
  Dominique Blouin authored 6 years ago
  
  f58721ba
- Added missing jars · d72adfeb
  Dominique Blouin authored 6 years ago
  
  d72adfeb
- Adding help to simulation code generation · 75452e3c
  apvrille authored 6 years ago
  
  75452e3c
- Resolving bug on project opening · 10a10274
  apvrille authored 6 years ago
  
  10a10274
- update on build version: build.txt · 7d6002e2
  apvrille authored 6 years ago
  
  7d6002e2
Jul 23, 2018
- Improvement of requirement dialog window · e96f2f28
  apvrille authored 6 years ago
  
  e96f2f28
- update on build version: build.txt · 2cb517e4
  apvrille authored 6 years ago
  
  2cb517e4
- Resolving code generation textfile source pb · 29f65949
  apvrille authored 6 years ago
  
  29f65949
- update on build version: build.txt · 65af91e4
  apvrille authored 6 years ago
  
  65af91e4
- Handling penalties from dialog window · a5be4786
  apvrille authored 6 years ago
  
  a5be4786
- update on build version: build.txt · 3f96e1e6
  apvrille authored 6 years ago
  
  3f96e1e6
- Update on req. management · cb50368c
  apvrille authored 6 years ago
  
  cb50368c
- update on build version: build.txt · 8076272d
  apvrille authored 6 years ago
  
  8076272d
- update on build version: build.txt · 72a2719b
  apvrille authored 6 years ago
  
  72a2719b
Jul 22, 2018
- update on build version: build.txt · 2b7757bf
  apvrille authored 6 years ago
  
  2b7757bf
Jul 20, 2018
- Adding allReqsons with references between requirements · f09c80d3
  apvrille authored 6 years ago
  
  f09c80d3
- Enhancing the dialog window of faults · f75ce640
  apvrille authored 6 years ago
  
  f75ce640
Jul 19, 2018
- update on build version: build.txt · 0d85443a
  apvrille authored 6 years ago
  
  0d85443a
- update on build version: build.txt · ecd8de64
  apvrille authored 6 years ago
  
  ecd8de64
Jul 18, 2018
- Merge branch 'labsoc_sec' into 'master' · c320a073
  Ludovic Apvrille authored 6 years ago
  
  Added save trace in png capability See merge request !70
  c320a073
- Added save trace in png capability · 2be9aff7
  Letitia Li authored 6 years ago
  
  2be9aff7
- Merge branch 'labsoc_sec' into 'master' · 9c8f1e4e
  Ludovic Apvrille authored 6 years ago
  
  Finding time between corresponding requests and Avatar ProVerif trace display See merge request !69
  9c8f1e4e
- update on build version: build.txt · 86f6c937
  apvrille authored 6 years ago
  
  86f6c937
- update on build version: build.txt · d8d5db6f
  apvrille authored 6 years ago
  
  d8d5db6f
Jul 17, 2018
- Finding time between corresponding requests and Avatar ProVerif trace display · 7eeec669
  Letitia Li authored 6 years ago
  
  7eeec669
Jul 16, 2018
- update on build version: build.txt · 421c6d36
  apvrille authored 6 years ago
  
  421c6d36
Jul 15, 2018
- update on build version: build.txt · b09a1e0b
  apvrille authored 6 years ago
  
  b09a1e0b
Jul 14, 2018
- update on build version: build.txt · 2b7d3160
  apvrille authored 6 years ago
  
  2b7d3160
Jul 13, 2018
- Update on requirement references · 3a2d6c6e
  apvrille authored 6 years ago
  
  3a2d6c6e
- Merge branch 'labsoc_sec' into 'master' · ecc59373
  Ludovic Apvrille authored 6 years ago
  
  Action state translation and backtracing on ports See merge request !68
  ecc59373
- Fixed action state translation · 1d3ef7cc
  Letitia Li authored 6 years ago
  
  1d3ef7cc
- Correcting bug: exception when stopping the diplodocus compilation process · 4dc5c643
  apvrille authored 6 years ago
  
  4dc5c643
- update on build version: build.txt · f231b965
  apvrille authored 6 years ago
  
  f231b965
Jul 12, 2018
- Show proverif result trace in primitive ports and latency panel scrollbars added · 2ed1bd41
  Letitia Li authored 6 years ago
  
  2ed1bd41
- Adding file for testing requirement features · 8ad33fc9
  Ludovic Apvrille authored 6 years ago
  
  8ad33fc9
- update on build version: build.txt · 3a8835cc
  apvrille authored 6 years ago
  
  3a8835cc
Jul 11, 2018
- Solving bug on block renaming · 58e91043
  Ludovic Apvrille authored 6 years ago
  
  58e91043
- Correcting typo on invariant · 9e3f39e3
  Ludovic Apvrille authored 6 years ago
  
  9e3f39e3