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