/monocypher-hacl

run HACL* C code against Monocypher and TIS-CI

Primary LanguageCOtherNOASSERTION

TrustInSoft CI

Check HACL* C crypto code against Monocypher and TIS-CI.

  • Latest monocypher
  • HACL* v0.3.0 (c89-compatible)