629e7ff | Franziskus Kiefer | 13 January 2021, 08:04:52 UTC | no arm32 ci for now | 13 January 2021, 08:04:52 UTC |
f1cfe34 | Franziskus Kiefer | 12 January 2021, 19:54:44 UTC | check for arm | 12 January 2021, 19:54:44 UTC |
7ae1b72 | Franziskus Kiefer | 12 January 2021, 18:12:16 UTC | adding --disable-sandboxing to opam init | 12 January 2021, 18:12:16 UTC |
ba76709 | Franziskus Kiefer | 10 January 2021, 10:08:25 UTC | drop ppa | 10 January 2021, 10:08:25 UTC |
cabe173 | Franziskus Kiefer | 10 January 2021, 09:27:41 UTC | install gnupg-agent | 10 January 2021, 09:27:41 UTC |
55e1c65 | Franziskus Kiefer | 10 January 2021, 09:15:49 UTC | install software-properties-common | 10 January 2021, 09:15:49 UTC |
966703e | Franziskus Kiefer | 09 January 2021, 10:29:20 UTC | re-trigger | 09 January 2021, 10:29:20 UTC |
3f407fd | Franziskus Kiefer | 28 December 2020, 11:37:35 UTC | Create .drone.yml | 28 December 2020, 11:37:35 UTC |
f4c4782 | Franziskus Kiefer | 28 December 2020, 11:13:05 UTC | Update dist.yml | 28 December 2020, 11:13:05 UTC |
0d5dd16 | Franziskus Kiefer | 28 December 2020, 11:11:14 UTC | Update script.bat | 28 December 2020, 11:11:14 UTC |
58197a4 | Franziskus Kiefer | 28 December 2020, 11:09:17 UTC | Update dist.yml | 28 December 2020, 11:09:17 UTC |
4d04319 | Franziskus Kiefer | 28 December 2020, 11:06:45 UTC | Update dist.yml | 28 December 2020, 11:06:45 UTC |
19554b1 | Franziskus Kiefer | 28 December 2020, 10:59:29 UTC | Create dist.yml Basic CI for the dist folder (gcc-compatible) * Windows * Linux * MacOS | 28 December 2020, 10:59:29 UTC |
05fb4f6 | Marina Polubelova | 18 December 2020, 18:59:40 UTC | Merge pull request #387 from project-everest/_aseem_binders_attrs Accommodating changes in the F* reflection API for exporting attributes on binders | 18 December 2020, 18:59:40 UTC |
7a3199c | Aseem Rastogi | 18 December 2020, 07:45:21 UTC | exposing binder attributes in the F* reflection API | 18 December 2020, 07:45:21 UTC |
d88c750 | Dzomo, the Everest Yak | 13 December 2020, 08:24:57 UTC | [CI] regenerate hints and dist | 13 December 2020, 08:24:57 UTC |
7b175a6 | Dzomo, the Everest Yak | 12 December 2020, 08:27:48 UTC | [CI] regenerate hints and dist | 12 December 2020, 08:27:48 UTC |
614766e | Dzomo, the Everest Yak | 11 December 2020, 08:27:33 UTC | [CI] regenerate hints and dist | 11 December 2020, 08:27:33 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 |