cryspen / hacl-packages

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

update hacl star #461

Closed franziskuskiefer closed 5 months ago

franziskuskiefer commented 6 months ago

Updating to hacl-star/hacl-star#940. This needs to update to main once that PR is merged.

coveralls commented 6 months ago

Pull Request Test Coverage Report for Build 9564781291

Warning: This coverage report may be inaccurate.

This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

Details


Changes Missing Coverage Covered Lines Changed/Added Lines %
src/EverCrypt_DRBG.c 2 8 25.0%
src/Hacl_Frodo1344.c 0 34 0.0%
src/Hacl_Frodo64.c 0 34 0.0%
src/Hacl_Frodo640.c 0 34 0.0%
src/Hacl_Frodo976.c 0 34 0.0%
src/EverCrypt_Hash.c 0 36 0.0%
src/Hacl_Hash_Blake2s.c 290 420 69.05%
src/Hacl_Hash_Blake2b.c 289 422 68.48%
src/Hacl_Hash_Blake2b_Simd256.c 275 416 66.11%
src/Hacl_Hash_Blake2s_Simd128.c 91 407 22.36%
<!-- Total: 1867 10088 18.51% -->
Files with Coverage Reduction New Missed Lines %
src/Hacl_Hash_Blake2s.c 1 86.6%
src/Hacl_Hash_Blake2b.c 1 86.09%
src/Hacl_Hash_Blake2b_Simd256.c 1 65.98%
src/Lib_RandomBuffer_System.c 2 64.29%
src/Hacl_Hash_Blake2s_Simd128.c 9 32.55%
src/Hacl_Hash_SHA3.c 10 51.18%
<!-- Total: 24 -->
Totals Coverage Status
Change from base Build 9564734956: -5.9%
Covered Lines: 29403
Relevant Lines: 61085

💛 - Coveralls
cla-bot[bot] commented 5 months ago

We require contributors to sign our Contributor License Agreement https://github.com/cryspen/hacl/blob/main/CLA.md ensuring that the contribution can be licensed under Apache 2.0 and MIT. In order for us to review and merge your code, please mention @cryspen/core in a comment below to get yourself added.

cla-bot[bot] commented 5 months ago

We require contributors to sign our Contributor License Agreement https://github.com/cryspen/hacl/blob/main/CLA.md ensuring that the contribution can be licensed under Apache 2.0 and MIT. In order for us to review and merge your code, please mention @cryspen/core in a comment below to get yourself added.