8c80a62 | Victor Dumitrescu | 23 February 2021, 11:05:07 UTC | Merge pull request #405 from project-everest/vdum_config Build and config tweaks | 23 February 2021, 11:05:07 UTC |
6167504 | Franziskus Kiefer | 23 February 2021, 09:49:02 UTC | Merge branch 'master' into vdum_config | 23 February 2021, 09:49:02 UTC |
4ec35e8 | Dzomo, the Everest Yak | 23 February 2021, 08:26:30 UTC | [CI] regenerate hints and dist | 23 February 2021, 08:26:30 UTC |
ff7185a | Victor Dumitrescu | 22 February 2021, 14:11:32 UTC | Bump opam version | 22 February 2021, 14:11:32 UTC |
9c4fae4 | Victor Dumitrescu | 22 February 2021, 10:24:25 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_config | 22 February 2021, 10:24:25 UTC |
3f0ae1f | Dzomo, the Everest Yak | 22 February 2021, 08:34:43 UTC | [CI] regenerate hints and dist | 22 February 2021, 08:34:43 UTC |
ebb0f3f | Dzomo, the Everest Yak | 21 February 2021, 08:31:11 UTC | [CI] regenerate hints and dist | 21 February 2021, 08:31:11 UTC |
772c23f | Dzomo, the Everest Yak | 20 February 2021, 08:29:47 UTC | [CI] regenerate hints and dist | 20 February 2021, 08:29:47 UTC |
9bf365c | Jonathan Protzenko | 20 February 2021, 01:09:27 UTC | Merge branch 'master' into vdum_config | 20 February 2021, 01:09:27 UTC |
f2a34a9 | Son HO | 19 February 2021, 17:47:18 UTC | Merge pull request #406 from project-everest/_son_ibm Clean the build system and make it work for IBMz | 19 February 2021, 17:47:18 UTC |
172e661 | Son HO | 19 February 2021, 16:09:08 UTC | Merge branch 'master' into _son_ibm | 19 February 2021, 16:09:08 UTC |
0b9060f | Son Ho | 19 February 2021, 14:56:38 UTC | Update Makefile and dist/configure so that dist/configure is copied in all the target directories containing libintvector.h Previously, dist/configure was only copied in dist/gcc-compatible. Now it is copied in more directories, because we now need this script to compute the proper CFLAGS for the vectorized functions. Note that the configure script needs the lib_intrinsics.h file to be present to check if bug 81300 is present or not. If lib_intrinsics.h is absent, it assumes there is no bug. For now it only assumes there is no bug when run from dist/mozilla, which is ok because this assumption was already made before. | 19 February 2021, 14:56:38 UTC |
84ecbbc | Victor Dumitrescu | 18 February 2021, 10:45:32 UTC | Tweaks to opam packaging | 19 February 2021, 13:36:00 UTC |
d63b5d0 | Victor Dumitrescu | 17 February 2021, 18:18:30 UTC | Fix build with ctypes 0.18 | 19 February 2021, 13:23:29 UTC |
b388a95 | Victor Dumitrescu | 17 February 2021, 17:30:27 UTC | Abort if KREMLIN_HOME not properly set | 19 February 2021, 13:21:44 UTC |
3990e2b | Son Ho | 19 February 2021, 09:05:58 UTC | Fix the Makefile | 19 February 2021, 09:05:58 UTC |
8b737c4 | Son Ho | 19 February 2021, 08:31:42 UTC | Merge branch '_son_ibm' of github.com:project-everest/hacl-star into _son_ibm | 19 February 2021, 08:31:42 UTC |
98b94de | Son Ho | 19 February 2021, 08:31:07 UTC | Rename a script in dist/configure | 19 February 2021, 08:31:07 UTC |
f0892ff | Dzomo, the Everest Yak | 19 February 2021, 08:30:35 UTC | [CI] regenerate hints and dist | 19 February 2021, 08:30:35 UTC |
410ddb3 | Jonathan Protzenko | 18 February 2021, 23:34:42 UTC | Merge branch 'master' into _son_ibm | 18 February 2021, 23:34:42 UTC |
95aa842 | Son Ho | 18 February 2021, 23:17:51 UTC | Remove lib_intrinsics.h from dist/mozilla | 18 February 2021, 23:17:51 UTC |
708b93b | Son Ho | 18 February 2021, 23:15:23 UTC | Make minor modifications for the PR | 18 February 2021, 23:15:23 UTC |
3e32508 | Son Ho | 18 February 2021, 23:12:37 UTC | Minimize diff | 18 February 2021, 23:12:37 UTC |
4488d1f | Jonathan Protzenko | 18 February 2021, 16:32:29 UTC | With @kachoc, clean things up a little more | 18 February 2021, 16:32:29 UTC |
0ccf09d | Son Ho | 18 February 2021, 15:49:05 UTC | Add a comment in dist/configure | 18 February 2021, 15:49:05 UTC |
7c5e5dd | Son Ho | 18 February 2021, 15:21:34 UTC | Update dist/Makefile.tmpl | 18 February 2021, 15:21:34 UTC |
6e1917b | Son Ho | 18 February 2021, 14:30:41 UTC | Add the configure files | 18 February 2021, 14:30:41 UTC |
4678091 | Son Ho | 18 February 2021, 14:30:17 UTC | Regenerate the extracted files | 18 February 2021, 14:30:17 UTC |
8b1f509 | Son Ho | 18 February 2021, 14:28:47 UTC | Modify dist/configure and Makefile.tmpl to not copy and run the configure script in dist/evercrypt-external-headers | 18 February 2021, 14:28:47 UTC |
e187581 | Son Ho | 18 February 2021, 10:39:07 UTC | Add lib_intrinsics.h to dist/ccf and dist/mozilla | 18 February 2021, 10:39:07 UTC |
66df6f6 | Son Ho | 18 February 2021, 10:34:26 UTC | Start updating dist/Makefile.tmpl and dist/configure | 18 February 2021, 10:34:26 UTC |
d2062ea | Dzomo, the Everest Yak | 18 February 2021, 08:37:06 UTC | [CI] regenerate hints and dist | 18 February 2021, 08:37:06 UTC |
ab42f3b | Marina Polubelova | 17 February 2021, 22:57:57 UTC | Merge pull request #390 from project-everest/polubelova_frodo update FrodoKEM to round 3 version | 17 February 2021, 22:57:57 UTC |
4985b22 | marina polubelova | 17 February 2021, 22:01:52 UTC | refresh dist | 17 February 2021, 22:01:52 UTC |
3c9072b | marina polubelova | 17 February 2021, 21:41:46 UTC | refresh hints | 17 February 2021, 21:41:46 UTC |
dcc4fa5 | marina polubelova | 17 February 2021, 21:29:04 UTC | merge master | 17 February 2021, 21:29:04 UTC |
44924f0 | Marina Polubelova | 17 February 2021, 21:16:44 UTC | Merge pull request #401 from project-everest/polubelova_lexp generic exponentiation | 17 February 2021, 21:16:44 UTC |
b7761ed | Marina Polubelova | 17 February 2021, 20:23:22 UTC | bump rlimit | 17 February 2021, 20:23:22 UTC |
f7995cb | marina polubelova | 17 February 2021, 19:42:28 UTC | refresh dist | 17 February 2021, 19:42:28 UTC |
c09ee08 | Marina Polubelova | 17 February 2021, 19:34:28 UTC | rename | 17 February 2021, 19:34:28 UTC |
a9d5145 | Marina Polubelova | 17 February 2021, 18:25:53 UTC | Merge remote-tracking branch 'origin/polubelova_lexp' into polubelova_tmp | 17 February 2021, 18:25:53 UTC |
30d3dbe | Marina Polubelova | 17 February 2021, 18:22:49 UTC | Merge branch 'master' into polubelova_lexp | 17 February 2021, 18:22:49 UTC |
2e0ff25 | Son HO | 17 February 2021, 17:55:04 UTC | Merge pull request #400 from project-everest/son_random crypto_random implementation | 17 February 2021, 17:55:04 UTC |
d65e32a | Son HO | 17 February 2021, 16:56:15 UTC | Merge branch 'master' into son_random | 17 February 2021, 16:56:15 UTC |
1025464 | Marina Polubelova | 17 February 2021, 16:53:18 UTC | Merge pull request #402 from project-everest/protz_ci Missing -thread? | 17 February 2021, 16:53:18 UTC |
78d775b | Jonathan Protzenko | 16 February 2021, 21:36:22 UTC | Missing -thread? | 16 February 2021, 21:36:22 UTC |
565437a | Dzomo, the Everest Yak | 14 February 2021, 08:28:47 UTC | [CI] regenerate hints and dist | 14 February 2021, 08:28:47 UTC |
92c6340 | Dzomo, the Everest Yak | 13 February 2021, 08:27:19 UTC | [CI] regenerate hints and dist | 13 February 2021, 08:27:19 UTC |
ce19f23 | Dzomo, the Everest Yak | 12 February 2021, 08:34:16 UTC | [CI] regenerate hints and dist | 12 February 2021, 08:34:16 UTC |
23f5685 | marina polubelova | 11 February 2021, 19:42:31 UTC | refresh dist | 11 February 2021, 19:42:31 UTC |
6a35ffe | Marina Polubelova | 11 February 2021, 19:22:15 UTC | rename | 11 February 2021, 19:22:15 UTC |
987e5b2 | Marina Polubelova | 11 February 2021, 10:08:24 UTC | Merge remote-tracking branch 'origin/master' into polubelova_lexp | 11 February 2021, 10:08:24 UTC |
efd58de | Dzomo, the Everest Yak | 11 February 2021, 08:37:06 UTC | [CI] regenerate hints and dist | 11 February 2021, 08:37:06 UTC |
4d7fcc8 | Marina Polubelova | 11 February 2021, 08:02:56 UTC | Merge remote-tracking branch 'origin/master' into polubelova_lexp | 11 February 2021, 08:02:56 UTC |
1629afe | Marina Polubelova | 11 February 2021, 08:00:13 UTC | refresh hints | 11 February 2021, 08:00:13 UTC |
f03a960 | marina polubelova | 10 February 2021, 22:27:34 UTC | refresh dist | 10 February 2021, 22:27:34 UTC |
6e0d517 | Marina Polubelova | 10 February 2021, 21:54:17 UTC | update comments | 10 February 2021, 21:54:17 UTC |
acb8742 | Marina Polubelova | 10 February 2021, 21:53:27 UTC | update rsapss and ffdhe with new exp | 10 February 2021, 21:53:27 UTC |
4e697eb | Marina Polubelova | 10 February 2021, 21:52:27 UTC | low* impl of fixed-window method | 10 February 2021, 21:52:27 UTC |
c51083c | Son Ho | 10 February 2021, 19:37:42 UTC | Make minor modifications | 10 February 2021, 19:37:42 UTC |
3dc538d | Son Ho | 10 February 2021, 18:21:50 UTC | Merge remote-tracking branch 'origin/master' into son_random | 10 February 2021, 18:21:50 UTC |
bd749e7 | Jonathan Protzenko | 10 February 2021, 17:51:38 UTC | Merge pull request #399 from santtu/patch-1 typo fix | 10 February 2021, 17:51:38 UTC |
e733229 | Son Ho | 10 February 2021, 16:55:27 UTC | Change the signature of Lib.RandomBuffer.System.crypto_random | 10 February 2021, 16:55:27 UTC |
2a2598c | Son Ho | 10 February 2021, 14:07:04 UTC | Write the C implementation for crypto_random | 10 February 2021, 14:07:04 UTC |
b9fcea6 | Son Ho | 10 February 2021, 14:06:36 UTC | Add an implementation for crypto_random in Lib.RandomBuffer.System | 10 February 2021, 14:06:36 UTC |
8918ad4 | Santeri Paavolainen | 10 February 2021, 13:49:37 UTC | typo fix | 10 February 2021, 13:49:37 UTC |
ade5ee5 | Son HO | 10 February 2021, 12:41:36 UTC | Merge pull request #397 from project-everest/son_functor_blocks Update the hash streaming functor for vectorized implementations | 10 February 2021, 12:41:36 UTC |
8c70930 | Son Ho | 10 February 2021, 11:28:20 UTC | Merge remote-tracking branch 'origin/master' into son_functor_blocks | 10 February 2021, 11:28:20 UTC |
8fe1b90 | Son Ho | 10 February 2021, 10:53:29 UTC | Update the C test files | 10 February 2021, 10:53:29 UTC |
14f7b19 | Son Ho | 10 February 2021, 10:50:30 UTC | Regenerate the extracted files | 10 February 2021, 10:50:30 UTC |
e6369f0 | Dzomo, the Everest Yak | 10 February 2021, 08:32:53 UTC | [CI] regenerate hints and dist | 10 February 2021, 08:32:53 UTC |
80aad7e | Marina Polubelova | 09 February 2021, 23:10:42 UTC | wip: low* impl of lib.exponentiation | 09 February 2021, 23:10:42 UTC |
fc21b0c | Son Ho | 09 February 2021, 20:07:35 UTC | Add type abbreviations for the Poly1305, MD5, SHA1 and SHA2 streaming functors | 09 February 2021, 20:07:35 UTC |
49b9817 | Son Ho | 09 February 2021, 20:00:44 UTC | Add type abbreviations for the Blake2 streaming functors | 09 February 2021, 20:00:44 UTC |
01010b9 | Son Ho | 09 February 2021, 19:49:53 UTC | Update the lengths for the blake2 streaming functor internal state | 09 February 2021, 19:49:53 UTC |
247824e | Son Ho | 09 February 2021, 19:41:47 UTC | Merge remote-tracking branch 'origin/master' into son_functor_blocks | 09 February 2021, 19:41:47 UTC |
b74ddb7 | Marina Polubelova | 09 February 2021, 09:35:43 UTC | Merge pull request #398 from project-everest/_aseem_1916 Remove lex tuples from F* | 09 February 2021, 09:35:43 UTC |
19e9eeb | Aseem Rastogi | 09 February 2021, 04:42:33 UTC | Merge branch 'master' into _aseem_1916 | 09 February 2021, 04:42:33 UTC |
4e3aa28 | Aseem Rastogi | 09 February 2021, 04:41:30 UTC | perm | 09 February 2021, 04:41:30 UTC |
7fd4b45 | Aseem Rastogi | 09 February 2021, 04:41:07 UTC | tweak to a proof | 09 February 2021, 04:41:07 UTC |
25bb3e0 | Son Ho | 08 February 2021, 12:54:01 UTC | Add tests for AVX2 support in the test files | 08 February 2021, 12:54:01 UTC |
2fe44fe | Son Ho | 08 February 2021, 12:45:52 UTC | Merge remote-tracking branch 'origin/master' into son_functor_blocks | 08 February 2021, 12:45:52 UTC |
5825788 | Son Ho | 08 February 2021, 12:11:49 UTC | Regenerate the extracted files | 08 February 2021, 12:11:49 UTC |
3267f3d | Son Ho | 08 February 2021, 12:11:30 UTC | Add test files for the vectorized instantiations of the streaming functor | 08 February 2021, 12:11:30 UTC |
510312f | Son Ho | 08 February 2021, 10:17:48 UTC | Add instantiations of the init functions for Blake2 streaming | 08 February 2021, 10:17:48 UTC |
ffd3b83 | Son Ho | 08 February 2021, 09:43:49 UTC | Fix the streaming functor internal state lengths for Poly1305 | 08 February 2021, 09:43:49 UTC |
b4d9696 | Dzomo, the Everest Yak | 08 February 2021, 08:28:19 UTC | [CI] regenerate hints and dist | 08 February 2021, 08:28:19 UTC |
23cd7c9 | Dzomo, the Everest Yak | 07 February 2021, 08:27:17 UTC | [CI] regenerate hints and dist | 07 February 2021, 08:27:17 UTC |
bac8e3b | Dzomo, the Everest Yak | 06 February 2021, 08:28:43 UTC | [CI] regenerate hints and dist | 06 February 2021, 08:28:43 UTC |
62308ef | Son Ho | 05 February 2021, 18:05:52 UTC | Merge remote-tracking branch 'origin/master' into son_functor_blocks | 05 February 2021, 18:05:52 UTC |
dd3d72d | Son Ho | 05 February 2021, 17:08:28 UTC | Stabilize the proofs in Hacl.Streaming.Functor | 05 February 2021, 17:08:28 UTC |
22e80a9 | Son Ho | 05 February 2021, 15:57:49 UTC | Add some newly generated files | 05 February 2021, 15:57:49 UTC |
21e88ec | Son Ho | 05 February 2021, 15:45:08 UTC | Regenerate the extracted files | 05 February 2021, 15:45:08 UTC |
249ba78 | Son Ho | 05 February 2021, 15:39:35 UTC | Increase an rlimit | 05 February 2021, 15:39:35 UTC |
902f05d | Son Ho | 05 February 2021, 15:26:47 UTC | Remove a line used for debugging which made make fail | 05 February 2021, 15:26:47 UTC |
75a455f | Son Ho | 05 February 2021, 14:55:13 UTC | Update EverCrypt.Hash.Incremental | 05 February 2021, 14:55:13 UTC |
cac1bea | Son Ho | 05 February 2021, 14:52:33 UTC | Update the functor instances | 05 February 2021, 14:52:33 UTC |
aea6783 | Son Ho | 05 February 2021, 14:30:57 UTC | Perform minor optimizations | 05 February 2021, 14:30:57 UTC |
e75fe17 | Son Ho | 05 February 2021, 14:24:27 UTC | Start updating the streaming functor to make the internal buffer a multiple of the block size | 05 February 2021, 14:24:27 UTC |
00a7ef1 | Aseem Rastogi | 05 February 2021, 09:05:40 UTC | Merge branch 'master' into _aseem_1916 | 05 February 2021, 09:05:40 UTC |