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 |
2cb35f3 | Denis Merigoux | 11 June 2021, 08:47:27 UTC | Bump JS bindings npm package version | 11 June 2021, 08:47:27 UTC |
1838944 | Dzomo, the Everest Yak | 11 June 2021, 08:31:41 UTC | [CI] regenerate hints and dist | 11 June 2021, 08:31:41 UTC |
ac88619 | Son Ho | 11 June 2021, 08:11:59 UTC | Merge branch 'son_ibm_ppc' of github.com:project-everest/hacl-star into son_ibm_ppc | 11 June 2021, 08:11:59 UTC |
648972e | Son Ho | 11 June 2021, 08:11:49 UTC | Dummy commit to launch a regression test | 11 June 2021, 08:11:49 UTC |
dfdc210 | Jonathan Protzenko | 10 June 2021, 22:16:29 UTC | Merge branch 'master' into son_ibm_ppc | 10 June 2021, 22:16:29 UTC |
927d09f | Dzomo, the Everest Yak | 10 June 2021, 08:25:22 UTC | [CI] regenerate hints and dist | 10 June 2021, 08:25:22 UTC |
dee9a6b | Dzomo, the Everest Yak | 09 June 2021, 08:25:00 UTC | [CI] regenerate hints and dist | 09 June 2021, 08:25:00 UTC |
78bf2c0 | Dzomo, the Everest Yak | 08 June 2021, 08:25:26 UTC | [CI] regenerate hints and dist | 08 June 2021, 08:25:26 UTC |
d6815eb | Son Ho | 07 June 2021, 13:38:13 UTC | Update tests/Makefile to ignore vec-128-test.c on ARM | 07 June 2021, 13:38:13 UTC |
c300f53 | Son Ho | 07 June 2021, 13:14:34 UTC | Revert "Modify the command for vec-128-test.exe" This reverts commit 4d159ca14b719c97f5522d14f5f61dc172319986. | 07 June 2021, 13:14:34 UTC |
4d159ca | Son Ho | 07 June 2021, 13:03:56 UTC | Modify the command for vec-128-test.exe | 07 June 2021, 13:03:56 UTC |
2a3c2fd | Son Ho | 07 June 2021, 12:38:57 UTC | Update the tests/Makefile for vec128-test.test | 07 June 2021, 12:38:57 UTC |
aae2873 | Son Ho | 07 June 2021, 12:38:43 UTC | Revert "Make a minor modification in vec-128-test.c" This reverts commit 1fa38460e582096ea99b2027c9c9a09ca5c0c0ab. | 07 June 2021, 12:38:43 UTC |
1fa3846 | Son Ho | 07 June 2021, 12:23:18 UTC | Make a minor modification in vec-128-test.c | 07 June 2021, 12:23:18 UTC |
4ddc66d | Son Ho | 07 June 2021, 08:47:00 UTC | Merge remote-tracking branch 'origin/master' into son_ibm_ppc | 07 June 2021, 08:47:00 UTC |
dcd48fb | Son Ho | 07 June 2021, 08:32:19 UTC | Update the PowerPC vector store/load operations | 07 June 2021, 08:32:19 UTC |
9672b1c | Son Ho | 07 June 2021, 07:58:21 UTC | Fix a typo | 07 June 2021, 07:58:21 UTC |
af3d59b | Son Ho | 07 June 2021, 07:47:08 UTC | Update the PPC intrinsics for shift/right | 07 June 2021, 07:47:08 UTC |
a2a661d | Dzomo, the Everest Yak | 06 June 2021, 08:33:22 UTC | [CI] regenerate hints and dist | 06 June 2021, 08:33:22 UTC |
b3f49b4 | Dzomo, the Everest Yak | 05 June 2021, 08:40:26 UTC | [CI] regenerate hints and dist | 05 June 2021, 08:40:26 UTC |
fb70872 | Dzomo, the Everest Yak | 04 June 2021, 08:29:29 UTC | [CI] regenerate hints and dist | 04 June 2021, 08:29:29 UTC |
527f9af | Dzomo, the Everest Yak | 03 June 2021, 08:57:02 UTC | [CI] regenerate hints and dist | 03 June 2021, 08:57:02 UTC |
3f798e4 | Son HO | 02 June 2021, 17:13:56 UTC | Merge pull request #449 from project-everest/son_buffers Add utilities to Lib.Buffer | 02 June 2021, 17:13:56 UTC |
9c1a76f | Son HO | 02 June 2021, 15:16:14 UTC | Merge branch 'master' into son_buffers | 02 June 2021, 15:16:14 UTC |
b387a01 | Aseem Rastogi | 02 June 2021, 13:02:02 UTC | Merge pull request #451 from project-everest/aseem_2306 Fixing a flaky proof (FStar PR #2306) | 02 June 2021, 13:02:02 UTC |
f8a1e28 | Aseem Rastogi | 02 June 2021, 10:57:21 UTC | fixing a flaky proof (FStar PR #2306) | 02 June 2021, 10:57:21 UTC |
3b78d65 | Son Ho | 02 June 2021, 07:37:42 UTC | Remove the dependency to libsodium in the tests | 02 June 2021, 07:37:42 UTC |
70a4623 | Son Ho | 01 June 2021, 19:14:24 UTC | Merge branch 'master' into _son_ibm_ppc | 01 June 2021, 19:14:24 UTC |
50dfaed | Son Ho | 01 June 2021, 18:04:34 UTC | Merge branch 'son_buffers' of github.com:project-everest/hacl-star into son_buffers | 01 June 2021, 18:04:34 UTC |
776a8a9 | Son Ho | 01 June 2021, 17:39:21 UTC | Consistently use "t" instead of "ty" in Lib.Buffer for the buffer type | 01 June 2021, 17:39:21 UTC |
ec2b839 | Son Ho | 01 June 2021, 17:33:55 UTC | Change the signature of Lib.Buffer.null | 01 June 2021, 17:33:55 UTC |
5729679 | Victor Dumitrescu | 01 June 2021, 16:51:39 UTC | OCaml API: updated opam files, nits | 01 June 2021, 16:51:39 UTC |
f4f2041 | Victor Dumitrescu | 29 April 2021, 16:19:16 UTC | Docs, redesign, bug fixes for OCaml API for HMAC-DRBG | 01 June 2021, 15:17:26 UTC |
331866f | Victor Dumitrescu | 01 June 2021, 15:08:38 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc | 01 June 2021, 15:08:38 UTC |
16fb6cf | Victor Dumitrescu | 01 June 2021, 15:04:35 UTC | OCaml API: Consistent argument labels | 01 June 2021, 15:04:35 UTC |
f726aed | Victor Dumitrescu | 01 June 2021, 14:35:24 UTC | Noalloc, fixes, tests for Keccak | 01 June 2021, 14:35:24 UTC |
5287014 | Dzomo, the Everest Yak | 01 June 2021, 08:27:08 UTC | [CI] regenerate hints and dist | 01 June 2021, 08:27:08 UTC |
9d7f125 | Marina Polubelova | 31 May 2021, 13:24:44 UTC | Merge pull request #447 from project-everest/polubelova_ed25519_sha512 streaming api for ed25519 | 31 May 2021, 13:24:44 UTC |
1999efe | Dzomo, the Everest Yak | 31 May 2021, 08:26:01 UTC | [CI] regenerate hints and dist | 31 May 2021, 08:26:01 UTC |
1ecddaa | Son HO | 31 May 2021, 08:25:43 UTC | Merge branch 'master' into son_buffers | 31 May 2021, 08:25:43 UTC |
5bb4f31 | Benjamin Beurdouche | 31 May 2021, 06:19:07 UTC | Merge branch 'master' into polubelova_ed25519_sha512 | 31 May 2021, 06:19:07 UTC |
3917561 | Dzomo, the Everest Yak | 30 May 2021, 08:35:46 UTC | [CI] regenerate hints and dist | 30 May 2021, 08:35:46 UTC |
95b6313 | Marina Polubelova | 28 May 2021, 18:15:03 UTC | update README | 28 May 2021, 18:15:03 UTC |
59d6494 | marina polubelova | 28 May 2021, 17:48:19 UTC | regenerate dist | 28 May 2021, 17:48:19 UTC |
4fa29c9 | marina polubelova | 28 May 2021, 17:09:03 UTC | refresh dist | 28 May 2021, 17:09:03 UTC |
7a77ef0 | Son Ho | 28 May 2021, 10:48:24 UTC | Fix more broken files | 28 May 2021, 10:48:24 UTC |
b3234b8 | Son Ho | 28 May 2021, 09:58:07 UTC | Fix some code | 28 May 2021, 09:58:07 UTC |
fee775e | marina polubelova | 28 May 2021, 08:45:54 UTC | fix tests/benchmark | 28 May 2021, 08:45:54 UTC |