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 |
efd58de | Dzomo, the Everest Yak | 11 February 2021, 08:37:06 UTC | [CI] regenerate hints and dist | 11 February 2021, 08:37:06 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 |
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 |
411aead | Aseem Rastogi | 05 February 2021, 09:03:36 UTC | Revert "moving some refinements in mutually recursive functions to requires" This reverts commit e353b3a8a44665229468613e233efc3553252638. | 05 February 2021, 09:03:36 UTC |
89787d0 | Dzomo, the Everest Yak | 05 February 2021, 08:29:06 UTC | [CI] regenerate hints and dist | 05 February 2021, 08:29:06 UTC |
3612bee | Marina Polubelova | 04 February 2021, 20:05:23 UTC | Merge pull request #394 from project-everest/polubelova_sqr proof stability fix for bignum | 04 February 2021, 20:05:23 UTC |
c99dccb | Marina Polubelova | 04 February 2021, 17:15:41 UTC | restructure: add hacl.spec.bignum.squaring | 04 February 2021, 17:15:41 UTC |
b69a912 | Dzomo, the Everest Yak | 04 February 2021, 08:34:09 UTC | [CI] regenerate hints and dist | 04 February 2021, 08:34:09 UTC |
1d75ea4 | Marina Polubelova | 03 February 2021, 22:45:16 UTC | Merge pull request #391 from project-everest/polubelova_bignum bignum library | 03 February 2021, 22:45:16 UTC |
7bed88c | Marina Polubelova | 03 February 2021, 22:00:10 UTC | Merge remote-tracking branch 'origin/master' into polubelova_bignum | 03 February 2021, 22:00:10 UTC |
d5ecb08 | Dzomo, the Everest Yak | 03 February 2021, 08:26:23 UTC | [CI] regenerate hints and dist | 03 February 2021, 08:26:23 UTC |
e353b3a | Aseem Rastogi | 02 February 2021, 08:44:48 UTC | moving some refinements in mutually recursive functions to requires | 02 February 2021, 08:44:48 UTC |
425ee65 | Marina Polubelova | 01 February 2021, 09:58:06 UTC | add README.md | 01 February 2021, 09:58:06 UTC |
2068346 | Aseem Rastogi | 01 February 2021, 09:27:19 UTC | changes for removing lex_t from F* | 01 February 2021, 09:27:19 UTC |
4cf2c3e | Marina Polubelova | 30 January 2021, 15:50:16 UTC | addressing PR comments | 30 January 2021, 15:50:16 UTC |
978ab27 | Marina Polubelova | 30 January 2021, 15:49:31 UTC | update AUTHORS.md | 30 January 2021, 15:49:31 UTC |
5232a4d | marina polubelova | 18 January 2021, 11:42:28 UTC | refresh dist | 18 January 2021, 11:42:28 UTC |
bc432de | Marina Polubelova | 18 January 2021, 11:19:45 UTC | wip | 18 January 2021, 11:19:45 UTC |
33f8184 | marina polubelova | 15 January 2021, 16:43:12 UTC | refresh dist | 15 January 2021, 16:43:12 UTC |
2f3eba3 | Marina Polubelova | 15 January 2021, 14:29:30 UTC | refresh hints | 15 January 2021, 14:29:30 UTC |
19b51d4 | Marina Polubelova | 15 January 2021, 13:37:37 UTC | Merge remote-tracking branch 'origin/master' into polubelova_exp | 15 January 2021, 13:37:37 UTC |
b701035 | Marina Polubelova | 15 January 2021, 13:37:19 UTC | wip | 15 January 2021, 13:37:19 UTC |
515a2f1 | Marina Polubelova | 15 January 2021, 10:38:32 UTC | wip: bn_mod_exp_fw | 15 January 2021, 10:38:32 UTC |
9c705e3 | Marina Polubelova | 15 January 2021, 09:51:01 UTC | wip: bn_mod_exp_fw | 15 January 2021, 09:51:01 UTC |
a6430bd | Marina Polubelova | 14 January 2021, 13:41:41 UTC | wip: add bn_mont_one and bn_get_bits | 14 January 2021, 13:41:41 UTC |
96ad4e4 | Jonathan Protzenko | 13 January 2021, 15:35:17 UTC | Merge pull request #389 from project-everest/franziskus/dist-ci New CI for dist | 13 January 2021, 15:35:17 UTC |
629e7ff | Franziskus Kiefer | 13 January 2021, 08:04:52 UTC | no arm32 ci for now | 13 January 2021, 08:04:52 UTC |
f1cfe34 | Franziskus Kiefer | 12 January 2021, 19:54:44 UTC | check for arm | 12 January 2021, 19:54:44 UTC |
7ae1b72 | Franziskus Kiefer | 12 January 2021, 18:12:16 UTC | adding --disable-sandboxing to opam init | 12 January 2021, 18:12:16 UTC |
e06e960 | marina polubelova | 11 January 2021, 16:04:28 UTC | refresh dist | 11 January 2021, 16:04:28 UTC |
47326aa | marina polubelova | 11 January 2021, 16:03:44 UTC | fix makefile bundles | 11 January 2021, 16:03:44 UTC |
bfcbd75 | Marina Polubelova | 11 January 2021, 15:29:08 UTC | wip | 11 January 2021, 15:29:08 UTC |
ba76709 | Franziskus Kiefer | 10 January 2021, 10:08:25 UTC | drop ppa | 10 January 2021, 10:08:25 UTC |
cabe173 | Franziskus Kiefer | 10 January 2021, 09:27:41 UTC | install gnupg-agent | 10 January 2021, 09:27:41 UTC |
55e1c65 | Franziskus Kiefer | 10 January 2021, 09:15:49 UTC | install software-properties-common | 10 January 2021, 09:15:49 UTC |
966703e | Franziskus Kiefer | 09 January 2021, 10:29:20 UTC | re-trigger | 09 January 2021, 10:29:20 UTC |
5f4f93f | Marina Polubelova | 06 January 2021, 11:31:49 UTC | Merge branch 'polubelova_bignum32' into polubelova_exp | 06 January 2021, 11:31:49 UTC |
050db8a | Marina Polubelova | 06 January 2021, 11:30:03 UTC | Merge branch 'master' into polubelova_bignum32 | 06 January 2021, 11:30:03 UTC |
3f407fd | Franziskus Kiefer | 28 December 2020, 11:37:35 UTC | Create .drone.yml | 28 December 2020, 11:37:35 UTC |
f4c4782 | Franziskus Kiefer | 28 December 2020, 11:13:05 UTC | Update dist.yml | 28 December 2020, 11:13:05 UTC |
0d5dd16 | Franziskus Kiefer | 28 December 2020, 11:11:14 UTC | Update script.bat | 28 December 2020, 11:11:14 UTC |
58197a4 | Franziskus Kiefer | 28 December 2020, 11:09:17 UTC | Update dist.yml | 28 December 2020, 11:09:17 UTC |
4d04319 | Franziskus Kiefer | 28 December 2020, 11:06:45 UTC | Update dist.yml | 28 December 2020, 11:06:45 UTC |
19554b1 | Franziskus Kiefer | 28 December 2020, 10:59:29 UTC | Create dist.yml Basic CI for the dist folder (gcc-compatible) * Windows * Linux * MacOS | 28 December 2020, 10:59:29 UTC |
05fb4f6 | Marina Polubelova | 18 December 2020, 18:59:40 UTC | Merge pull request #387 from project-everest/_aseem_binders_attrs Accommodating changes in the F* reflection API for exporting attributes on binders | 18 December 2020, 18:59:40 UTC |
7a3199c | Aseem Rastogi | 18 December 2020, 07:45:21 UTC | exposing binder attributes in the F* reflection API | 18 December 2020, 07:45:21 UTC |
d88c750 | Dzomo, the Everest Yak | 13 December 2020, 08:24:57 UTC | [CI] regenerate hints and dist | 13 December 2020, 08:24:57 UTC |
7b175a6 | Dzomo, the Everest Yak | 12 December 2020, 08:27:48 UTC | [CI] regenerate hints and dist | 12 December 2020, 08:27:48 UTC |
614766e | Dzomo, the Everest Yak | 11 December 2020, 08:27:33 UTC | [CI] regenerate hints and dist | 11 December 2020, 08:27:33 UTC |
3a2ce95 | Dzomo, the Everest Yak | 09 December 2020, 08:25:07 UTC | [CI] regenerate hints and dist | 09 December 2020, 08:25:07 UTC |
fc56fcd | Dzomo, the Everest Yak | 08 December 2020, 08:26:23 UTC | [CI] regenerate hints and dist | 08 December 2020, 08:26:23 UTC |
aedc616 | Dzomo, the Everest Yak | 07 December 2020, 08:27:04 UTC | [CI] regenerate hints and dist | 07 December 2020, 08:27:04 UTC |
bd844a3 | Dzomo, the Everest Yak | 06 December 2020, 08:31:01 UTC | [CI] regenerate hints and dist | 06 December 2020, 08:31:01 UTC |
46dc1be | Dzomo, the Everest Yak | 05 December 2020, 08:25:34 UTC | [CI] regenerate hints and dist | 05 December 2020, 08:25:34 UTC |
5eba2da | Dzomo, the Everest Yak | 04 December 2020, 08:33:26 UTC | [CI] regenerate hints and dist | 04 December 2020, 08:33:26 UTC |
3138658 | Benjamin Beurdouche | 03 December 2020, 18:09:10 UTC | Merge pull request #386 from project-everest/aseem_deprecate_two_phase_tc_option Deprecate two phase tc option | 03 December 2020, 18:09:10 UTC |