673e0d0 | Marina Polubelova | 10 December 2020, 13:27:54 UTC | add gimli as exercise | 10 December 2020, 13:27:54 UTC |
1f76c4c | Marina Polubelova | 09 December 2020, 11:44:36 UTC | add a truncated version of poly1305-scalar | 09 December 2020, 11:44:36 UTC |
3a2ce95 | Dzomo, the Everest Yak | 09 December 2020, 08:25:07 UTC | [CI] regenerate hints and dist | 09 December 2020, 08:25:07 UTC |
fc56fcd | Dzomo, the Everest Yak | 08 December 2020, 08:26:23 UTC | [CI] regenerate hints and dist | 08 December 2020, 08:26:23 UTC |
aedc616 | Dzomo, the Everest Yak | 07 December 2020, 08:27:04 UTC | [CI] regenerate hints and dist | 07 December 2020, 08:27:04 UTC |
bd844a3 | Dzomo, the Everest Yak | 06 December 2020, 08:31:01 UTC | [CI] regenerate hints and dist | 06 December 2020, 08:31:01 UTC |
46dc1be | Dzomo, the Everest Yak | 05 December 2020, 08:25:34 UTC | [CI] regenerate hints and dist | 05 December 2020, 08:25:34 UTC |
5eba2da | Dzomo, the Everest Yak | 04 December 2020, 08:33:26 UTC | [CI] regenerate hints and dist | 04 December 2020, 08:33:26 UTC |
3138658 | Benjamin Beurdouche | 03 December 2020, 18:09:10 UTC | Merge pull request #386 from project-everest/aseem_deprecate_two_phase_tc_option Deprecate two phase tc option | 03 December 2020, 18:09:10 UTC |
ccd29a2 | Aseem Rastogi | 03 December 2020, 11:31:03 UTC | Merge branch 'master' into aseem_deprecate_two_phase_tc_option | 03 December 2020, 11:31:03 UTC |
4ff83a1 | Aseem Rastogi | 03 December 2020, 11:30:27 UTC | removing the uses of --use_two_phase_tc | 03 December 2020, 11:30:27 UTC |
6b09b7c | Dzomo, the Everest Yak | 03 December 2020, 08:25:44 UTC | [CI] regenerate hints and dist | 03 December 2020, 08:25:44 UTC |
7a6ab1e | Dzomo, the Everest Yak | 02 December 2020, 08:49:27 UTC | [CI] regenerate hints and dist | 02 December 2020, 08:49:27 UTC |
270b376 | Benjamin Beurdouche | 01 December 2020, 12:11:48 UTC | Increase rlimits to fix verification on MacOS 11 | 01 December 2020, 12:11:48 UTC |
a3f90cd | Dzomo, the Everest Yak | 01 December 2020, 08:29:13 UTC | [CI] regenerate hints and dist | 01 December 2020, 08:29:13 UTC |
d4a6c7f | Dzomo, the Everest Yak | 30 November 2020, 08:27:05 UTC | [CI] regenerate hints and dist | 30 November 2020, 08:27:05 UTC |
dc63b97 | Dzomo, the Everest Yak | 29 November 2020, 08:25:33 UTC | [CI] regenerate hints and dist | 29 November 2020, 08:25:33 UTC |
6196859 | Dzomo, the Everest Yak | 28 November 2020, 08:25:47 UTC | [CI] regenerate hints and dist | 28 November 2020, 08:25:47 UTC |
7007853 | Dzomo, the Everest Yak | 27 November 2020, 08:25:37 UTC | [CI] regenerate hints and dist | 27 November 2020, 08:25:37 UTC |
565551a | Dzomo, the Everest Yak | 26 November 2020, 08:27:06 UTC | [CI] regenerate hints and dist | 26 November 2020, 08:27:06 UTC |
eb762f4 | Dzomo, the Everest Yak | 24 November 2020, 08:28:45 UTC | [CI] regenerate hints and dist | 24 November 2020, 08:28:45 UTC |
2b85177 | Dzomo, the Everest Yak | 23 November 2020, 08:30:18 UTC | [CI] regenerate hints and dist | 23 November 2020, 08:30:18 UTC |
a21005b | Dzomo, the Everest Yak | 22 November 2020, 08:26:55 UTC | [CI] regenerate hints and dist | 22 November 2020, 08:26:55 UTC |
adb7c1e | Dzomo, the Everest Yak | 21 November 2020, 08:26:40 UTC | [CI] regenerate hints and dist | 21 November 2020, 08:26:40 UTC |
ffb09bc | Dzomo, the Everest Yak | 20 November 2020, 08:30:58 UTC | [CI] regenerate hints and dist | 20 November 2020, 08:30:58 UTC |
4912e46 | Dzomo, the Everest Yak | 19 November 2020, 08:26:21 UTC | [CI] regenerate hints and dist | 19 November 2020, 08:26:21 UTC |
a6fa894 | Dzomo, the Everest Yak | 18 November 2020, 08:27:26 UTC | [CI] regenerate hints and dist | 18 November 2020, 08:27:26 UTC |
1e5134d | Dzomo, the Everest Yak | 17 November 2020, 08:32:46 UTC | [CI] regenerate hints and dist | 17 November 2020, 08:32:46 UTC |
f58c757 | Dzomo, the Everest Yak | 16 November 2020, 08:26:26 UTC | [CI] regenerate hints and dist | 16 November 2020, 08:26:26 UTC |
e659147 | Dzomo, the Everest Yak | 15 November 2020, 08:31:29 UTC | [CI] regenerate hints and dist | 15 November 2020, 08:31:29 UTC |
e6efce6 | Dzomo, the Everest Yak | 14 November 2020, 08:27:02 UTC | [CI] regenerate hints and dist | 14 November 2020, 08:27:02 UTC |
d6dc45e | Dzomo, the Everest Yak | 13 November 2020, 08:28:40 UTC | [CI] regenerate hints and dist | 13 November 2020, 08:28:40 UTC |
8cd43b3 | Dzomo, the Everest Yak | 12 November 2020, 08:30:40 UTC | [CI] regenerate hints and dist | 12 November 2020, 08:30:40 UTC |
144c44e | Jonathan Protzenko | 11 November 2020, 17:49:12 UTC | Merge pull request #380 from project-everest/franziskus/configure-32-bit-cross support basic 32-bit cross compilation | 11 November 2020, 17:49:12 UTC |
57f1370 | Franziskus Kiefer | 11 November 2020, 15:52:27 UTC | Merge branch 'master' into franziskus/configure-32-bit-cross | 11 November 2020, 15:52:27 UTC |
8924bcc | Franziskus Kiefer | 11 November 2020, 15:13:39 UTC | Install gcc-multilib on travis for 32-bit builds | 11 November 2020, 15:13:39 UTC |
af17bd8 | Dzomo, the Everest Yak | 11 November 2020, 08:26:25 UTC | [CI] regenerate hints and dist | 11 November 2020, 08:26:25 UTC |
cbc9262 | Franziskus Kiefer | 10 November 2020, 15:34:22 UTC | update configure in gcc-compatible | 10 November 2020, 15:34:22 UTC |
45f5c6b | Franziskus Kiefer | 10 November 2020, 11:42:53 UTC | add separate travis job for 32-bit builds | 10 November 2020, 11:42:53 UTC |
7a397e9 | Franziskus Kiefer | 10 November 2020, 11:03:32 UTC | Merge branch 'master' into franziskus/configure-32-bit-cross | 10 November 2020, 11:03:32 UTC |
d2bdaf3 | Dzomo, the Everest Yak | 10 November 2020, 08:26:15 UTC | [CI] regenerate hints and dist | 10 November 2020, 08:26:15 UTC |
9ae16a1 | Dzomo, the Everest Yak | 09 November 2020, 08:32:58 UTC | [CI] regenerate hints and dist | 09 November 2020, 08:32:58 UTC |
446ab86 | Dzomo, the Everest Yak | 08 November 2020, 08:33:14 UTC | [CI] regenerate hints and dist | 08 November 2020, 08:33:14 UTC |
432d84d | Dzomo, the Everest Yak | 07 November 2020, 08:29:58 UTC | [CI] regenerate hints and dist | 07 November 2020, 08:29:58 UTC |
439e97c | nikswamy | 07 November 2020, 06:01:12 UTC | Merge pull request #382 from project-everest/guido_misc EverCrypt.Hash.Incremental: add a --retry on flaky proof and update hints | 07 November 2020, 06:01:12 UTC |
186dfe1 | nikswamy | 07 November 2020, 02:47:20 UTC | Merge branch 'master' into guido_misc | 07 November 2020, 02:47:20 UTC |
a2e3650 | Dzomo, the Everest Yak | 06 November 2020, 08:28:40 UTC | [CI] regenerate hints and dist | 06 November 2020, 08:28:40 UTC |
60530d6 | Dzomo, the Everest Yak | 05 November 2020, 08:28:47 UTC | [CI] regenerate hints and dist | 05 November 2020, 08:28:47 UTC |
55f84d0 | Guido Martínez | 05 November 2020, 03:49:12 UTC | EverCrypt.Hash.Incremental: add a --retry on flaky proof and update hints | 05 November 2020, 04:05:09 UTC |
f25beec | nikswamy | 04 November 2020, 21:55:40 UTC | Merge pull request #381 from project-everest/nik_remove_noextract_in_specs Remove noextract in specs and libs | 04 November 2020, 21:55:40 UTC |
b233482 | nikswamy | 04 November 2020, 21:03:59 UTC | Merge branch 'master' into nik_remove_noextract_in_specs | 04 November 2020, 21:03:59 UTC |
cf20f37 | Dzomo, the Everest Yak | 04 November 2020, 08:30:10 UTC | [CI] regenerate hints and dist | 04 November 2020, 08:30:10 UTC |
49f9231 | Franziskus Kiefer | 04 November 2020, 07:37:44 UTC | use bzero detection; move configure changes to dist | 04 November 2020, 07:37:44 UTC |
338cb4b | Franziskus Kiefer | 04 November 2020, 07:18:58 UTC | Merge remote-tracking branch 'origin/master' into franziskus/configure-32-bit-cross | 04 November 2020, 07:18:58 UTC |
5bb0778 | Nikhil Swamy | 03 November 2020, 16:58:04 UTC | removing noextract in lib | 03 November 2020, 16:58:04 UTC |
17fe934 | Franziskus Kiefer | 03 November 2020, 15:40:25 UTC | support basic 32-bit cross compilation | 03 November 2020, 15:40:25 UTC |
eb994ad | Victor Dumitrescu | 03 November 2020, 15:04:09 UTC | Merge pull request #378 from project-everest/vdum_wasm Additions and enhancements to the JavaScript API | 03 November 2020, 15:04:09 UTC |
e98c546 | Nikhil Swamy | 03 November 2020, 14:46:43 UTC | remove another noextract | 03 November 2020, 14:46:43 UTC |
89273e7 | Victor Dumitrescu | 03 November 2020, 14:17:27 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_wasm | 03 November 2020, 14:17:27 UTC |
466c0ba | Victor Dumitrescu | 03 November 2020, 13:43:05 UTC | JS API: Uniform formatting in api.json | 03 November 2020, 13:43:05 UTC |
4fe0e89 | Victor Dumitrescu | 03 November 2020, 13:42:40 UTC | JS API tweaks + tests for all newly bound primitives | 03 November 2020, 13:42:40 UTC |
a5b2e4a | Victor Dumitrescu | 03 November 2020, 13:38:37 UTC | OCaml API: Add P-256 compression/de-compression tests | 03 November 2020, 13:38:37 UTC |
aed2afe | Dzomo, the Everest Yak | 03 November 2020, 08:25:41 UTC | [CI] regenerate hints and dist | 03 November 2020, 08:25:41 UTC |
a8215ea | Nikhil Swamy | 03 November 2020, 06:40:13 UTC | removing noextract in a Vale AES spec | 03 November 2020, 06:40:13 UTC |
1c652d0 | Nikhil Swamy | 02 November 2020, 19:22:14 UTC | removing noextract in specs | 02 November 2020, 19:22:14 UTC |
09097e7 | Nikhil Swamy | 02 November 2020, 19:20:29 UTC | merging master in | 02 November 2020, 19:20:29 UTC |
76b7d17 | Benjamin Beurdouche | 02 November 2020, 15:51:46 UTC | Merge pull request #367 from project-everest/B336 Issue #367 - Improve upon argument name in EverCrypt.Ed25519.verify | 02 November 2020, 15:51:46 UTC |
373bdbe | Benjamin Beurdouche | 02 November 2020, 10:05:49 UTC | Merge branch 'master' into B336 | 02 November 2020, 10:05:49 UTC |
270fc64 | Benjamin Beurdouche | 02 November 2020, 08:37:06 UTC | Merge branch 'master' into B336 | 02 November 2020, 08:37:06 UTC |
9794b42 | Dzomo, the Everest Yak | 02 November 2020, 08:29:45 UTC | [CI] regenerate hints and dist | 02 November 2020, 08:29:45 UTC |
75063f5 | Dzomo, the Everest Yak | 01 November 2020, 08:25:51 UTC | [CI] regenerate hints and dist | 01 November 2020, 08:25:51 UTC |
948e7ef | Dzomo, the Everest Yak | 31 October 2020, 08:27:30 UTC | [CI] regenerate hints and dist | 31 October 2020, 08:27:30 UTC |
e69d819 | Victor Dumitrescu | 30 October 2020, 17:05:03 UTC | JS API: Full ECDSA API + tests | 30 October 2020, 17:05:03 UTC |
5aca016 | Dzomo, the Everest Yak | 30 October 2020, 08:26:43 UTC | [CI] regenerate hints and dist | 30 October 2020, 08:26:43 UTC |
d364163 | Dzomo, the Everest Yak | 29 October 2020, 08:25:14 UTC | [CI] regenerate hints and dist | 29 October 2020, 08:25:14 UTC |
4cc179f | Dzomo, the Everest Yak | 28 October 2020, 08:25:31 UTC | [CI] regenerate hints and dist | 28 October 2020, 08:25:31 UTC |
059737d | Victor Dumitrescu | 27 October 2020, 14:11:39 UTC | Small fixes | 27 October 2020, 14:11:39 UTC |
b534336 | Dzomo, the Everest Yak | 27 October 2020, 08:25:56 UTC | [CI] regenerate hints and dist | 27 October 2020, 08:25:56 UTC |
2552eea | Victor Dumitrescu | 26 October 2020, 16:58:12 UTC | Work `size_offset` into the existing `size` parameter | 26 October 2020, 16:58:12 UTC |
9254099 | Dzomo, the Everest Yak | 26 October 2020, 08:27:35 UTC | [CI] regenerate hints and dist | 26 October 2020, 08:27:35 UTC |
dc89d0a | Dzomo, the Everest Yak | 25 October 2020, 08:29:27 UTC | [CI] regenerate hints and dist | 25 October 2020, 08:29:27 UTC |
91a5049 | Dzomo, the Everest Yak | 24 October 2020, 08:25:05 UTC | [CI] regenerate hints and dist | 24 October 2020, 08:25:05 UTC |
45e620f | Benjamin Beurdouche | 23 October 2020, 14:58:38 UTC | Merge pull request #377 from project-everest/ec_operations Expose some functions from ed25519 | 23 October 2020, 14:58:38 UTC |
71fda46 | Victor Dumitrescu | 23 October 2020, 14:44:47 UTC | hacl-wasm: Extracting P256 to wasm + tests | 23 October 2020, 14:44:47 UTC |
2b91f3f | Victor Dumitrescu | 23 October 2020, 14:24:31 UTC | hacl-wasm: More bindings + bug fixes/enhancements | 23 October 2020, 14:24:31 UTC |
28a3d13 | Marina Polubelova | 23 October 2020, 09:54:40 UTC | Merge remote-tracking branch 'origin/master' into ec_operations | 23 October 2020, 09:54:40 UTC |
c4eeb96 | Dzomo, the Everest Yak | 23 October 2020, 08:29:34 UTC | [CI] regenerate hints and dist | 23 October 2020, 08:29:34 UTC |
1ce7c32 | Dzomo, the Everest Yak | 22 October 2020, 08:24:18 UTC | [CI] regenerate hints and dist | 22 October 2020, 08:24:18 UTC |
eedfca8 | Dzomo, the Everest Yak | 21 October 2020, 08:27:58 UTC | [CI] regenerate hints and dist | 21 October 2020, 08:27:58 UTC |
9875b76 | Dzomo, the Everest Yak | 20 October 2020, 08:23:53 UTC | [CI] regenerate hints and dist | 20 October 2020, 08:23:53 UTC |
ba74e75 | Dzomo, the Everest Yak | 19 October 2020, 08:27:21 UTC | [CI] regenerate hints and dist | 19 October 2020, 08:27:21 UTC |
703c14a | Dzomo, the Everest Yak | 18 October 2020, 08:25:48 UTC | [CI] regenerate hints and dist | 18 October 2020, 08:25:48 UTC |
8031981 | Dzomo, the Everest Yak | 17 October 2020, 08:24:45 UTC | [CI] regenerate hints and dist | 17 October 2020, 08:24:45 UTC |
4822f1a | Dzomo, the Everest Yak | 16 October 2020, 08:24:30 UTC | [CI] regenerate hints and dist | 16 October 2020, 08:24:30 UTC |
7fdd428 | Dzomo, the Everest Yak | 15 October 2020, 08:28:53 UTC | [CI] regenerate hints and dist | 15 October 2020, 08:28:53 UTC |
f9773b3 | Jonathan Protzenko | 14 October 2020, 00:24:30 UTC | Merge pull request #364 from project-everest/vdum_ocaml OCaml API 0.3.0: Updated P-256 interface and build fixes | 14 October 2020, 00:24:30 UTC |
7ff1b66 | Jonathan Protzenko | 13 October 2020, 18:46:33 UTC | Merge branch 'master' into vdum_ocaml | 13 October 2020, 18:46:33 UTC |
1d89572 | Franziskus Kiefer | 13 October 2020, 18:07:49 UTC | Merge pull request #368 from project-everest/franziskus/arm32-build-fix Disable libintvector.h on 32-bit arm | 13 October 2020, 18:07:49 UTC |
cb38b12 | Franziskus Kiefer | 13 October 2020, 17:17:28 UTC | Merge branch 'master' into franziskus/arm32-build-fix | 13 October 2020, 17:17:28 UTC |
07daec6 | Marina Polubelova | 13 October 2020, 16:24:52 UTC | Merge pull request #372 from project-everest/guido_misc bump an rlimit | 13 October 2020, 16:24:52 UTC |