Fix some bugs in the translation from TML to AVATAR Sec
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Fix some bugs in the translation from TML to AVATAR Sec
Jawher Jerray
requested to merge
fix-bugs-iv-TMLTranslator2AvatarSec
into
master
Apr 20, 2023
Overview
0
Commits
3
Pipelines
3
Changes
5
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