ligo/vendors/ocaml-hacl
Pietro Abate 000b9af6f9
vendors,hacl: use more generic gcc options
Tentative fix for "Illegal instruction (core dumped)" on certain
architectures du to gcc over optimization. This can possibly
introduce a performance regression.

@chambart for his gbd-foo skills
2018-10-11 18:36:35 +02:00
..
src vendors,hacl: use more generic gcc options 2018-10-11 18:36:35 +02:00
test Hacl: add HMAC_SHA512 2018-08-20 11:56:34 +02:00
hacl.opam Build: Jbuilder -> Dune 1.0.1 2018-07-24 19:15:04 +02:00
readme.md hacl: build system for 32 bits architecture 2018-06-06 09:57:26 +02:00

Tezos binding for Hacl* https://github.com/mitls/hacl-star/tree/master/snapshots/tezos commit b69319a0d3b71af8042f487d6a5bac8101edf2d0