f95b54a | Dzomo, the Everest Yak | 01 October 2021, 08:30:56 UTC | [CI] regenerate hints and dist | 01 October 2021, 08:30:56 UTC |
3284441 | Dzomo, the Everest Yak | 29 September 2021, 09:38:38 UTC | [CI] regenerate hints and dist | 29 September 2021, 09:38:38 UTC |
853aeed | Dzomo, the Everest Yak | 26 September 2021, 08:31:21 UTC | [CI] regenerate hints and dist | 26 September 2021, 08:31:21 UTC |
600e09f | Dzomo, the Everest Yak | 25 September 2021, 09:01:36 UTC | [CI] regenerate hints and dist | 25 September 2021, 09:01:36 UTC |
c498b79 | Dzomo, the Everest Yak | 23 September 2021, 08:36:59 UTC | [CI] regenerate hints and dist | 23 September 2021, 08:36:59 UTC |
acf8289 | Dzomo, the Everest Yak | 22 September 2021, 08:28:06 UTC | [CI] regenerate hints and dist | 22 September 2021, 08:28:06 UTC |
349b052 | Dzomo, the Everest Yak | 21 September 2021, 08:27:14 UTC | [CI] regenerate hints and dist | 21 September 2021, 08:27:14 UTC |
b63038e | Jonathan Protzenko | 20 September 2021, 19:05:11 UTC | Merge pull request #477 from project-everest/protz_bundle Separate Hacl_Hash into more self-contained files | 20 September 2021, 19:05:11 UTC |
2aabf08 | Jonathan Protzenko | 20 September 2021, 16:14:40 UTC | fix wasm bindings | 20 September 2021, 16:14:40 UTC |
4f10fb8 | Jonathan Protzenko | 20 September 2021, 15:51:15 UTC | fix wasm build | 20 September 2021, 15:51:15 UTC |
3e097ab | Jonathan Protzenko | 20 September 2021, 15:23:40 UTC | Try to fix JS binding | 20 September 2021, 15:23:40 UTC |
e6e3fbb | Jonathan Protzenko | 17 September 2021, 23:45:36 UTC | try | 17 September 2021, 23:45:36 UTC |
a52b6e1 | Jonathan Protzenko | 17 September 2021, 22:03:36 UTC | Obviously, this also broke the OCaml bindings :'( | 17 September 2021, 22:03:36 UTC |
16f530f | Jonathan Protzenko | 17 September 2021, 21:03:16 UTC | Fix hand-written tests, too | 17 September 2021, 21:03:16 UTC |
049e1c4 | Jonathan Protzenko | 17 September 2021, 20:58:41 UTC | Merge remote-tracking branch 'origin/master' into protz_bundle | 17 September 2021, 20:58:41 UTC |
32033e1 | Jonathan Protzenko | 17 September 2021, 20:56:42 UTC | Fix silly benchmarks | 17 September 2021, 20:56:42 UTC |
81660a1 | Dzomo, the Everest Yak | 17 September 2021, 08:44:11 UTC | [CI] regenerate hints and dist | 17 September 2021, 08:44:11 UTC |
2293ed6 | Jonathan Protzenko | 17 September 2021, 00:05:04 UTC | Fix broken configure script (once again, a non-portable option was used) | 17 September 2021, 00:05:04 UTC |
aed5a85 | Jonathan Protzenko | 17 September 2021, 00:04:52 UTC | Split out hashes into MD5/SHA1/SHA2/Blake2 which reduces the dependencies of ed25519 | 17 September 2021, 00:04:52 UTC |
1ab5f75 | Dzomo, the Everest Yak | 16 September 2021, 08:47:28 UTC | [CI] regenerate hints and dist | 16 September 2021, 08:47:28 UTC |
02fe1e3 | Dzomo, the Everest Yak | 14 September 2021, 08:43:36 UTC | [CI] regenerate hints and dist | 14 September 2021, 08:43:36 UTC |
a39c586 | Dzomo, the Everest Yak | 13 September 2021, 08:47:18 UTC | [CI] regenerate hints and dist | 13 September 2021, 08:47:18 UTC |
637c9ea | Dzomo, the Everest Yak | 12 September 2021, 08:28:48 UTC | [CI] regenerate hints and dist | 12 September 2021, 08:28:48 UTC |
885bc07 | Dzomo, the Everest Yak | 11 September 2021, 08:44:26 UTC | [CI] regenerate hints and dist | 11 September 2021, 08:44:26 UTC |
fe91d08 | Dzomo, the Everest Yak | 10 September 2021, 08:44:26 UTC | [CI] regenerate hints and dist | 10 September 2021, 08:44:26 UTC |
6bb4895 | Dzomo, the Everest Yak | 06 September 2021, 08:44:14 UTC | [CI] regenerate hints and dist | 06 September 2021, 08:44:14 UTC |
9d4e63d | Dzomo, the Everest Yak | 04 September 2021, 08:43:31 UTC | [CI] regenerate hints and dist | 04 September 2021, 08:43:31 UTC |
c7e8e47 | Dzomo, the Everest Yak | 03 September 2021, 08:43:38 UTC | [CI] regenerate hints and dist | 03 September 2021, 08:43:38 UTC |
7ec1853 | Dzomo, the Everest Yak | 02 September 2021, 08:39:59 UTC | [CI] regenerate hints and dist | 02 September 2021, 08:39:59 UTC |
f4064e2 | Dzomo, the Everest Yak | 31 August 2021, 08:43:56 UTC | [CI] regenerate hints and dist | 31 August 2021, 08:43:56 UTC |
4a0d7f2 | Dzomo, the Everest Yak | 30 August 2021, 20:00:16 UTC | [CI] regenerate hints and dist | 30 August 2021, 20:00:16 UTC |
3080f8f | Dzomo, the Everest Yak | 27 August 2021, 08:44:17 UTC | [CI] regenerate hints and dist | 27 August 2021, 08:44:17 UTC |
12ed0cc | Dzomo, the Everest Yak | 26 August 2021, 08:43:41 UTC | [CI] regenerate hints and dist | 26 August 2021, 08:43:41 UTC |
cd34312 | Dzomo, the Everest Yak | 25 August 2021, 08:43:38 UTC | [CI] regenerate hints and dist | 25 August 2021, 08:43:38 UTC |
4b197eb | Dzomo, the Everest Yak | 24 August 2021, 08:46:35 UTC | [CI] regenerate hints and dist | 24 August 2021, 08:46:35 UTC |
4500078 | Dzomo, the Everest Yak | 23 August 2021, 08:44:10 UTC | [CI] regenerate hints and dist | 23 August 2021, 08:44:10 UTC |
f57407a | Dzomo, the Everest Yak | 21 August 2021, 08:35:39 UTC | [CI] regenerate hints and dist | 21 August 2021, 08:35:39 UTC |
bf189f3 | Dzomo, the Everest Yak | 20 August 2021, 08:37:25 UTC | [CI] regenerate hints and dist | 20 August 2021, 08:37:25 UTC |
85746a6 | Jonathan Protzenko | 19 August 2021, 15:45:51 UTC | Merge pull request #471 from antoniolocascio/antoniolocacio_2291 Adapt uses of sigelt_view to changes in FStar#2291 | 19 August 2021, 15:45:51 UTC |
f5d35e0 | Jonathan Protzenko | 19 August 2021, 15:06:58 UTC | Merge branch 'master' into antoniolocacio_2291 | 19 August 2021, 15:06:58 UTC |
a50b659 | Dzomo, the Everest Yak | 13 August 2021, 08:25:50 UTC | [CI] regenerate hints and dist | 13 August 2021, 08:25:50 UTC |
569a826 | Dzomo, the Everest Yak | 12 August 2021, 08:25:34 UTC | [CI] regenerate hints and dist | 12 August 2021, 08:25:34 UTC |
1eeddbc | Son HO | 11 August 2021, 11:49:26 UTC | Merge pull request #474 from project-everest/son_aesgcm2 Add AESGCM encrypt/decrypt functions with no dynamic checks | 11 August 2021, 11:49:26 UTC |
cf93fcb | Son Ho | 10 August 2021, 11:42:50 UTC | Make the "_no_check" functions in EverCrypt.AEAD always failed if compiled on a system which doesn't support Vale | 10 August 2021, 11:42:50 UTC |
01ed1be | Son Ho | 06 August 2021, 20:34:18 UTC | Fix the AESGCM encrypt_no_check functions, and update the decrypt functions | 06 August 2021, 20:34:18 UTC |
699b8eb | Son Ho | 05 August 2021, 15:50:14 UTC | Remove the inline_for_extraction attribute from encrypt_expand_aes{128,256}_gcm_no_check | 05 August 2021, 15:50:14 UTC |
f55abff | Dzomo, the Everest Yak | 31 July 2021, 08:43:34 UTC | [CI] regenerate hints and dist | 31 July 2021, 08:43:34 UTC |
ed7fe42 | Dzomo, the Everest Yak | 30 July 2021, 08:44:50 UTC | [CI] regenerate hints and dist | 30 July 2021, 08:44:50 UTC |
80859a7 | Dzomo, the Everest Yak | 29 July 2021, 08:43:52 UTC | [CI] regenerate hints and dist | 29 July 2021, 08:43:52 UTC |
6e213a3 | Antonio Locascio | 27 July 2021, 09:25:51 UTC | Remove type annotation with locally bound identifier | 27 July 2021, 09:25:51 UTC |
2e797ff | Dzomo, the Everest Yak | 26 July 2021, 08:53:04 UTC | [CI] regenerate hints and dist | 26 July 2021, 08:53:04 UTC |
ff6aed3 | Dzomo, the Everest Yak | 24 July 2021, 08:37:53 UTC | [CI] regenerate hints and dist | 24 July 2021, 08:37:53 UTC |
efdc11c | Antonio Locascio | 23 July 2021, 18:28:43 UTC | Fix Sg_Let interface for fstar PR 2290 | 23 July 2021, 18:28:43 UTC |
ac59131 | Dzomo, the Everest Yak | 23 July 2021, 08:43:24 UTC | [CI] regenerate hints and dist | 23 July 2021, 08:43:24 UTC |
c7b97bd | Victor Dumitrescu | 22 July 2021, 15:51:11 UTC | Merge pull request #467 from project-everest/vdum_ocaml Fixes to gcc-compatible configure script and opam files | 22 July 2021, 15:51:11 UTC |
3ba7167 | Victor Dumitrescu | 22 July 2021, 14:56:25 UTC | OCaml API: Mirror update to hacl-star-raw.opam in hacl-star.opam | 22 July 2021, 14:56:25 UTC |
b349d8c | Anthony R Johnston | 22 July 2021, 12:53:49 UTC | Add FreeBSD configuration to correct file | 22 July 2021, 14:54:21 UTC |
804d780 | Anthony R Johnston | 21 July 2021, 14:35:49 UTC | Allow hacl-star opam package install on FreeBSD | 22 July 2021, 14:53:42 UTC |
4a6f33b | Victor Dumitrescu | 22 July 2021, 14:15:18 UTC | OCaml API: update .opam file and changelog | 22 July 2021, 14:15:18 UTC |
523a36f | Victor Dumitrescu | 21 July 2021, 15:31:36 UTC | Refine fix for configure script to be less conservative | 21 July 2021, 15:33:36 UTC |
d231fbe | Victor Dumitrescu | 21 July 2021, 13:50:26 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml | 21 July 2021, 13:50:26 UTC |
2dd3312 | Dzomo, the Everest Yak | 21 July 2021, 08:36:42 UTC | [CI] regenerate hints and dist | 21 July 2021, 08:36:42 UTC |
230ce69 | Dzomo, the Everest Yak | 20 July 2021, 08:43:45 UTC | [CI] regenerate hints and dist | 20 July 2021, 08:43:45 UTC |
7b752de | Victor Dumitrescu | 19 July 2021, 12:32:09 UTC | Fixes to gcc-compatible configure script and opam files | 19 July 2021, 12:32:09 UTC |
1091d1c | Dzomo, the Everest Yak | 17 July 2021, 08:43:36 UTC | [CI] regenerate hints and dist | 17 July 2021, 08:43:36 UTC |
ca5022f | Dzomo, the Everest Yak | 16 July 2021, 08:43:40 UTC | [CI] regenerate hints and dist | 16 July 2021, 08:43:40 UTC |
ecb94f2 | Benjamin Beurdouche | 15 July 2021, 10:57:39 UTC | Merge pull request #466 from project-everest/polubelova_build_fix remove some cinlines from bignum | 15 July 2021, 10:57:39 UTC |
55392d3 | marina polubelova | 15 July 2021, 09:51:22 UTC | rm cinline from bn_sub_mod and bn_add_mod | 15 July 2021, 09:51:22 UTC |
a346dc6 | Dzomo, the Everest Yak | 15 July 2021, 08:38:05 UTC | [CI] regenerate hints and dist | 15 July 2021, 08:38:05 UTC |
f2844dd | Jonathan Protzenko | 14 July 2021, 16:17:18 UTC | Merge pull request #463 from project-everest/protz_freebsd Build fixes for FreeBSD: link in proper ASM implementations | 14 July 2021, 16:17:18 UTC |
d364b3a | Jonathan Protzenko | 14 July 2021, 15:00:44 UTC | Merge branch 'master' into protz_freebsd | 14 July 2021, 15:00:44 UTC |
b452208 | Dzomo, the Everest Yak | 14 July 2021, 09:08:34 UTC | [CI] regenerate hints and dist | 14 July 2021, 09:08:34 UTC |
21d1418 | Franziskus Kiefer | 14 July 2021, 06:52:44 UTC | Merge branch 'master' into protz_freebsd | 14 July 2021, 06:52:44 UTC |
33c17a8 | Marina Polubelova | 13 July 2021, 22:01:18 UTC | Merge pull request #465 from project-everest/polubelova_bignum_api_ext Expose more functions for Bignum API | 13 July 2021, 22:01:18 UTC |
c0f2d29 | marina polubelova | 13 July 2021, 20:32:02 UTC | refresh dist | 13 July 2021, 20:32:02 UTC |
f75210e | marina polubelova | 13 July 2021, 20:31:22 UTC | remove trailing whitespaces | 13 July 2021, 20:31:22 UTC |
3895709 | Marina Polubelova | 13 July 2021, 19:43:48 UTC | expose bn_add_mod, bn_sub_mod and bn_eq_mask | 13 July 2021, 19:43:48 UTC |
52069a4 | Dzomo, the Everest Yak | 13 July 2021, 08:43:56 UTC | [CI] regenerate hints and dist | 13 July 2021, 08:43:56 UTC |
8ad31b0 | Jonathan Protzenko | 12 July 2021, 15:08:28 UTC | Merge branch 'master' into protz_freebsd | 12 July 2021, 15:08:28 UTC |
50da11a | Dzomo, the Everest Yak | 12 July 2021, 08:46:55 UTC | [CI] regenerate hints and dist | 12 July 2021, 08:46:55 UTC |
437689b | Dzomo, the Everest Yak | 11 July 2021, 08:43:29 UTC | [CI] regenerate hints and dist | 11 July 2021, 08:43:29 UTC |
19e5cae | Dzomo, the Everest Yak | 10 July 2021, 08:25:54 UTC | [CI] regenerate hints and dist | 10 July 2021, 08:25:54 UTC |
f43057c | Tahina Ramananandro | 09 July 2021, 22:10:24 UTC | dist snapshot | 09 July 2021, 22:10:24 UTC |
524628b | Tahina Ramananandro | 09 July 2021, 21:41:06 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into protz_freebsd | 09 July 2021, 21:41:06 UTC |
e52fc75 | Jonathan Protzenko | 09 July 2021, 18:30:07 UTC | Merge pull request #464 from project-everest/_taramana_ci CI hint refresh: do not commit if no changes | 09 July 2021, 18:30:07 UTC |
a8006eb | Tahina Ramananandro | 09 July 2021, 15:38:49 UTC | hint refresh: do not commit if no changes From project-everest/mitls-fstar@310eab0dd50babd4600c508e9cf8103616555793 | 09 July 2021, 15:38:49 UTC |
371e471 | Dzomo, the Everest Yak | 09 July 2021, 08:26:21 UTC | [CI] regenerate hints and dist | 09 July 2021, 08:26:21 UTC |
c5f557a | Dzomo, the Everest Yak | 08 July 2021, 08:26:15 UTC | [CI] regenerate hints and dist | 08 July 2021, 08:26:15 UTC |
a342e20 | Jonathan Protzenko | 07 July 2021, 17:54:19 UTC | Build fixes for FreeBSD: link in proper ASM implementations | 07 July 2021, 17:54:19 UTC |
a3541cf | Dzomo, the Everest Yak | 07 July 2021, 08:25:41 UTC | [CI] regenerate hints and dist | 07 July 2021, 08:25:41 UTC |
e3e93cb | Marina Polubelova | 06 July 2021, 18:47:52 UTC | Merge pull request #462 from project-everest/polubelova_bn_extraction tweaks for bignum extraction | 06 July 2021, 18:47:52 UTC |
ef89bb8 | Dzomo, the Everest Yak | 06 July 2021, 08:26:25 UTC | [CI] regenerate hints and dist | 06 July 2021, 08:26:25 UTC |
8db801f | marina polubelova | 05 July 2021, 18:16:40 UTC | incorrect extraction? | 05 July 2021, 18:16:40 UTC |
08a6ee4 | marina polubelova | 05 July 2021, 17:46:45 UTC | refresh dist | 05 July 2021, 17:46:45 UTC |
185dd49 | Marina Polubelova | 05 July 2021, 17:25:09 UTC | remove n / 4 * 4 / 4 in extracted code | 05 July 2021, 17:25:09 UTC |
9f725cd | Marina Polubelova | 05 July 2021, 17:22:44 UTC | avoid VLA for specialized bignum | 05 July 2021, 17:22:44 UTC |
a4b20bd | Dzomo, the Everest Yak | 05 July 2021, 08:26:20 UTC | [CI] regenerate hints and dist | 05 July 2021, 08:26:20 UTC |
49c3dc5 | Dzomo, the Everest Yak | 04 July 2021, 08:25:41 UTC | [CI] regenerate hints and dist | 04 July 2021, 08:25:41 UTC |
4febe60 | Dzomo, the Everest Yak | 03 July 2021, 08:25:37 UTC | [CI] regenerate hints and dist | 03 July 2021, 08:25:37 UTC |
fe6be9a | Dzomo, the Everest Yak | 02 July 2021, 08:29:21 UTC | [CI] regenerate hints and dist | 02 July 2021, 08:29:21 UTC |