cryspen / hacl-packages

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

OCaml API: add SHA-3 to EverCrypt hashing interface #409

Closed victor-dumitrescu closed 1 year ago

victor-dumitrescu commented 1 year ago

C snapshot change introduced with https://github.com/cryspen/hacl-packages/pull/405

coveralls commented 1 year ago

Pull Request Test Coverage Report for Build 5134814773


Totals Coverage Status
Change from base Build 5124924487: 0.0%
Covered Lines: 28937
Relevant Lines: 54865

💛 - Coveralls