Commits · 3a2d6c6e8a76f9627f6000d0c227cb16c9ab2265 · mbe-tools / TTool

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
- Merge branch 'labsoc_sec' into 'master' · 6f72493e
  Ludovic Apvrille authored 6 years ago
  
  Firewall Generation on syntax analysis is now working See merge request !67
  6f72493e
- Firewall Generation working · d2333ef8
  Letitia Li authored 6 years ago
  
  d2333ef8
- update on build version: build.txt · aab769a9
  apvrille authored 6 years ago
  
  aab769a9
Jul 10, 2018
- update on build version: build.txt · bf6f5015
  apvrille authored 6 years ago
  
  bf6f5015
- Merge branch 'labsoc_sec' into 'master' · b444d236
  Ludovic Apvrille authored 6 years ago
  
  Added Figure to SysML-Sec tutorial and Firewall generation See merge request !66
  b444d236
- Added Figure to SysML-Sec tutorial and Firewall generation · 7004f7e7
  Letitia Li authored 6 years ago
  
  7004f7e7
- update on build version: build.txt · 46859fda
  apvrille authored 6 years ago
  
  46859fda
- update on build version: build.txt · 6fb26223
  apvrille authored 6 years ago
  
  6fb26223
Jul 09, 2018
- Merge branch 'labsoc_sec' into 'master' · 51f9ddbe
  Ludovic Apvrille authored 6 years ago
  
  Fixed failing tml2avatar test See merge request !65
  51f9ddbe
- Fixed failing tml2avatar test · 2073172e
  Letitia Li authored 6 years ago
  
  2073172e
- Adding TPT logo to AVATAR documentation · 6d6d0f4c
  Ludovic Apvrille authored 6 years ago
  
  6d6d0f4c
- Merge branch 'labsoc_sec' into 'master' · 2e56d847
  Ludovic Apvrille authored 6 years ago
  
  Added Avatar tutorial and security pattern fixes See merge request !64
  2e56d847
- Added Avatar tutorial · 70aa2834
  Letitia Li authored 6 years ago
  
  70aa2834
- update on build version: build.txt · ae6b0004
  apvrille authored 6 years ago
  
  ae6b0004
Jul 08, 2018
- Added Avatar tutorial · 8c1720f6
  Letitia Li authored 6 years ago
  
  8c1720f6
- update on build version: build.txt · f0a551e7
  apvrille authored 6 years ago
  
  f0a551e7
Jul 07, 2018
- update on build version: build.txt · 94514afd
  apvrille authored 6 years ago
  
  94514afd
Jul 06, 2018
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 59f8baf0
  Ludovic Apvrille authored 6 years ago
  
  59f8baf0
- Managing blocks stereotypes · 7ef5cd59
  Ludovic Apvrille authored 6 years ago
  
  7ef5cd59
- update on build version: build.txt · a7e28469
  apvrille authored 6 years ago
  
  a7e28469
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · f3b1bd22
  Ludovic Apvrille authored 6 years ago
  
  f3b1bd22
- Selection of requirement stereotype kind and color · 660b9685
  Ludovic Apvrille authored 6 years ago
  
  660b9685
- update on build version: build.txt · cf88bddb
  apvrille authored 6 years ago
  
  cf88bddb
Jul 05, 2018
- Update on Req name: bug when changing the stereotype · e6a8401e
  Ludovic Apvrille authored 6 years ago
  
  e6a8401e
- Merge branch 'labsoc_sec' into 'master' · c7dbbf22
  Ludovic Apvrille authored 6 years ago
  
  Bug fixes and updated SysMLsec documentation See merge request !63
  c7dbbf22
- update on build version: build.txt · cc14e306
  apvrille authored 6 years ago
  
  cc14e306
- Adding missing dialog for ID and stereotype in req · 9d98d5bc
  Ludovic Apvrille authored 6 years ago
  
  9d98d5bc
Jul 04, 2018
- Updates on categories in req traceability matrix · 526fd519
  Ludovic Apvrille authored 6 years ago
  
  526fd519
- Adding info on properties and satisfied by in req table · 6f6f0efb
  Ludovic Apvrille authored 6 years ago
  
  6f6f0efb
- Adding requirements new attributes in req tables · eefe30a9
  Ludovic Apvrille authored 6 years ago
  
  eefe30a9