cryspen / hacl-packages

The Cryspen HACL Distribution
https://cryspen.com/hacl-packages
Other
14 stars 19 forks source link

update to HACL* 5c045cac1c48d555592ebbc86d55f1ec396adfbc #356

Closed franziskuskiefer closed 1 year ago

franziskuskiefer commented 1 year ago

Update to new HACL*, adding HKDF SHA384.

coveralls commented 1 year ago

Pull Request Test Coverage Report for Build 4132048118


Changes Missing Coverage Covered Lines Changed/Added Lines %
src/Hacl_HKDF.c 0 42 0.0%
<!-- Total: 0 42 0.0% -->
Files with Coverage Reduction New Missed Lines %
src/Hacl_Hash_Base.c 1 14.13%
src/EverCrypt_Curve25519.c 11 67.65%
src/EverCrypt_AutoConfig2.c 17 82.1%
src/Hacl_Curve25519_64.c 293 0%
<!-- Total: 322 -->
Totals Coverage Status
Change from base Build 4114412109: -0.6%
Covered Lines: 30231
Relevant Lines: 56992

💛 - Coveralls
duesee commented 1 year ago

Thanks for making the changes. I opened #357 and #358 to track the addition of benchmarks and tests for HKDF-SHA2-384. But let's get this in first :+1: