You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When checking the extracted file with easycrypt I get the following error:
[critical] [sign_s.ec: line 2564 (14-28)] no matching operator, named `VMOVSHDUP_4u64', for the following parameters' type:
[1]: W256.t
[-] [5972] 100.0 % (-1.0B / [frag -1.0B])
That’s unfortunate, but the VMOVSHDUP_4u64 has no semantics in Jasmin. For the time being, you can rename it into …_8u32.
IMHO, this syntactic flexibility (many variants are accepted by the parser, but only a few make sense) is misleading, hence the related PR. What do you think?
I'm integrating this implementation in libjade.
When checking the extracted file with
easycrypt
I get the following error:It seems that a def. for
VMOVSHDUP_4u64
is missing in JModel.ec around line 673.The text was updated successfully, but these errors were encountered: