55affb3 | Franziskus Kiefer | 14 November 2020, 16:00:53 UTC | define KRML_HOST_EPRINTF in MSVC builds | 14 November 2020, 16:00:53 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 |
fb79c00 | Guido Martínez | 13 October 2020, 13:00:53 UTC | Lib.Vec.Lemmas: attempting to fix build | 13 October 2020, 13:00:53 UTC |
aabbd74 | Franziskus Kiefer | 13 October 2020, 12:29:37 UTC | Merge branch 'master' into franziskus/arm32-build-fix | 13 October 2020, 12:29:37 UTC |
0e516a9 | Jonathan Protzenko | 12 October 2020, 22:20:18 UTC | Merge pull request #371 from project-everest/guido_misc Meta.Interface: remove `add_check_with`: it is now part of F* | 12 October 2020, 22:20:18 UTC |
909e40c | Guido Martínez | 11 October 2020, 01:29:55 UTC | Meta.Interface: remove `add_check_with`: it is now part of F* | 12 October 2020, 17:55:25 UTC |
57a2636 | Jonathan Protzenko | 12 October 2020, 13:33:49 UTC | Merge branch 'master' into franziskus/arm32-build-fix | 12 October 2020, 13:33:49 UTC |
036ccd2 | Dzomo, the Everest Yak | 12 October 2020, 08:51:52 UTC | [CI] regenerate hints and dist | 12 October 2020, 08:51:52 UTC |
54ec3bd | Franziskus Kiefer | 12 October 2020, 07:05:57 UTC | Merge branch 'master' into franziskus/arm32-build-fix | 12 October 2020, 07:05:57 UTC |
8ac8ad7 | karthikbhargavan | 12 October 2020, 06:58:16 UTC | Merge pull request #370 from project-everest/polubelova_curve Improve proof stability for curve25519 | 12 October 2020, 06:58:16 UTC |
3ea879e | Franziskus Kiefer | 10 October 2020, 11:19:02 UTC | dist update | 10 October 2020, 11:19:02 UTC |
97b3c9a | Franziskus Kiefer | 10 October 2020, 11:08:58 UTC | add config defines to config.h | 10 October 2020, 11:08:58 UTC |
0b4a3a4 | Franziskus Kiefer | 09 October 2020, 08:26:10 UTC | Merge remote-tracking branch 'origin/master' into franziskus/arm32-build-fix | 09 October 2020, 08:26:10 UTC |
192b2d2 | Marina Polubelova | 09 October 2020, 07:51:03 UTC | fix meta.curve25519 | 09 October 2020, 07:51:03 UTC |
85935b6 | Marina Polubelova | 08 October 2020, 23:17:32 UTC | simplify proof of finv | 08 October 2020, 23:17:32 UTC |
cb3e3b4 | Nikhil Swamy | 08 October 2020, 21:29:08 UTC | bump rlimit ... failing everest build | 08 October 2020, 21:29:08 UTC |
9e54bb8 | Franziskus Kiefer | 08 October 2020, 11:57:03 UTC | don't use libintvector.h on 32-bit arm | 08 October 2020, 11:57:03 UTC |
043085a | Victor Dumitrescu | 08 October 2020, 09:19:06 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml | 08 October 2020, 09:19:06 UTC |
62be4f7 | Dzomo, the Everest Yak | 08 October 2020, 08:26:15 UTC | [CI] regenerate hints and dist | 08 October 2020, 08:26:15 UTC |
0d4abc0 | Victor Dumitrescu | 07 October 2020, 17:20:43 UTC | Reinstated target | 07 October 2020, 17:20:43 UTC |
984fba3 | Jonathan Protzenko | 07 October 2020, 14:54:02 UTC | Merge pull request #365 from project-everest/protz_cross Finish cross-compilation work | 07 October 2020, 14:54:02 UTC |
ae8b420 | Benjamin Beurdouche | 07 October 2020, 13:57:23 UTC | Merge branch 'master' into B336 | 07 October 2020, 13:57:23 UTC |
db6c5cf | Jonathan Protzenko | 07 October 2020, 13:40:30 UTC | Tentative fix for issue reported by @vdum | 07 October 2020, 13:40:30 UTC |
263b945 | Jonathan Protzenko | 07 October 2020, 13:21:43 UTC | typo | 07 October 2020, 13:21:43 UTC |
89dde99 | Jonathan Protzenko | 07 October 2020, 13:21:03 UTC | Merge remote-tracking branch 'origin/master' into protz_cross | 07 October 2020, 13:21:03 UTC |
474d3f6 | Benjamin Beurdouche | 07 October 2020, 11:44:36 UTC | Issue 367 - Improve upon argument name in EverCrypt.Ed25519.verify | 07 October 2020, 11:44:36 UTC |
4d29989 | Victor Dumitrescu | 07 October 2020, 08:41:37 UTC | Small fix | 07 October 2020, 08:41:37 UTC |
f475aac | Dzomo, the Everest Yak | 07 October 2020, 08:23:45 UTC | [CI] regenerate hints and dist | 07 October 2020, 08:23:45 UTC |
ffbce20 | Jonathan Protzenko | 06 October 2020, 19:09:49 UTC | Refresh dist | 06 October 2020, 19:09:49 UTC |
fab7c4a | Jonathan Protzenko | 06 October 2020, 19:05:51 UTC | Simplify things following Tahina's suggestion... c89 can remain (it's a language option) | 06 October 2020, 19:05:51 UTC |
e10f091 | Jonathan Protzenko | 06 October 2020, 18:51:36 UTC | Try again for the Azure CI | 06 October 2020, 18:51:36 UTC |