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 |
9a1aa2e | Son Ho | 26 February 2021, 18:34:34 UTC | Update EverCrypt.Chacha20Poly1305 (forgotten in a previous commit) | 26 February 2021, 18:34:34 UTC |
8c63890 | Son Ho | 26 February 2021, 17:45:41 UTC | Udpate dist/configure and Makefile | 26 February 2021, 17:45:41 UTC |
6f37bce | Son Ho | 26 February 2021, 17:30:56 UTC | Fix, simplify and cleanup the tests which use the support flags in EverCrypt (compile_128, compile_vale, etc.) | 26 February 2021, 17:30:56 UTC |
175f430 | Son Ho | 26 February 2021, 16:19:36 UTC | Update a comment in libintvector.h | 26 February 2021, 16:19:36 UTC |
24defc1 | Son Ho | 26 February 2021, 13:52:14 UTC | Merge remote-tracking branch 'origin/master' into son_ibm1 | 26 February 2021, 13:52:14 UTC |
068f219 | Son Ho | 26 February 2021, 13:20:52 UTC | Regenerate another file | 26 February 2021, 13:20:52 UTC |
ed5a9eb | Son Ho | 26 February 2021, 13:20:11 UTC | Add regenerated files from dist/gcc-compatible which were not added before | 26 February 2021, 13:20:11 UTC |
3335404 | Son Ho | 26 February 2021, 13:19:15 UTC | Minimize the diff with master by checking out directories from origin/master | 26 February 2021, 13:19:15 UTC |
6f65104 | Son Ho | 26 February 2021, 13:09:11 UTC | Regenerate dist/gcc-compatible | 26 February 2021, 13:09:11 UTC |
e0ec09c | Son Ho | 26 February 2021, 13:05:04 UTC | Guard the content of init_cpu_flags with EverCrypt.TargetConfig.compile_vale | 26 February 2021, 13:05:04 UTC |
506db43 | Son Ho | 26 February 2021, 12:58:41 UTC | Regenerate dist/gcc-compatible | 26 February 2021, 12:58:41 UTC |
539576e | Son Ho | 26 February 2021, 12:56:35 UTC | Update some macro names, add comments and update the configure file to generate the target architecture #define | 26 February 2021, 12:56:35 UTC |
7fc6186 | Son Ho | 26 February 2021, 12:17:43 UTC | Make syntactic modifications to fix the extraction of some tests as if macros | 26 February 2021, 12:17:43 UTC |
04c7818 | Son Ho | 26 February 2021, 10:56:34 UTC | Fix EverCrypt.AutoConfig2.fsti and add the missing implementations for has_vec128/256 | 26 February 2021, 10:56:34 UTC |
47b1a47 | Son Ho | 26 February 2021, 10:53:42 UTC | Add -no-prefix EverCrypt.TargetConfig in the Kremlin invocation flags | 26 February 2021, 10:53:42 UTC |
570980a | Son Ho | 26 February 2021, 10:47:13 UTC | Update bindings/ocaml/AutoConfig2.ml | 26 February 2021, 10:47:13 UTC |
bdcc608 | Son Ho | 26 February 2021, 10:37:58 UTC | Update evercrypt_targetconfig.h, lib_intrinsics.h and confiure in dist/gcc-compatible | 26 February 2021, 10:37:58 UTC |
b5cfe03 | Son Ho | 26 February 2021, 10:36:38 UTC | Rename the SUPPORTS_VALE/INLINE_ASM... macros to COMPILE_VALE/INLINE_ASM... | 26 February 2021, 10:36:38 UTC |
a17ad9b | Son Ho | 26 February 2021, 10:31:09 UTC | Update the macros in EverCrypt.TargetConfig, update the corresponding F* code and evercrypt_targetconfig.h | 26 February 2021, 10:31:09 UTC |
848b07c | Dzomo, the Everest Yak | 26 February 2021, 08:33:33 UTC | [CI] regenerate hints and dist | 26 February 2021, 08:33:33 UTC |
4ad1109 | Son Ho | 26 February 2021, 08:13:05 UTC | In tests make sure all the tests using vec128 are guarded by #if defined(COMPILE_128) and remove the temporary file debug-test.c | 26 February 2021, 08:13:05 UTC |
a7d6285 | Son Ho | 26 February 2021, 07:50:10 UTC | Rename CAN_COMPILE_128/256 to COMPILE_128/256 | 26 February 2021, 07:50:10 UTC |
98ae789 | Son Ho | 25 February 2021, 20:00:58 UTC | Add a comment in tests/Makefile | 25 February 2021, 20:00:58 UTC |
6305347 | Son Ho | 25 February 2021, 19:59:52 UTC | Fix a mistake in tests/Makefile | 25 February 2021, 19:59:52 UTC |
c2b6c28 | Son Ho | 25 February 2021, 19:57:10 UTC | Update tests/Makefile to use the target architecture | 25 February 2021, 19:57:10 UTC |
b2d09e5 | Son Ho | 25 February 2021, 19:47:01 UTC | Update the configure files so that a variable for the target architecture is added to Makefile.config | 25 February 2021, 19:47:01 UTC |
bba31b1 | Son HO | 25 February 2021, 16:51:02 UTC | Merge pull request #409 from project-everest/son_fix Fix the build for ARM | 25 February 2021, 16:51:02 UTC |
ec7d5bc | Son Ho | 25 February 2021, 16:14:17 UTC | Fix the configure file for AMD | 25 February 2021, 16:14:17 UTC |