Security results in Diplodocus

Jawher Jerrayrequested to merge
confidentiality-results-in-AD into master
  • Improve the display of security results in Diplodocus.
  • Show all Proverif traces for each channel (conf and auth).
  • Show ProVerif traces for a specific operator in the activity diagram (conf and auth).
  • Upgrade the translation from TML to Avatar.

Merge request reports