| 9e68720 | Marina Polubelova | 07 March 2021, 15:42:18 UTC | refresh hints | 07 March 2021, 15:42:18 UTC |
| 4c5d3cc | marina polubelova | 07 March 2021, 14:23:27 UTC | refresh dist | 07 March 2021, 14:23:27 UTC |
| d363c13 | marina polubelova | 07 March 2021, 14:23:08 UTC | fix makefiles | 07 March 2021, 14:23:08 UTC |
| 9c72e53 | marina polubelova | 07 March 2021, 13:57:12 UTC | merge master | 07 March 2021, 13:57:12 UTC |
| f2f43c8 | Marina Polubelova | 07 March 2021, 13:52:38 UTC | make argument names more meaningful | 07 March 2021, 13:52:38 UTC |
| 1a7fcb9 | Marina Polubelova | 07 March 2021, 13:51:08 UTC | rename variables in generated code | 07 March 2021, 13:51:08 UTC |
| 0f33097 | Marina Polubelova | 07 March 2021, 13:49:58 UTC | remove noextract from lib | 07 March 2021, 13:49:58 UTC |
| 5900dfb | Marina Polubelova | 07 March 2021, 13:49:28 UTC | use elim_of_list, thanks @msprotz | 07 March 2021, 13:49: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 |
| 983e050 | Marina Polubelova | 02 March 2021, 10:16:33 UTC | Merge remote-tracking branch 'origin/master' into polubelova_sha2mb | 02 March 2021, 10:16:33 UTC |
| 121a974 | Marina Polubelova | 02 March 2021, 10:16:21 UTC | refresh hints | 02 March 2021, 10:16:21 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 |
| d352a3a | marina polubelova | 26 February 2021, 01:07:40 UTC | refresh hints | 26 February 2021, 01:07:40 UTC |
| 377a0d2 | marina polubelova | 26 February 2021, 00:29:04 UTC | fix bundles | 26 February 2021, 00:29:04 UTC |
| 1d57f14 | marina polubelova | 25 February 2021, 23:58:06 UTC | refresh dist | 25 February 2021, 23:58:06 UTC |
| 409db0b | marina polubelova | 25 February 2021, 23:57:34 UTC | fix create4 | 25 February 2021, 23:57:34 UTC |
| 95e9e44 | Marina Polubelova | 25 February 2021, 23:16:18 UTC | hopefully this commit will be reverted one day | 25 February 2021, 23:16:18 UTC |
| 1613b45 | Marina Polubelova | 25 February 2021, 23:14:28 UTC | wip: sha2-mb | 25 February 2021, 23:14:28 UTC |
| 316112b | Marina Polubelova | 25 February 2021, 23:10:50 UTC | move createN to lib.sequence | 25 February 2021, 23:10:50 UTC |
| 854cba9 | Marina Polubelova | 25 February 2021, 21:27:29 UTC | wip: lib | 25 February 2021, 21:27:29 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 |
