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 |
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 |
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 |
0c7d146 | Son Ho | 25 February 2021, 12:37:30 UTC | Cleanup tests/test_helpers and the macros used for SystemZ | 25 February 2021, 12:37:30 UTC |
c0b139a | Son Ho | 25 February 2021, 11:11:13 UTC | Try using tstck to implement cpucycles_begin/end for IBMz | 25 February 2021, 11:11:13 UTC |
627b5ef | Son Ho | 25 February 2021, 10:34:08 UTC | Revert "Update the switch_endian macros to use vec_revb" This reverts commit 4cb436cf1c892b3239132c2b6c4ab68aef090758. | 25 February 2021, 10:34:08 UTC |
4cb436c | Son Ho | 25 February 2021, 10:30:13 UTC | Update the switch_endian macros to use vec_revb | 25 February 2021, 10:30:13 UTC |
34c1015 | Son Ho | 25 February 2021, 10:05:26 UTC | Update and cleanup a bit tests/Makefile | 25 February 2021, 10:05:26 UTC |
1357d20 | Son Ho | 25 February 2021, 09:12:58 UTC | Replace the C macros SUPPORTS_128/256 by COMPILE_VEC128/256 | 25 February 2021, 09:12:58 UTC |
b7b249c | Son Ho | 25 February 2021, 08:59:25 UTC | Replace TEST_VEC256 by SUPPORTS_256 in the C test files | 25 February 2021, 08:59:25 UTC |
0085451 | Dzomo, the Everest Yak | 25 February 2021, 08:27:11 UTC | [CI] regenerate hints and dist | 25 February 2021, 08:27:11 UTC |
34a3a6a | Son Ho | 24 February 2021, 22:37:50 UTC | Update dist/gcc-compatible/libintvector.h | 24 February 2021, 22:37:50 UTC |
b04c155 | Son Ho | 24 February 2021, 22:32:10 UTC | Use vec_extract instead of the vec[i] notation | 24 February 2021, 22:32:10 UTC |
9516996 | Son Ho | 24 February 2021, 22:24:31 UTC | Fix a mistake in the last commit | 24 February 2021, 22:24:31 UTC |
e386fcb | Son Ho | 24 February 2021, 22:22:21 UTC | Modify a bit the definitions of the IBMz vector types and use the sequence of unsigned char as the default representation | 24 February 2021, 22:22:21 UTC |
fd572d1 | Son Ho | 24 February 2021, 22:19:22 UTC | Fix a mistake for store_le | 24 February 2021, 22:19:22 UTC |
e14a082 | Son Ho | 24 February 2021, 22:12:45 UTC | Add type annotations and parentheses in a "paranoid" way to the IBMz macros in libintvector.h | 24 February 2021, 22:12:45 UTC |
918cd3f | Son Ho | 24 February 2021, 21:59:07 UTC | Revert "Start updating the integer types used to define the IBMz vector" This reverts commit 8ca77c0dee0d6dba6f1a6b7c8fc1598065eefc3a. | 24 February 2021, 21:59:07 UTC |
1384b12 | Son Ho | 24 February 2021, 21:58:57 UTC | Revert "Try to fix rotate_left32" This reverts commit 402b5c477471f2e4dacff1ea348a9326239ddc35. | 24 February 2021, 21:58:57 UTC |
402b5c4 | Son Ho | 24 February 2021, 21:54:47 UTC | Try to fix rotate_left32 | 24 February 2021, 21:54:47 UTC |
8ca77c0 | Son Ho | 24 February 2021, 21:46:48 UTC | Start updating the integer types used to define the IBMz vector (uint32_t instead of unsigned int, etc.) | 24 February 2021, 21:46:48 UTC |
a2f316a | Son Ho | 24 February 2021, 21:38:48 UTC | Add tests for the different variants of load/store_le | 24 February 2021, 21:38:48 UTC |
fdf34e6 | Son Ho | 24 February 2021, 19:20:43 UTC | Merge remote-tracking branch 'origin/master' into _son_ibm1_debug | 24 February 2021, 19:20:43 UTC |
76d472c | Dzomo, the Everest Yak | 24 February 2021, 17:25:07 UTC | [CI] regenerate hints and dist | 24 February 2021, 17:25:07 UTC |
b78a467 | Son Ho | 24 February 2021, 16:55:05 UTC | Merge branch 'master' into _son_ibm1_debug | 24 February 2021, 16:55:05 UTC |
5ba00f5 | Son HO | 24 February 2021, 11:52:13 UTC | Merge pull request #408 from project-everest/son_store_load Make the vector store_le/load_le functions more specialized | 24 February 2021, 11:52:13 UTC |
88e0320 | Son Ho | 24 February 2021, 10:57:34 UTC | Revert "Add debugging information to Hacl_Poly1305_128 to debug when" This reverts commit 4bf12f6ea72c13551797eed300f3faf316431fab. | 24 February 2021, 10:57:34 UTC |
d2a736f | Son Ho | 24 February 2021, 10:57:25 UTC | Revert "Add more printf in Poly1305" This reverts commit 71ec7cf578475f1d1919f41a7d4152abb89dc171. | 24 February 2021, 10:57:25 UTC |
dbfcdc8 | Son Ho | 24 February 2021, 10:55:08 UTC | Update dist/gcc-compatible/libintvector.h | 24 February 2021, 10:55:08 UTC |
26fdb24 | Son Ho | 24 February 2021, 10:54:18 UTC | Simplify the type annotation for the load/store_le functions | 24 February 2021, 10:54:18 UTC |
0900e2e | Son Ho | 24 February 2021, 10:52:22 UTC | Update the store_le with offset test | 24 February 2021, 10:52:22 UTC |
b3c7202 | Son Ho | 24 February 2021, 10:49:01 UTC | Fix a mistake in the type annotations added in the last commit | 24 February 2021, 10:49:01 UTC |
b50c7ae | Son Ho | 24 February 2021, 10:46:59 UTC | Update dist/gcc-compatible/libintvector.h | 24 February 2021, 10:46:59 UTC |
ca91ebe | Son Ho | 24 February 2021, 10:46:29 UTC | Add tests in vec128-test to store/load in buffers with offsets | 24 February 2021, 10:46:29 UTC |