b1d6b11 | Aymeric Fromherz | 23 July 2020, 14:49:43 UTC | Merge branch 'master' into afromher_cpuid | 23 July 2020, 14:49:43 UTC |
f492d5b | Dzomo, the Everest Yak | 23 July 2020, 08:22:30 UTC | [CI] regenerate hints and dist | 23 July 2020, 08:22:30 UTC |
22e8d22 | Dzomo, the Everest Yak | 22 July 2020, 08:22:26 UTC | [CI] regenerate hints and dist | 22 July 2020, 08:22:26 UTC |
4706d21 | Dzomo, the Everest Yak | 21 July 2020, 08:25:43 UTC | [CI] regenerate hints and dist | 21 July 2020, 08:25:43 UTC |
853217a | Aymeric Fromherz | 21 July 2020, 00:43:43 UTC | Merge branch 'master' into afromher_cpuid | 21 July 2020, 00:43:43 UTC |
3d84e43 | Aymeric Fromherz | 21 July 2020, 00:29:48 UTC | Propagate avx to autoconfig | 21 July 2020, 00:29:48 UTC |
3e2a63e | Aymeric Fromherz | 21 July 2020, 00:27:19 UTC | Specify avxN_enabled as the conjunction of CPUID info and XCR0 info | 21 July 2020, 00:27:19 UTC |
0054971 | Aymeric Fromherz | 21 July 2020, 00:09:59 UTC | Add instruction for checking extended control registers | 21 July 2020, 00:09:59 UTC |
5157444 | Aseem Rastogi | 20 July 2020, 18:31:03 UTC | Merge pull request #329 from project-everest/aseem_remove_extracted_interfaces Removing the use_extracted_interfaces option | 20 July 2020, 18:31:03 UTC |
2732ffa | Aseem Rastogi | 20 July 2020, 17:31:54 UTC | remove the use_extracted_interfaces option | 20 July 2020, 17:31:54 UTC |
86e075d | Aymeric Fromherz | 20 July 2020, 15:59:21 UTC | Add detection of OSXSAVE | 20 July 2020, 15:59:21 UTC |
4dfb0b2 | Dzomo, the Everest Yak | 20 July 2020, 08:23:48 UTC | [CI] regenerate hints and dist | 20 July 2020, 08:23:48 UTC |
a1e1afa | Dzomo, the Everest Yak | 19 July 2020, 08:27:09 UTC | [CI] regenerate hints and dist | 19 July 2020, 08:27:09 UTC |
ba955c2 | Dzomo, the Everest Yak | 17 July 2020, 08:23:27 UTC | [CI] regenerate hints and dist | 17 July 2020, 08:23:27 UTC |
3e07f72 | Dzomo, the Everest Yak | 16 July 2020, 08:26:15 UTC | [CI] regenerate hints and dist | 16 July 2020, 08:26:15 UTC |
e9c71aa | Dzomo, the Everest Yak | 15 July 2020, 08:27:30 UTC | [CI] regenerate hints and dist | 15 July 2020, 08:27:30 UTC |
98b1576 | Dzomo, the Everest Yak | 14 July 2020, 08:23:23 UTC | [CI] regenerate hints and dist | 14 July 2020, 08:23:23 UTC |
11dc65c | Dzomo, the Everest Yak | 12 July 2020, 08:24:16 UTC | [CI] regenerate hints and dist | 12 July 2020, 08:24:16 UTC |
f2887de | Dzomo, the Everest Yak | 11 July 2020, 08:22:47 UTC | [CI] regenerate hints and dist | 11 July 2020, 08:22:47 UTC |
4aef6dc | Dzomo, the Everest Yak | 10 July 2020, 08:23:55 UTC | [CI] regenerate hints and dist | 10 July 2020, 08:23:55 UTC |
de341e9 | Dzomo, the Everest Yak | 09 July 2020, 08:22:26 UTC | [CI] regenerate hints and dist | 09 July 2020, 08:22:26 UTC |
aabf222 | Dzomo, the Everest Yak | 08 July 2020, 08:22:44 UTC | [CI] regenerate hints and dist | 08 July 2020, 08:22:44 UTC |
e78c07b | Jonathan Protzenko | 07 July 2020, 19:46:43 UTC | Merge pull request #324 from project-everest/vdum_ocaml_build OCaml API: Minor build fix, new release | 07 July 2020, 19:46:43 UTC |
b1051f3 | Jonathan Protzenko | 07 July 2020, 18:54:45 UTC | Merge branch 'master' into vdum_ocaml_build | 07 July 2020, 18:54:45 UTC |
459b93f | Jonathan Protzenko | 07 July 2020, 18:44:17 UTC | Merge pull request #323 from project-everest/protz_windows_ci Lightweight Windows CI | 07 July 2020, 18:44:17 UTC |
4fba0bb | Victor Dumitrescu | 07 July 2020, 18:07:21 UTC | A further fix | 07 July 2020, 18:07:21 UTC |
47c785f | Jonathan Protzenko | 07 July 2020, 17:48:06 UTC | Fix syntax of for loops in batch files | 07 July 2020, 17:48:06 UTC |
ab3e11b | Jonathan Protzenko | 07 July 2020, 17:29:20 UTC | Slightly better testing | 07 July 2020, 17:29:20 UTC |
70aa865 | Jonathan Protzenko | 07 July 2020, 16:01:56 UTC | Merge branch 'master' into protz_windows_ci | 07 July 2020, 16:01:56 UTC |
28e2cf1 | Victor Dumitrescu | 07 July 2020, 15:22:57 UTC | OCaml API: Minor build fix, new release | 07 July 2020, 15:22:57 UTC |
50db8e4 | Dzomo, the Everest Yak | 07 July 2020, 08:23:17 UTC | [CI] regenerate hints and dist | 07 July 2020, 08:23:17 UTC |
76fba55 | Jonathan Protzenko | 06 July 2020, 22:59:51 UTC | UGH OLD BASH ON OSX | 06 July 2020, 22:59:51 UTC |
b1eb0ce | Jonathan Protzenko | 06 July 2020, 22:57:33 UTC | oops | 06 July 2020, 22:57:33 UTC |
2faca0b | Jonathan Protzenko | 06 July 2020, 22:56:52 UTC | Simplify to the extreme | 06 July 2020, 22:56:52 UTC |
2d26893 | Jonathan Protzenko | 06 July 2020, 22:45:05 UTC | Enable all tests and try to fix #316 | 06 July 2020, 22:45:05 UTC |
76e814d | Jonathan Protzenko | 06 July 2020, 22:40:36 UTC | Fix permissions | 06 July 2020, 22:40:36 UTC |
cd2482d | Jonathan Protzenko | 06 July 2020, 22:37:36 UTC | Try windows | 06 July 2020, 22:37:36 UTC |
1545773 | Dzomo, the Everest Yak | 06 July 2020, 08:24:06 UTC | [CI] regenerate hints and dist | 06 July 2020, 08:24:06 UTC |
677bd87 | Dzomo, the Everest Yak | 05 July 2020, 08:23:48 UTC | [CI] regenerate hints and dist | 05 July 2020, 08:23:48 UTC |
849c3f9 | Dzomo, the Everest Yak | 04 July 2020, 08:27:10 UTC | [CI] regenerate hints and dist | 04 July 2020, 08:27:10 UTC |
de6a314 | Dzomo, the Everest Yak | 03 July 2020, 08:29:23 UTC | [CI] regenerate hints and dist | 03 July 2020, 08:29:23 UTC |
0ee67cd | Dzomo, the Everest Yak | 02 July 2020, 08:29:42 UTC | [CI] regenerate hints and dist | 02 July 2020, 08:29:42 UTC |
63c7ded | Benjamin Beurdouche | 01 July 2020, 13:17:13 UTC | Merge pull request #321 from project-everest/aseem_fstar_boolean_branch_guard Proof tweaks for some F* changes | 01 July 2020, 13:17:13 UTC |
9e4b394 | Aseem Rastogi | 01 July 2020, 10:42:32 UTC | Merge branch 'master' into aseem_fstar_boolean_branch_guard | 01 July 2020, 10:42:32 UTC |
8186e0e | Aseem Rastogi | 01 July 2020, 10:32:51 UTC | proof tweaks for some F* changes | 01 July 2020, 10:32:51 UTC |
bdf2fdd | Dzomo, the Everest Yak | 01 July 2020, 08:23:17 UTC | [CI] regenerate hints and dist | 01 July 2020, 08:23:17 UTC |
9cd7e90 | Dzomo, the Everest Yak | 30 June 2020, 08:23:27 UTC | [CI] regenerate hints and dist | 30 June 2020, 08:23:27 UTC |
0730d1c | Dzomo, the Everest Yak | 29 June 2020, 08:24:33 UTC | [CI] regenerate hints and dist | 29 June 2020, 08:24:33 UTC |
73a5224 | Dzomo, the Everest Yak | 28 June 2020, 08:28:52 UTC | [CI] regenerate hints and dist | 28 June 2020, 08:28:52 UTC |
779b266 | Dzomo, the Everest Yak | 27 June 2020, 08:23:00 UTC | [CI] regenerate hints and dist | 27 June 2020, 08:23:00 UTC |
1b07369 | Jonathan Protzenko | 26 June 2020, 16:20:47 UTC | Merge pull request #319 from franziskuskiefer/patch-4 Update Supported.rst (P256, Blake2) | 26 June 2020, 16:20:47 UTC |
4c9ef49 | Dzomo, the Everest Yak | 26 June 2020, 08:23:51 UTC | [CI] regenerate hints and dist | 26 June 2020, 08:23:51 UTC |
ac4ff74 | Franziskus Kiefer | 26 June 2020, 07:18:51 UTC | Update Supported.rst It appears that P256 and blake2 are on master. | 26 June 2020, 07:18:51 UTC |
11aafe5 | Victor Dumitrescu | 25 June 2020, 10:49:28 UTC | Merge pull request #318 from project-everest/vdum_ocaml_p256 OCaml API: P-256 bindings | 25 June 2020, 10:49:28 UTC |
7c53a27 | Victor Dumitrescu | 25 June 2020, 10:07:52 UTC | Merge branch 'vdum_ocaml_p256' of github.com:project-everest/hacl-star into vdum_ocaml_p256 | 25 June 2020, 10:07:52 UTC |
d9cb77c | Victor Dumitrescu | 25 June 2020, 10:04:40 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_p256 | 25 June 2020, 10:04:40 UTC |
0235298 | Victor Dumitrescu | 25 June 2020, 10:02:14 UTC | OCaml API: Add dh_responder to P256 module | 25 June 2020, 10:02:14 UTC |
2059bc4 | Anne Weine | 25 June 2020, 10:01:51 UTC | Merge branch 'master' into vdum_ocaml_p256 | 25 June 2020, 10:01:51 UTC |
67466d6 | Dzomo, the Everest Yak | 25 June 2020, 08:23:07 UTC | [CI] regenerate hints and dist | 25 June 2020, 08:23:07 UTC |
0aceda3 | Victor Dumitrescu | 24 June 2020, 16:58:19 UTC | OCaml API: Bump version | 24 June 2020, 16:58:19 UTC |
c932380 | Victor Dumitrescu | 24 June 2020, 16:53:14 UTC | Add bytecode archive and files to hacl-star-raw | 24 June 2020, 16:53:14 UTC |
ad7b00a | Victor Dumitrescu | 24 June 2020, 16:37:10 UTC | OCaml API: Updated bindings for P-256 | 24 June 2020, 16:37:10 UTC |
32ba189 | Dzomo, the Everest Yak | 24 June 2020, 08:22:42 UTC | [CI] regenerate hints and dist | 24 June 2020, 08:22:42 UTC |
6376193 | Dzomo, the Everest Yak | 23 June 2020, 09:15:11 UTC | [CI] regenerate hints and dist | 23 June 2020, 09:15:11 UTC |
5863955 | Dzomo, the Everest Yak | 22 June 2020, 21:33:40 UTC | [CI] regenerate hints and dist | 22 June 2020, 21:33:40 UTC |
8b1a580 | Jonathan Protzenko | 22 June 2020, 21:03:07 UTC | Two build fixes: fix P256 packaging for CCF and make nightly build properly report errors | 22 June 2020, 21:03:07 UTC |
0e6a2c1 | Dzomo, the Everest Yak | 22 June 2020, 08:22:52 UTC | [CI] regenerate hints and dist | 22 June 2020, 08:22:52 UTC |
b754841 | Dzomo, the Everest Yak | 21 June 2020, 08:26:17 UTC | [CI] regenerate hints and dist | 21 June 2020, 08:26:17 UTC |
24b295a | Dzomo, the Everest Yak | 20 June 2020, 08:23:27 UTC | [CI] regenerate hints and dist | 20 June 2020, 08:23:27 UTC |
42503f5 | Dzomo, the Everest Yak | 19 June 2020, 08:26:13 UTC | [CI] regenerate hints and dist | 19 June 2020, 08:26:13 UTC |
4f5bb3a | Dzomo, the Everest Yak | 18 June 2020, 08:34:47 UTC | [CI] regenerate hints and dist | 18 June 2020, 08:34:47 UTC |
d536a68 | Anne Weine | 17 June 2020, 15:10:40 UTC | ECDSA Update (agile, compression) PR (#280) This PR introduced a couple of new methods for ecdsa, i.e. key compression and decompression, agil-ing ecdsa and a couple of clean-ups. Key compression and decompression now could present key in 3 possible ways, raw (x + y), compressed (02/03 + x), notCompressed (04 + x + y). Additionally, to the ecdsa interface I have added a reduction method that takes a random buffer of size n, and returns a buffer, that could be used for ecdsa signature. | 17 June 2020, 15:10:40 UTC |
267d49c | Dzomo, the Everest Yak | 17 June 2020, 08:23:06 UTC | [CI] regenerate hints and dist | 17 June 2020, 08:23:06 UTC |
8230812 | Dzomo, the Everest Yak | 16 June 2020, 08:23:18 UTC | [CI] regenerate hints and dist | 16 June 2020, 08:23:18 UTC |
278eb07 | Dzomo, the Everest Yak | 15 June 2020, 08:24:28 UTC | [CI] regenerate hints and dist | 15 June 2020, 08:24:28 UTC |
bfab37e | Dzomo, the Everest Yak | 14 June 2020, 08:25:44 UTC | [CI] regenerate hints and dist | 14 June 2020, 08:25:44 UTC |
fad5e18 | Dzomo, the Everest Yak | 13 June 2020, 08:22:40 UTC | [CI] regenerate hints and dist | 13 June 2020, 08:22:40 UTC |
fa53188 | Dzomo, the Everest Yak | 12 June 2020, 08:37:11 UTC | [CI] regenerate hints and dist | 12 June 2020, 08:37:11 UTC |
99739bf | Dzomo, the Everest Yak | 11 June 2020, 08:23:06 UTC | [CI] regenerate hints and dist | 11 June 2020, 08:23:06 UTC |
9d76350 | Dzomo, the Everest Yak | 10 June 2020, 08:22:56 UTC | [CI] regenerate hints and dist | 10 June 2020, 08:22:56 UTC |
0b16242 | Dzomo, the Everest Yak | 09 June 2020, 08:24:01 UTC | [CI] regenerate hints and dist | 09 June 2020, 08:24:01 UTC |
740e005 | Jonathan Protzenko | 08 June 2020, 20:48:05 UTC | Merge pull request #312 from project-everest/vdum_arm OCaml API: Placeholders for unsupported primitives in Hacl | 08 June 2020, 20:48:05 UTC |
93f6138 | Victor Dumitrescu | 08 June 2020, 19:15:03 UTC | OCaml API: Placeholders for unsupported primitives in Hacl | 08 June 2020, 19:15:03 UTC |
2340183 | Dzomo, the Everest Yak | 08 June 2020, 08:22:42 UTC | [CI] regenerate hints and dist | 08 June 2020, 08:22:42 UTC |
f4558a6 | Victor Dumitrescu | 05 June 2020, 15:56:38 UTC | Merge pull request #311 from project-everest/vdum_arm OCaml API: Another small ARM build fix | 05 June 2020, 15:56:38 UTC |
f7e8b6d | Victor Dumitrescu | 05 June 2020, 15:15:44 UTC | OCaml API: Bump opam version number | 05 June 2020, 15:15:44 UTC |
48a6ec8 | Victor Dumitrescu | 05 June 2020, 14:23:12 UTC | OCaml API: Another small ARM build fix | 05 June 2020, 14:23:12 UTC |
22aab99 | Dzomo, the Everest Yak | 05 June 2020, 08:22:32 UTC | [CI] regenerate hints and dist | 05 June 2020, 08:22:32 UTC |
66012cf | Dzomo, the Everest Yak | 04 June 2020, 18:04:22 UTC | [CI] regenerate hints and dist | 04 June 2020, 18:04:22 UTC |
0f3f167 | Jonathan Protzenko | 04 June 2020, 13:47:13 UTC | Emergency build quickfix | 04 June 2020, 13:47:13 UTC |
d129cd3 | Dzomo, the Everest Yak | 04 June 2020, 08:26:30 UTC | [CI] regenerate hints and dist | 04 June 2020, 08:26:30 UTC |
0610a93 | Victor Dumitrescu | 03 June 2020, 19:35:45 UTC | Merge pull request #310 from project-everest/vdum_arm Make the opam packages work on ARM | 03 June 2020, 19:35:45 UTC |
2c65270 | Victor Dumitrescu | 03 June 2020, 15:35:08 UTC | OCaml API: More preprocessing changes, add to Travis CI for ARM | 03 June 2020, 15:35:08 UTC |
32bdf21 | Victor Dumitrescu | 02 June 2020, 17:27:02 UTC | OCaml API: Small build fix | 02 June 2020, 17:27:02 UTC |
3803343 | Victor Dumitrescu | 02 June 2020, 17:08:18 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_arm | 02 June 2020, 17:08:18 UTC |
d8a02c0 | Victor Dumitrescu | 02 June 2020, 17:06:29 UTC | OCaml API: More refinements to preprocessing + build fix | 02 June 2020, 17:06:29 UTC |
55018bb | Jonathan Protzenko | 01 June 2020, 20:55:22 UTC | Merge pull request #309 from project-everest/protz_fix_arm Fix the build on ARM | 01 June 2020, 20:55:22 UTC |
396e330 | Jonathan Protzenko | 01 June 2020, 18:57:58 UTC | Kick CI | 01 June 2020, 18:57:58 UTC |
69c78c9 | Victor Dumitrescu | 01 June 2020, 16:50:10 UTC | OCaml API: Refine preprocessing | 01 June 2020, 16:50:10 UTC |
c278230 | Jonathan Protzenko | 01 June 2020, 15:18:45 UTC | prop not bool | 01 June 2020, 15:18:45 UTC |