Commits · 3363f032646f6b87e9777a0f4b412772d0042bae · mbe-tools / TTool

May 12, 2023
- Update diplodocus tutorial + Add new figures · 3363f032
  jerray authored 1 year ago
  
  3363f032
- Adding support for requirements from chatGPT answer · af98c128
  Ludovic Apvrille authored 1 year ago
  
  af98c128
- update on build version: build.txt · d7f54468
  Ludovic Apvrille authored 1 year ago
  
  d7f54468
May 11, 2023
- update on build version: build.txt · 90ae7edd
  Ludovic Apvrille authored 1 year ago
  
  90ae7edd
May 10, 2023
- Handling security annotations in saved svg and pdf, for TML AD · d4b4897f
  Ludovic Apvrille authored 1 year ago
  
  d4b4897f
- Extra debug · 2f9a0bce
  Ludovic Apvrille authored 1 year ago
  
  2f9a0bce
- Extra debug · 2f4885ec
  Ludovic Apvrille authored 1 year ago
  
  2f4885ec
- Extra debug · f5b816b2
  Ludovic Apvrille authored 1 year ago
  
  f5b816b2
- Extra debug · 911bfc20
  Ludovic Apvrille authored 1 year ago
  
  911bfc20
- Adding debug · bf04669e
  Ludovic Apvrille authored 1 year ago
  
  bf04669e
- Imoprving debug for maxX · fa07061c
  Ludovic Apvrille authored 1 year ago
  
  fa07061c
- Adding extra margin for security context: get cyrrent max x · efa19cfe
  Ludovic Apvrille authored 1 year ago
  
  efa19cfe
- Handing maxX for security context · b3d2894b
  Ludovic Apvrille authored 1 year ago
  
  b3d2894b
- Adding currentMaxX for TMLADReadChannel · 7e5a1c56
  Ludovic Apvrille authored 1 year ago
  
  7e5a1c56
- update on build version: build.txt · dde8fd57
  Ludovic Apvrille authored 1 year ago
  
  dde8fd57
May 09, 2023
- Update on Tutorial · 1218ee91
  Ludovic Apvrille authored 1 year ago
  
  1218ee91
- Removing old figures · 569cd04f
  Ludovic Apvrille authored 1 year ago
  
  569cd04f
- Adding new figures for tutorial · 3df8cee0
  Ludovic Apvrille authored 1 year ago
  
  3df8cee0
- Adding new figures for tutorial · b47e18a8
  Ludovic Apvrille authored 1 year ago
  
  b47e18a8
- update on build version: build.txt · 454da8be
  Ludovic Apvrille authored 1 year ago
  
  454da8be
May 08, 2023
- update on build version: build.txt · 9e49f6a2
  Ludovic Apvrille authored 1 year ago
  
  9e49f6a2
May 07, 2023
- update on build version: build.txt · 1ed63d6c
  Ludovic Apvrille authored 1 year ago
  
  1ed63d6c
May 06, 2023
- update on build version: build.txt · d2d2e38d
  Ludovic Apvrille authored 1 year ago
  
  d2d2e38d
May 05, 2023
- Updating test after TML modification · 36f1908b
  Ludovic Apvrille authored 1 year ago
  
  36f1908b
- Updating test on generateTML. · 64db2908
  Ludovic Apvrille authored 1 year ago
  
  64db2908
- update on build version: build.txt · eb436a6d
  Ludovic Apvrille authored 1 year ago
  
  eb436a6d
May 04, 2023
- update on build version: build.txt · dc787a9f
  Ludovic Apvrille authored 1 year ago
  
  dc787a9f
May 03, 2023
- Adding identification of properties in a designé · 38e9bc1c
  Ludovic Apvrille authored 1 year ago
  
  38e9bc1c
- Adding history in chat · dc85b1f3
  Ludovic Apvrille authored 1 year ago
  
  dc85b1f3
- update on build version: build.txt · 02c8f701
  Ludovic Apvrille authored 1 year ago
  
  02c8f701
May 02, 2023
- Merge branch 'fix-bugs-iv-TMLTranslator2AvatarSec' into 'master' · 62c258a1
  Ludovic Apvrille authored 1 year ago
  
  Fix some bugs in the translation from TML to AVATAR Sec See merge request !453
  62c258a1
- update on build version: build.txt · c205a1e9
  Ludovic Apvrille authored 1 year ago
  
  c205a1e9
- Correcting error from proverif gen · 1370943e
  Ludovic Apvrille authored 1 year ago
  
  1370943e
- update on build version: build.txt · 36c5e5f8
  Ludovic Apvrille authored 1 year ago
  
  36c5e5f8
- update on build version: build.txt · 33341661
  Ludovic Apvrille authored 1 year ago
  
  33341661
May 01, 2023
- update on build version: build.txt · ff878366
  Ludovic Apvrille authored 1 year ago
  
  ff878366
Apr 30, 2023
- update on build version: build.txt · 7283f53d
  Ludovic Apvrille authored 1 year ago
  
  7283f53d
Apr 29, 2023
- update on build version: build.txt · 706306b1
  Ludovic Apvrille authored 1 year ago
  
  706306b1
Apr 28, 2023
- Delete TMLEncryption and TMLDecryption classes + add new attribut in SecurityPattern class · 04f87d4a
  jerray authored 1 year ago
  
  04f87d4a
- Update on tracing in toproverif · befdc792
  Ludovic Apvrille authored 1 year ago
  
  befdc792