Skip to content

Fix some bugs in the translation from TML to AVATAR Sec

Jawher Jerray requested to merge fix-bugs-iv-TMLTranslator2AvatarSec into master
  • Fix identification of encryption operator and decryption operator when translating to AVATAR Sec.
  • Fix authenticity pragmas.
  • Fix a bug in events name.

Merge request reports

Loading