Library for tweakable hash functions#810

fdupress merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

stdlib-tweakablehashfunctionsEasyCrypt/easycrypt:stdlib-tweakablehashfunctionsCopy head branch name to clipboard