mirage/hacl

Issues

• The distribution does not compile on CentOS 7 and Oracle Linux 7

  #46 opened 4 years ago by dinosaure
  3

• Update tests to use Alcotest

  #40 opened 4 years ago by dinosaure
  0

• Release v0.2.0

  #39 opened 5 years ago by dinosaure
  3

• execute test suite on dune runtest

  #37 opened 5 years ago by hannesm
  0

• Compilation error on 32-bit platforms

  #34 opened 5 years ago by talex5
  2

• This conflicts with tezos bindings (gitlab.com/nomadic-labs/ocaml-hacl)

  #32 opened 5 years ago by pirbo
  9

• htole64

  #30 opened 5 years ago by dinosaure
  8

• Add ocaml dependency in opam

  #22 opened 5 years ago by emillon
  1

• Add a way to run the extraction process

  #20 opened 6 years ago by emillon
  0

• Add a check-vendor target

  #19 opened 6 years ago by emillon
  0

• Leave the GC lock in the C stub

  #13 opened 6 years ago by dinosaure
  5

• key_exchange_noalloc

  #11 opened 6 years ago by cfcs
  3

• unify repository and opam package name

  #4 opened 6 years ago by hannesm
  5

• Should `to_cstruct` pad?

  #8 opened 6 years ago by emillon
  0