122750f | Dzomo, the Everest Yak | 31 March 2021, 08:28:17 UTC | [CI] regenerate hints and dist | 31 March 2021, 08:28:17 UTC |
01ba1a3 | Aseem Rastogi | 30 March 2021, 17:10:47 UTC | Merge pull request #428 from project-everest/aseem_fstar_fast_implicits A proof tweak for build break | 30 March 2021, 17:10:47 UTC |
ca84ea6 | Aseem Rastogi | 30 March 2021, 10:55:20 UTC | a proof tweak for build break | 30 March 2021, 10:55:20 UTC |
b31bd15 | Dzomo, the Everest Yak | 30 March 2021, 08:28:16 UTC | [CI] regenerate hints and dist | 30 March 2021, 08:28:16 UTC |
d2b1a8a | Dzomo, the Everest Yak | 29 March 2021, 08:28:09 UTC | [CI] regenerate hints and dist | 29 March 2021, 08:28:09 UTC |
749f58d | Dzomo, the Everest Yak | 28 March 2021, 08:29:00 UTC | [CI] regenerate hints and dist | 28 March 2021, 08:29:00 UTC |
bd3d371 | Benjamin Beurdouche | 27 March 2021, 18:15:10 UTC | Merge pull request #427 from project-everest/beurdouche_byteseq Definition of pub_empty_bytes and aliases | 27 March 2021, 18:15:10 UTC |
7056fae | Benjamin Beurdouche | 27 March 2021, 17:05:20 UTC | Merge branch 'master' into beurdouche_byteseq | 27 March 2021, 17:05:20 UTC |
4e14155 | Benjamin Beurdouche | 27 March 2021, 16:32:48 UTC | Definition of pub_empty_bytes and aliases | 27 March 2021, 16:32:48 UTC |
9be6aaa | Dzomo, the Everest Yak | 27 March 2021, 08:24:48 UTC | [CI] regenerate hints and dist | 27 March 2021, 08:24:48 UTC |
1df06fc | Dzomo, the Everest Yak | 26 March 2021, 08:24:46 UTC | [CI] regenerate hints and dist | 26 March 2021, 08:24:46 UTC |
29c00a7 | Dzomo, the Everest Yak | 25 March 2021, 08:24:53 UTC | [CI] regenerate hints and dist | 25 March 2021, 08:24:53 UTC |
436a130 | Dzomo, the Everest Yak | 24 March 2021, 08:24:35 UTC | [CI] regenerate hints and dist | 24 March 2021, 08:24:35 UTC |
927a70b | Dzomo, the Everest Yak | 23 March 2021, 08:24:34 UTC | [CI] regenerate hints and dist | 23 March 2021, 08:24:34 UTC |
58ae94a | Tahina Ramananandro (professional account) | 22 March 2021, 16:25:39 UTC | Merge pull request #425 from project-everest/taramana_ci Makefile: missing openssl include for handwritten tests | 22 March 2021, 16:25:39 UTC |
4c9ae30 | Tahina Ramananandro (professional account) | 22 March 2021, 15:43:51 UTC | Merge branch 'master' into taramana_ci | 22 March 2021, 15:43:51 UTC |
e4cab74 | Dzomo, the Everest Yak | 22 March 2021, 08:29:38 UTC | [CI] regenerate hints and dist | 22 March 2021, 08:29:38 UTC |
7fe55a1 | Dzomo, the Everest Yak | 21 March 2021, 08:28:29 UTC | [CI] regenerate hints and dist | 21 March 2021, 08:28:29 UTC |
ea73187 | Dzomo, the Everest Yak | 20 March 2021, 08:22:27 UTC | [CI] regenerate hints and dist | 20 March 2021, 08:22:27 UTC |
88b5826 | Dzomo, the Everest Yak | 19 March 2021, 08:27:37 UTC | [CI] regenerate hints and dist | 19 March 2021, 08:27:37 UTC |
fb43adc | Tahina Ramananandro | 19 March 2021, 06:50:52 UTC | missing openssl include for handwritten tests? | 19 March 2021, 06:50:52 UTC |
dcd97d2 | Dzomo, the Everest Yak | 18 March 2021, 08:26:07 UTC | [CI] regenerate hints and dist | 18 March 2021, 08:26:07 UTC |
4b7c9e4 | Dzomo, the Everest Yak | 17 March 2021, 08:24:30 UTC | [CI] regenerate hints and dist | 17 March 2021, 08:24:30 UTC |
f64651c | Dzomo, the Everest Yak | 16 March 2021, 08:26:21 UTC | [CI] regenerate hints and dist | 16 March 2021, 08:26:21 UTC |
e18bf11 | Dzomo, the Everest Yak | 15 March 2021, 08:24:15 UTC | [CI] regenerate hints and dist | 15 March 2021, 08:24:15 UTC |
cec61ac | Dzomo, the Everest Yak | 14 March 2021, 08:29:30 UTC | [CI] regenerate hints and dist | 14 March 2021, 08:29:30 UTC |
f48db0a | Dzomo, the Everest Yak | 13 March 2021, 08:25:32 UTC | [CI] regenerate hints and dist | 13 March 2021, 08:25:32 UTC |
4e096f6 | nikswamy | 12 March 2021, 21:17:13 UTC | Merge pull request #422 from project-everest/nik_vale_rlimit bump rlimit on lemma that is failing with an F* update | 12 March 2021, 21:17:13 UTC |
6c68959 | Nikhil Swamy | 12 March 2021, 20:17:28 UTC | bump rlimit on lemma that is failing with an F* update | 12 March 2021, 20:17:28 UTC |
94e44d1 | Dzomo, the Everest Yak | 12 March 2021, 08:25:15 UTC | [CI] regenerate hints and dist | 12 March 2021, 08:25:15 UTC |
cd7d6a7 | Dzomo, the Everest Yak | 11 March 2021, 08:30:47 UTC | [CI] regenerate hints and dist | 11 March 2021, 08:30:47 UTC |
d68482b | Marina Polubelova | 10 March 2021, 19:36:52 UTC | Merge pull request #419 from project-everest/polubelova_ed25519_inline remove cinline from some functions in ed25519 | 10 March 2021, 19:36:52 UTC |
6d0e9a4 | marina polubelova | 10 March 2021, 18:13:34 UTC | remove cinline from some functions in ed25519 | 10 March 2021, 18:13:34 UTC |
7f98aa2 | Franziskus Kiefer | 10 March 2021, 17:01:57 UTC | Merge pull request #418 from project-everest/franziskus/windows-build-issues-ed25519 Don't inline point_negate | 10 March 2021, 17:01:57 UTC |
e87ba29 | Franziskus Kiefer | 10 March 2021, 15:57:16 UTC | Don't inline point_negate | 10 March 2021, 15:57:16 UTC |
9da3428 | Dzomo, the Everest Yak | 10 March 2021, 08:47:41 UTC | [CI] regenerate hints and dist | 10 March 2021, 08:47:41 UTC |
c06b5f6 | Dzomo, the Everest Yak | 09 March 2021, 08:27:09 UTC | [CI] regenerate hints and dist | 09 March 2021, 08:27:09 UTC |
730fe0c | Jonathan Protzenko | 08 March 2021, 19:23:03 UTC | Merge pull request #417 from project-everest/protz_ci Missing dependency edge in the Makefile | 08 March 2021, 19:23:03 UTC |
15b64a7 | Dzomo the everest Yak | 08 March 2021, 17:58:13 UTC | [CI] regenerate hints and dist | 08 March 2021, 17:58:13 UTC |
f206b28 | Jonathan Protzenko | 08 March 2021, 16:56:12 UTC | fix | 08 March 2021, 16:56:12 UTC |
615498e | Jonathan Protzenko | 08 March 2021, 16:46:36 UTC | proper fix | 08 March 2021, 16:46:36 UTC |
09c19c2 | Jonathan Protzenko | 08 March 2021, 15:50:28 UTC | Missing dependency | 08 March 2021, 15:50:28 UTC |
c95ab70 | karthikbhargavan | 06 March 2021, 21:40:48 UTC | Merge pull request #415 from project-everest/polubelova_dist fix makefile bundles | 06 March 2021, 21:40:48 UTC |
ab8d227 | marina polubelova | 06 March 2021, 20:35:45 UTC | refresh dist | 06 March 2021, 20:35:45 UTC |
881e741 | marina polubelova | 06 March 2021, 20:35:19 UTC | fix bundles | 06 March 2021, 20:35:19 UTC |
b8ed626 | karthikbhargavan | 05 March 2021, 21:10:26 UTC | Merge pull request #414 from project-everest/p256_spec_refactor P256 spec refactor | 05 March 2021, 21:10:26 UTC |
1d158f8 | Jonathan Protzenko | 05 March 2021, 20:19:15 UTC | try fix | 05 March 2021, 20:19:15 UTC |
7b9aa37 | Jonathan Protzenko | 05 March 2021, 17:49:18 UTC | try to fix the build | 05 March 2021, 17:49:18 UTC |
972ca6d | karthikbhargavan | 05 March 2021, 17:29:52 UTC | Merge branch 'master' into p256_spec_refactor | 05 March 2021, 17:29:52 UTC |
6064d9f | karthikbhargavan | 05 March 2021, 17:29:35 UTC | Merge pull request #413 from project-everest/beurdouche_hacl_upgrade Improvement to Chacha20Poly1305 | 05 March 2021, 17:29:35 UTC |
aef9671 | Benjamin Beurdouche | 05 March 2021, 15:52:23 UTC | Merge branch 'master' into beurdouche_hacl_upgrade | 05 March 2021, 15:52:23 UTC |
ad2b70b | karthikbhargavan | 05 March 2021, 15:44:59 UTC | Merge branch 'master' into p256_spec_refactor | 05 March 2021, 15:44:59 UTC |
94cb243 | karthikbhargavan | 05 March 2021, 15:34:28 UTC | removed Lib.Memzero0 | 05 March 2021, 15:34:28 UTC |
18a0eb8 | karthikbhargavan | 05 March 2021, 15:33:23 UTC | don't push hint & dist changes | 05 March 2021, 15:33:23 UTC |
38f1a0d | karthikbhargavan | 05 March 2021, 14:48:17 UTC | a refactoring of the p256 specs to remove a dependency on Lib.Buffer | 05 March 2021, 14:48:17 UTC |
068b19f | karthikbhargavan | 05 March 2021, 13:55:51 UTC | a refactoring of the p256 specs to remove a dependency on Lib.Buffer | 05 March 2021, 13:55:51 UTC |
190ad51 | Son HO | 05 March 2021, 13:46:54 UTC | Merge pull request #410 from project-everest/son_ibm1 Generalize the build system for Vec128/256 and implement vectorized support for IBM SystemZ | 05 March 2021, 13:46:54 UTC |
00d7e32 | Son Ho | 05 March 2021, 12:49:21 UTC | Regenerate the dist/ files | 05 March 2021, 12:49:21 UTC |
84e0259 | Son Ho | 05 March 2021, 12:38:21 UTC | Update the macros in evercrypt_targetconfig.h | 05 March 2021, 12:38:21 UTC |
acb64f8 | Son Ho | 05 March 2021, 11:19:23 UTC | Merge remote-tracking branch 'origin/master' into son_ibm1 | 05 March 2021, 11:19:23 UTC |
4834c07 | Dzomo, the Everest Yak | 05 March 2021, 08:29:50 UTC | [CI] regenerate hints and dist | 05 March 2021, 08:29:50 UTC |
e037d13 | Son Ho | 04 March 2021, 18:59:08 UTC | Remove the debugging facilities from libintvector.h | 04 March 2021, 18:59:08 UTC |
647d177 | Son Ho | 04 March 2021, 17:35:26 UTC | Change a hardware support requirement in EverCrypt.Poly1305.fst | 04 March 2021, 17:35:26 UTC |
b2e2f89 | Son Ho | 04 March 2021, 17:32:39 UTC | Remove a useless rule in tests/Makefile | 04 March 2021, 17:32:39 UTC |
c35437e | Son Ho | 04 March 2021, 10:50:30 UTC | Regenerate the dist/ directory | 04 March 2021, 10:50:30 UTC |
8a06d52 | Son Ho | 04 March 2021, 09:33:33 UTC | Rename COMPILE_128/256 to COMPILE_VEC128/256 | 04 March 2021, 09:33:33 UTC |
c35e273 | Benjamin Beurdouche | 04 March 2021, 09:24:55 UTC | Merge branch 'master' into beurdouche_hacl_upgrade | 04 March 2021, 09:24:55 UTC |
793d60e | Dzomo, the Everest Yak | 04 March 2021, 08:26:07 UTC | [CI] regenerate hints and dist | 04 March 2021, 08:26:07 UTC |
23b07ca | Son Ho | 04 March 2021, 08:17:42 UTC | Replace the macros occurrences forgotten in the previous commit | 04 March 2021, 08:17:42 UTC |
9f72cf7 | Benjamin Beurdouche | 04 March 2021, 07:38:43 UTC | Minor update chacha20poly1305 | 04 March 2021, 07:38:43 UTC |
f798b83 | Marina Polubelova | 03 March 2021, 20:55:06 UTC | Merge pull request #411 from project-everest/polubelova_ed25519_master share bignum25519_51 between curve25519 and ed25519 | 03 March 2021, 20:55:06 UTC |
dd5d718 | Marina Polubelova | 03 March 2021, 20:06:12 UTC | Merge branch 'master' into polubelova_ed25519_master | 03 March 2021, 20:06:12 UTC |
5056961 | Son Ho | 03 March 2021, 18:56:35 UTC | Regenerate the dist files | 03 March 2021, 18:56:35 UTC |
8c24540 | Son Ho | 03 March 2021, 18:36:11 UTC | Add the prefix "evercrypt_can_" to the macros compile_vale, compile_128... declared in EverCrypt.TargetConfig.fsti and update the .c files and the configure | 03 March 2021, 18:36:11 UTC |
03e719e | Dzomo, the Everest Yak | 03 March 2021, 08:24:38 UTC | [CI] regenerate hints and dist | 03 March 2021, 08:24:38 UTC |
26f3e59 | marina polubelova | 02 March 2021, 18:57:39 UTC | rename | 02 March 2021, 18:57:39 UTC |
8e140e4 | marina polubelova | 02 March 2021, 18:11:14 UTC | Merge remote-tracking branch 'origin/master' into polubelova_ed25519_master | 02 March 2021, 18:11:14 UTC |
f33aff4 | marina polubelova | 02 March 2021, 18:10:49 UTC | refresh dist | 02 March 2021, 18:10:49 UTC |
1505799 | marina polubelova | 02 March 2021, 18:10:19 UTC | fix bundles | 02 March 2021, 18:10:19 UTC |
d52dfac | Dzomo, the Everest Yak | 02 March 2021, 08:35:46 UTC | [CI] regenerate hints and dist | 02 March 2021, 08:35:46 UTC |
89486c4 | Son Ho | 01 March 2021, 21:55:53 UTC | Regenerate the extracted files | 01 March 2021, 21:55:53 UTC |
c9dfbba | Son Ho | 01 March 2021, 18:40:02 UTC | Guard the code of Curve25519 64 with compile_inline_asm and not compile_intrinsics | 01 March 2021, 18:40:02 UTC |
cf5a977 | Son Ho | 01 March 2021, 17:34:30 UTC | Fix tests/Makefile for vec-128-test.c | 01 March 2021, 17:34:30 UTC |
3bd70b6 | Son Ho | 01 March 2021, 17:29:00 UTC | Merge branch 'son_ibm1' into _son_ibm1 | 01 March 2021, 17:29:00 UTC |
de36b7c | Son Ho | 01 March 2021, 17:26:32 UTC | Fix more issues with the filtering in tests/Makefile | 01 March 2021, 17:26:32 UTC |
36ae14f | Son Ho | 01 March 2021, 17:15:50 UTC | Fix a mistake in tests/Makefile | 01 March 2021, 17:15:50 UTC |
b781502 | Son Ho | 01 March 2021, 17:09:27 UTC | Fix tests/Makefile to correctly filter the unsupported targets | 01 March 2021, 17:09:27 UTC |
21b8bc8 | Son Ho | 01 March 2021, 17:01:16 UTC | Make minor modifications to tests/Makefile | 01 March 2021, 17:01:16 UTC |
e890cdd | Son Ho | 01 March 2021, 16:45:38 UTC | Remove the macros guarding some tests | 01 March 2021, 16:45:38 UTC |
e165d67 | Son Ho | 01 March 2021, 15:33:29 UTC | Regenerate the dist snapshot | 01 March 2021, 15:33:29 UTC |
8cea2ae | Son Ho | 01 March 2021, 14:43:08 UTC | Update dist/configure and evercrypt_targetconfig.h to fix the OCaml bindings on architectures != x64 | 01 March 2021, 14:43:08 UTC |
5bec49d | Son Ho | 01 March 2021, 14:15:08 UTC | Update evercrypt_targetconfig.h to put back an enum for the target architectures | 01 March 2021, 14:15:08 UTC |
76e7d3e | Son Ho | 01 March 2021, 14:01:36 UTC | Fix the generation of config.h for the IBMz OCaml bindings | 01 March 2021, 14:01:36 UTC |
3b7bcec | Son Ho | 01 March 2021, 11:32:30 UTC | Remove the -mtune and -march compilation options from test/Makefile because compilation is controlled by dist/gcc-compatible/Makefile.config | 01 March 2021, 11:32:30 UTC |
563eddf | Son Ho | 01 March 2021, 10:45:48 UTC | Regenerate all the dist/ snapshots | 01 March 2021, 10:45:48 UTC |
b27651c | Dzomo, the Everest Yak | 01 March 2021, 08:36:57 UTC | [CI] regenerate hints and dist | 01 March 2021, 08:36:57 UTC |
267a416 | Dzomo, the Everest Yak | 28 February 2021, 08:30:15 UTC | [CI] regenerate hints and dist | 28 February 2021, 08:30:15 UTC |
273ab52 | Dzomo, the Everest Yak | 27 February 2021, 08:29:18 UTC | [CI] regenerate hints and dist | 27 February 2021, 08:29:18 UTC |
819fe37 | Son Ho | 26 February 2021, 18:44:29 UTC | Regenerate the gcc-compatible snapshot | 26 February 2021, 18:44:29 UTC |
ff7adc2 | Son Ho | 26 February 2021, 18:43:02 UTC | Fix evercrypt_targetconfig.h | 26 February 2021, 18:43:02 UTC |