Raphaël Proust
575aafc554
vendors: add synopsis to each opam file
2019-02-25 02:03:12 +00:00
Grégoire Henry
dbf4736e6b
Opam: update package description to opam.2.0
...
Co-authored-by: Pietro Abate <pietro.abate@nomadic-labs.com>
Co-authored-by: Gregoire Henry <gregoire.henry@tezos.com>
2019-01-21 17:54:19 +01:00
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
Vincent Bernardoff
a224c80462
Hacl: refactoring
2018-08-20 11:56:35 +02:00
Vincent Bernardoff
928ee9d3a0
Hacl: add HMAC_SHA512
2018-08-20 11:56:34 +02:00
Vincent Bernardoff
a3cfcc091a
Hacl: expose hashing constants
2018-08-20 11:56:33 +02:00
Vincent Bernardoff
1a93df75ae
Hacl: refactoring
2018-08-20 11:56:30 +02:00
Grégoire Henry
87e0de9826
Dune: use the new syntax
2018-08-01 10:52:24 +02:00
Grégoire Henry
5362b321d9
Dune: rename s/jbuild/dune/
2018-08-01 10:32:12 +02:00
Pietro
c7cfdcb4d9
[Doc]: Fix minor warnings and errors in the doc
2018-07-25 15:58:38 +02:00
Pietro
b89682e441
Build: Jbuilder -> Dune 1.0.1
2018-07-24 19:15:04 +02:00
Marco Stronati
509a8a801a
hacl: quick fix to compile on aarch64
2018-06-25 13:22:09 +00:00
Pierre Boutillier
330b670d59
Test a sequence of update in Hash.SHA256
2018-06-06 15:33:22 +02:00
Grégoire Henry
6149909e83
Opam: fix the hacl package
2018-06-06 10:49:48 +02:00
Marco Stronati
3ff99dfba3
hacl: build system for 32 bits architecture
2018-06-06 09:57:26 +02:00
Fabrice Le Fessant
8986640a98
P2p: make nonces unpredictable when connecting
...
Avoid replay-attacks by preventing a node from determining one of the
nonces used in the encryption of a channel between two nodes.
2018-05-24 12:11:42 +02:00
Benjamin Canou
376f9b36f9
Vendors/Hacl: fix buffer size glitch in binding
2018-05-21 17:33:09 +02:00
Marco Stronati
07a97ab94a
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
