da8ff68 | Tahina Ramananandro (professional account) | 21 July 2021, 23:38:24 UTC | Merge branch 'master' into setup_travis | 21 July 2021, 23:38:24 UTC |
2dd3312 | Dzomo, the Everest Yak | 21 July 2021, 08:36:42 UTC | [CI] regenerate hints and dist | 21 July 2021, 08:36:42 UTC |
a34da70 | Anthony R Johnston | 20 July 2021, 17:02:29 UTC | Use parameter for make executable | 20 July 2021, 17:02:29 UTC |
26ad211 | Anthony R Johnston | 20 July 2021, 16:48:17 UTC | Add ocaml-opam correctly | 20 July 2021, 16:48:17 UTC |
54a1e6c | Anthony R Johnston | 20 July 2021, 16:20:49 UTC | Adds FreeBSD specific travis config | 20 July 2021, 16:20:49 UTC |
230ce69 | Dzomo, the Everest Yak | 20 July 2021, 08:43:45 UTC | [CI] regenerate hints and dist | 20 July 2021, 08:43:45 UTC |
1091d1c | Dzomo, the Everest Yak | 17 July 2021, 08:43:36 UTC | [CI] regenerate hints and dist | 17 July 2021, 08:43:36 UTC |
ca5022f | Dzomo, the Everest Yak | 16 July 2021, 08:43:40 UTC | [CI] regenerate hints and dist | 16 July 2021, 08:43:40 UTC |
ecb94f2 | Benjamin Beurdouche | 15 July 2021, 10:57:39 UTC | Merge pull request #466 from project-everest/polubelova_build_fix remove some cinlines from bignum | 15 July 2021, 10:57:39 UTC |
55392d3 | marina polubelova | 15 July 2021, 09:51:22 UTC | rm cinline from bn_sub_mod and bn_add_mod | 15 July 2021, 09:51:22 UTC |
a346dc6 | Dzomo, the Everest Yak | 15 July 2021, 08:38:05 UTC | [CI] regenerate hints and dist | 15 July 2021, 08:38:05 UTC |
f2844dd | Jonathan Protzenko | 14 July 2021, 16:17:18 UTC | Merge pull request #463 from project-everest/protz_freebsd Build fixes for FreeBSD: link in proper ASM implementations | 14 July 2021, 16:17:18 UTC |
d364b3a | Jonathan Protzenko | 14 July 2021, 15:00:44 UTC | Merge branch 'master' into protz_freebsd | 14 July 2021, 15:00:44 UTC |
b452208 | Dzomo, the Everest Yak | 14 July 2021, 09:08:34 UTC | [CI] regenerate hints and dist | 14 July 2021, 09:08:34 UTC |
21d1418 | Franziskus Kiefer | 14 July 2021, 06:52:44 UTC | Merge branch 'master' into protz_freebsd | 14 July 2021, 06:52:44 UTC |
33c17a8 | Marina Polubelova | 13 July 2021, 22:01:18 UTC | Merge pull request #465 from project-everest/polubelova_bignum_api_ext Expose more functions for Bignum API | 13 July 2021, 22:01:18 UTC |
c0f2d29 | marina polubelova | 13 July 2021, 20:32:02 UTC | refresh dist | 13 July 2021, 20:32:02 UTC |
f75210e | marina polubelova | 13 July 2021, 20:31:22 UTC | remove trailing whitespaces | 13 July 2021, 20:31:22 UTC |
3895709 | Marina Polubelova | 13 July 2021, 19:43:48 UTC | expose bn_add_mod, bn_sub_mod and bn_eq_mask | 13 July 2021, 19:43:48 UTC |
52069a4 | Dzomo, the Everest Yak | 13 July 2021, 08:43:56 UTC | [CI] regenerate hints and dist | 13 July 2021, 08:43:56 UTC |
8ad31b0 | Jonathan Protzenko | 12 July 2021, 15:08:28 UTC | Merge branch 'master' into protz_freebsd | 12 July 2021, 15:08:28 UTC |
50da11a | Dzomo, the Everest Yak | 12 July 2021, 08:46:55 UTC | [CI] regenerate hints and dist | 12 July 2021, 08:46:55 UTC |
437689b | Dzomo, the Everest Yak | 11 July 2021, 08:43:29 UTC | [CI] regenerate hints and dist | 11 July 2021, 08:43:29 UTC |
19e5cae | Dzomo, the Everest Yak | 10 July 2021, 08:25:54 UTC | [CI] regenerate hints and dist | 10 July 2021, 08:25:54 UTC |
f43057c | Tahina Ramananandro | 09 July 2021, 22:10:24 UTC | dist snapshot | 09 July 2021, 22:10:24 UTC |
524628b | Tahina Ramananandro | 09 July 2021, 21:41:06 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into protz_freebsd | 09 July 2021, 21:41:06 UTC |
e52fc75 | Jonathan Protzenko | 09 July 2021, 18:30:07 UTC | Merge pull request #464 from project-everest/_taramana_ci CI hint refresh: do not commit if no changes | 09 July 2021, 18:30:07 UTC |
a8006eb | Tahina Ramananandro | 09 July 2021, 15:38:49 UTC | hint refresh: do not commit if no changes From project-everest/mitls-fstar@310eab0dd50babd4600c508e9cf8103616555793 | 09 July 2021, 15:38:49 UTC |
371e471 | Dzomo, the Everest Yak | 09 July 2021, 08:26:21 UTC | [CI] regenerate hints and dist | 09 July 2021, 08:26:21 UTC |
c5f557a | Dzomo, the Everest Yak | 08 July 2021, 08:26:15 UTC | [CI] regenerate hints and dist | 08 July 2021, 08:26:15 UTC |
a342e20 | Jonathan Protzenko | 07 July 2021, 17:54:19 UTC | Build fixes for FreeBSD: link in proper ASM implementations | 07 July 2021, 17:54:19 UTC |
a3541cf | Dzomo, the Everest Yak | 07 July 2021, 08:25:41 UTC | [CI] regenerate hints and dist | 07 July 2021, 08:25:41 UTC |
e3e93cb | Marina Polubelova | 06 July 2021, 18:47:52 UTC | Merge pull request #462 from project-everest/polubelova_bn_extraction tweaks for bignum extraction | 06 July 2021, 18:47:52 UTC |
ef89bb8 | Dzomo, the Everest Yak | 06 July 2021, 08:26:25 UTC | [CI] regenerate hints and dist | 06 July 2021, 08:26:25 UTC |
8db801f | marina polubelova | 05 July 2021, 18:16:40 UTC | incorrect extraction? | 05 July 2021, 18:16:40 UTC |
08a6ee4 | marina polubelova | 05 July 2021, 17:46:45 UTC | refresh dist | 05 July 2021, 17:46:45 UTC |
185dd49 | Marina Polubelova | 05 July 2021, 17:25:09 UTC | remove n / 4 * 4 / 4 in extracted code | 05 July 2021, 17:25:09 UTC |
9f725cd | Marina Polubelova | 05 July 2021, 17:22:44 UTC | avoid VLA for specialized bignum | 05 July 2021, 17:22:44 UTC |
a4b20bd | Dzomo, the Everest Yak | 05 July 2021, 08:26:20 UTC | [CI] regenerate hints and dist | 05 July 2021, 08:26:20 UTC |
49c3dc5 | Dzomo, the Everest Yak | 04 July 2021, 08:25:41 UTC | [CI] regenerate hints and dist | 04 July 2021, 08:25:41 UTC |
4febe60 | Dzomo, the Everest Yak | 03 July 2021, 08:25:37 UTC | [CI] regenerate hints and dist | 03 July 2021, 08:25:37 UTC |
fe6be9a | Dzomo, the Everest Yak | 02 July 2021, 08:29:21 UTC | [CI] regenerate hints and dist | 02 July 2021, 08:29:21 UTC |
89e1b2e | Victor Dumitrescu | 02 July 2021, 07:37:07 UTC | Merge pull request #459 from project-everest/afromher_doc Expand list of supported algorithms in doc | 02 July 2021, 07:37:07 UTC |
584233f | Aymeric Fromherz | 02 July 2021, 04:14:39 UTC | Expand list of supported algorithms in doc | 02 July 2021, 04:14:39 UTC |
8cb6f88 | Dzomo, the Everest Yak | 02 July 2021, 00:07:14 UTC | [CI] regenerate hints and dist | 02 July 2021, 00:07:14 UTC |
8fa9452 | Jonathan Protzenko | 01 July 2021, 23:34:11 UTC | build | 01 July 2021, 23:34:11 UTC |
1db0d68 | Dzomo, the Everest Yak | 01 July 2021, 22:11:37 UTC | [CI] regenerate hints and dist | 01 July 2021, 22:11:37 UTC |
6be0d4c | Jonathan Protzenko | 01 July 2021, 20:26:51 UTC | Merge pull request #458 from project-everest/vdum_ocaml_doc OCaml docs pipeline fix | 01 July 2021, 20:26:51 UTC |
68dcfb3 | Victor Dumitrescu | 01 July 2021, 16:37:19 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc | 01 July 2021, 16:37:19 UTC |
ea7459d | Victor Dumitrescu | 01 July 2021, 08:26:21 UTC | OCaml API: .opam file adjustements | 01 July 2021, 16:37:03 UTC |
02f818e | Victor Dumitrescu | 01 July 2021, 08:22:04 UTC | Doc fixes | 01 July 2021, 16:36:53 UTC |
63c0b44 | Dzomo, the Everest Yak | 01 July 2021, 08:27:38 UTC | [CI] regenerate hints and dist | 01 July 2021, 08:27:38 UTC |
57ce883 | Dzomo, the Everest Yak | 30 June 2021, 15:48:01 UTC | [CI] regenerate hints and dist | 30 June 2021, 15:48:01 UTC |
c23d33c | Victor Dumitrescu | 30 June 2021, 12:13:32 UTC | Merge pull request #450 from project-everest/vdum_ocaml_doc OCaml API revamp and documentation | 30 June 2021, 12:13:32 UTC |
6c8fa0b | Victor Dumitrescu | 30 June 2021, 11:29:04 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc | 30 June 2021, 11:29:04 UTC |
eb5ddec | Dzomo, the Everest Yak | 30 June 2021, 08:26:31 UTC | [CI] regenerate hints and dist | 30 June 2021, 08:26:31 UTC |
1fa9c00 | Victor Dumitrescu | 29 June 2021, 08:01:46 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc | 29 June 2021, 08:01:46 UTC |
df52a8d | Jonathan Protzenko | 28 June 2021, 18:19:46 UTC | Merge pull request #457 from mamonet/master Enhance flag usage for PowerPC build configuration | 28 June 2021, 18:19:46 UTC |
18afff1 | Victor Dumitrescu | 28 June 2021, 14:52:07 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc | 28 June 2021, 14:52:07 UTC |
f4a3f63 | Dzomo, the Everest Yak | 27 June 2021, 08:25:48 UTC | [CI] regenerate hints and dist | 27 June 2021, 08:25:48 UTC |
4b720ae | mamonet | 26 June 2021, 13:42:27 UTC | Remove -mpowerpc64 -mabi=altivec flags and use -mcpu=power9 instead of -mpower9-vector for PowerPC build configuration | 26 June 2021, 13:42:27 UTC |
c26705d | Dzomo, the Everest Yak | 26 June 2021, 08:43:37 UTC | [CI] regenerate hints and dist | 26 June 2021, 08:43:37 UTC |
f761dd4 | Dzomo, the Everest Yak | 25 June 2021, 09:04:26 UTC | [CI] regenerate hints and dist | 25 June 2021, 09:04:26 UTC |
b37cea0 | Dzomo, the Everest Yak | 24 June 2021, 08:26:55 UTC | [CI] regenerate hints and dist | 24 June 2021, 08:26:55 UTC |
836bb9f | Dzomo the everest Yak | 23 June 2021, 15:17:46 UTC | [CI] regenerate hints and dist | 23 June 2021, 15:17:46 UTC |
ee45148 | Jonathan Protzenko | 23 June 2021, 14:35:13 UTC | Merge branch 'master' into vdum_ocaml_doc | 23 June 2021, 14:35:13 UTC |
b3b3284 | Dzomo, the Everest Yak | 23 June 2021, 09:03:02 UTC | [CI] regenerate hints and dist | 23 June 2021, 09:03:02 UTC |
2b91c2a | Tahina Ramananandro | 22 June 2021, 23:15:51 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc | 22 June 2021, 23:15:51 UTC |
7a3dad1 | Tahina Ramananandro | 22 June 2021, 23:15:44 UTC | Merge branch 'master' into vdum_ocaml_doc | 22 June 2021, 23:15:44 UTC |
4072050 | Dzomo, the Everest Yak | 21 June 2021, 08:26:03 UTC | [CI] regenerate hints and dist | 22 June 2021, 09:35:18 UTC |
958966b | Dzomo, the Everest Yak | 20 June 2021, 08:25:48 UTC | [CI] regenerate hints and dist | 22 June 2021, 09:35:17 UTC |
6633591 | Dzomo, the Everest Yak | 19 June 2021, 08:29:20 UTC | [CI] regenerate hints and dist | 22 June 2021, 09:35:17 UTC |
c9d8e45 | Tahina Ramananandro | 18 June 2021, 18:29:18 UTC | simple rule to build and install OCaml bindings (suggested by @msprotz) now the user can just run: make -C dist/<their distribution> install-ocaml to compile and install OCaml bindings for HACL* (packages hacl-star-raw and hacl-star) | 22 June 2021, 09:35:16 UTC |
387a972 | Dzomo, the Everest Yak | 18 June 2021, 08:27:37 UTC | [CI] regenerate hints and dist | 22 June 2021, 09:35:16 UTC |
603a05a | Victor Dumitrescu | 22 June 2021, 08:31:58 UTC | OCaml API: Generate documentation | 22 June 2021, 09:35:08 UTC |
409711e | Dzomo, the Everest Yak | 22 June 2021, 08:55:39 UTC | [CI] regenerate hints and dist | 22 June 2021, 08:55:39 UTC |
148f9c9 | Victor Dumitrescu | 22 June 2021, 08:29:54 UTC | OCaml API: Delete dead code | 22 June 2021, 08:29:54 UTC |
41efa8c | Victor Dumitrescu | 22 June 2021, 08:23:51 UTC | OCaml API: Reorganisation of API, using Noalloc consistently | 22 June 2021, 08:23:51 UTC |
da2b7c0 | Tahina Ramananandro (professional account) | 21 June 2021, 15:55:02 UTC | Merge pull request #456 from project-everest/taramana_build_ocaml_bindings Simple Makefile rule to build and install OCaml bindings | 21 June 2021, 15:55:02 UTC |
b30c798 | Tahina Ramananandro (professional account) | 21 June 2021, 15:04:39 UTC | Merge branch 'master' into taramana_build_ocaml_bindings | 21 June 2021, 15:04:39 UTC |
125717c | Dzomo, the Everest Yak | 21 June 2021, 08:26:03 UTC | [CI] regenerate hints and dist | 21 June 2021, 08:26:03 UTC |
0555f08 | Dzomo, the Everest Yak | 20 June 2021, 08:25:48 UTC | [CI] regenerate hints and dist | 20 June 2021, 08:25:48 UTC |
db7cb7f | Dzomo, the Everest Yak | 19 June 2021, 08:29:20 UTC | [CI] regenerate hints and dist | 19 June 2021, 08:29:20 UTC |
53b7309 | Tahina Ramananandro | 18 June 2021, 18:29:18 UTC | simple rule to build and install OCaml bindings (suggested by @msprotz) now the user can just run: make -C dist/<their distribution> install-ocaml to compile and install OCaml bindings for HACL* (packages hacl-star-raw and hacl-star) | 18 June 2021, 18:29:18 UTC |
69cebb8 | Dzomo, the Everest Yak | 18 June 2021, 08:27:37 UTC | [CI] regenerate hints and dist | 18 June 2021, 08:27:37 UTC |
4c1ee47 | Victor Dumitrescu | 17 June 2021, 17:02:17 UTC | OCaml API: Clarify Curve25519 scalar multiplication | 17 June 2021, 17:02:17 UTC |
055c59c | Victor Dumitrescu | 17 June 2021, 16:41:46 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc | 17 June 2021, 16:41:46 UTC |
1a6a613 | Dzomo, the Everest Yak | 17 June 2021, 08:27:35 UTC | [CI] regenerate hints and dist | 17 June 2021, 08:27:35 UTC |
a6e42b3 | Jonathan Protzenko | 16 June 2021, 17:30:34 UTC | Merge pull request #455 from mamonet/master Explicitly declare Power9 option in dist/configure | 16 June 2021, 17:30:34 UTC |
4196e95 | Dzomo, the Everest Yak | 16 June 2021, 08:27:19 UTC | [CI] regenerate hints and dist | 16 June 2021, 08:27:19 UTC |
38d917f | mamonet | 16 June 2021, 02:22:59 UTC | Explicitly declare Power9 option in dist/configure Tuning build configuration for native architecture isn't recommended because if the build machine has newer CPU than the target machine the output binaries will crash with illegal instructions signal when run on older CPU. This patch sets AltiVec and PPC64 as the minimum targeted architecture and set Power9 instruction set as optional. Explicitly using -mpower9-vector flag has performance increase 6% over native CPU tuning on POWER9 processor. | 16 June 2021, 02:22:59 UTC |
dabfd74 | Dzomo, the Everest Yak | 15 June 2021, 08:26:52 UTC | [CI] regenerate hints and dist | 15 June 2021, 08:26:52 UTC |
b123558 | Denis Merigoux | 14 June 2021, 14:50:39 UTC | Merge pull request #452 from project-everest/bump_npm Bump JS bindings npm package version | 14 June 2021, 14:50:39 UTC |
4f0637b | Denis Merigoux | 14 June 2021, 13:04:20 UTC | Merge branch 'master' into bump_npm | 14 June 2021, 13:04:20 UTC |
89c2cf5 | Dzomo the everest Yak | 14 June 2021, 09:05:05 UTC | Merge branch 'BuildHints-master' | 14 June 2021, 09:05:05 UTC |
181b6b3 | Son HO | 14 June 2021, 08:57:12 UTC | Merge pull request #416 from project-everest/son_ibm_ppc Vectorized functions for PowerPC64 (little-endian) | 14 June 2021, 08:57:12 UTC |
d528dfc | Dzomo, the Everest Yak | 14 June 2021, 08:26:47 UTC | [CI] regenerate hints and dist | 14 June 2021, 08:26:47 UTC |
ca0b4be | Dzomo, the Everest Yak | 13 June 2021, 08:24:43 UTC | [CI] regenerate hints and dist | 13 June 2021, 08:24:43 UTC |
56aa8fd | Dzomo, the Everest Yak | 12 June 2021, 08:25:04 UTC | [CI] regenerate hints and dist | 12 June 2021, 08:25:04 UTC |
7a6254f | Jonathan Protzenko | 11 June 2021, 17:20:05 UTC | Merge branch 'master' into son_ibm_ppc | 11 June 2021, 17:20:05 UTC |