Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Merge requests
!453
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