Add a check-vendor target

mirage / hacl

Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves

https://github.com/mirage/mirage-crypto

Other

20 stars 5 forks source link

Add a check-vendor target #19

Open emillon opened 5 years ago

emillon commented 5 years ago

Hi,

In mirage/fiat#24 we added a check-vendors target to check that the vendored code corresponds to what's in the upstream repository. Let's add a similar one here.