dd87607 | Tahina Ramananandro | 12 May 2020, 03:16:30 UTC | Merge branch 'master' of github.com:mitls/hacl-star into _taramana_ubuntu_focal | 12 May 2020, 03:16:30 UTC |
6ea3c44 | Tahina Ramananandro | 12 May 2020, 03:16:25 UTC | Revert "-lbcrypt only on Windows" This reverts commit 01aa4ca05a9eb3111d9a8139e510e72084f19462. | 12 May 2020, 03:16:25 UTC |
a3f5d06 | Jonathan Protzenko | 12 May 2020, 02:57:30 UTC | Merge pull request #303 from project-everest/vdum_ocaml_api OCaml API: Various fixes | 12 May 2020, 02:57:30 UTC |
8ccaa1e | Tahina Ramananandro | 11 May 2020, 20:40:40 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into _taramana_ubuntu_focal | 11 May 2020, 20:40:40 UTC |
23c5d00 | Victor Dumitrescu | 11 May 2020, 20:30:58 UTC | Small comment | 11 May 2020, 20:30:58 UTC |
4a4f927 | Victor Dumitrescu | 11 May 2020, 20:25:36 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_api | 11 May 2020, 20:25:36 UTC |
b5af519 | Jonathan Protzenko | 11 May 2020, 19:55:40 UTC | Merge pull request #300 from project-everest/afromher_cpu Extend EverCrypt CPU detection to support avx512 | 11 May 2020, 19:55:40 UTC |
27f6328 | Victor Dumitrescu | 11 May 2020, 19:34:50 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_api | 11 May 2020, 19:34:50 UTC |
86b268a | Victor Dumitrescu | 11 May 2020, 19:30:14 UTC | OCaml API: Various fixes | 11 May 2020, 19:30:14 UTC |
e2ea8a9 | Jonathan Protzenko | 11 May 2020, 17:35:27 UTC | Merge branch 'master' into afromher_cpu | 11 May 2020, 17:35:27 UTC |
3218402 | Victor Dumitrescu | 11 May 2020, 17:33:52 UTC | Merge pull request #301 from project-everest/vdum_ocaml_api OCaml API: Runtime feature checks, Blake2s | 11 May 2020, 17:33:52 UTC |
833fa72 | Jonathan Protzenko | 11 May 2020, 17:18:12 UTC | Merge branch 'master' into afromher_cpu | 11 May 2020, 17:18:12 UTC |
9c74441 | Victor Dumitrescu | 11 May 2020, 16:25:39 UTC | OCaml API: Adding Blake2s | 11 May 2020, 16:25:39 UTC |
6cadaf2 | Victor Dumitrescu | 11 May 2020, 16:19:59 UTC | OCaml API: Refactor AutoConfig2, check required features at runtime | 11 May 2020, 16:25:04 UTC |
ae21e88 | Dzomo, the Everest Yak | 11 May 2020, 08:20:11 UTC | [CI] regenerate hints and dist | 11 May 2020, 08:20:11 UTC |
dbfc24f | Dzomo, the Everest Yak | 10 May 2020, 08:19:37 UTC | [CI] regenerate hints and dist | 10 May 2020, 08:19:37 UTC |
9fd807e | Aymeric Fromherz | 10 May 2020, 03:37:48 UTC | Add comment in Autoconfig to specify which avx512 flags are supported | 10 May 2020, 03:37:48 UTC |
01aa4ca | Tahina Ramananandro | 09 May 2020, 23:37:38 UTC | -lbcrypt only on Windows | 09 May 2020, 23:37:38 UTC |
255888c | Tahina Ramananandro | 09 May 2020, 22:44:59 UTC | fix signature of (non-Windows) bcrypt_create | 09 May 2020, 22:44:59 UTC |
1e4c80f | Aymeric Fromherz | 09 May 2020, 22:03:03 UTC | Merge branch 'afromher_cpu' of https://github.com/project-everest/hacl-star into afromher_cpu | 09 May 2020, 22:03:03 UTC |
7cbd1b3 | Aymeric Fromherz | 09 May 2020, 22:02:59 UTC | Fix asm extraction: 2**31 cannot be used as an immediate operand with and | 09 May 2020, 22:02:59 UTC |
b8f39f8 | Tahina Ramananandro | 09 May 2020, 21:41:23 UTC | Merge branch 'master' of github.com:mitls/hacl-star into _taramana_ubuntu_focal | 09 May 2020, 21:41:23 UTC |
eadd518 | Tahina Ramananandro | 09 May 2020, 21:38:53 UTC | ULONG is Windows only | 09 May 2020, 21:38:53 UTC |
07d547b | Jonathan Protzenko | 09 May 2020, 21:01:13 UTC | Merge branch 'master' into afromher_cpu | 09 May 2020, 21:01:13 UTC |
67142b7 | Jonathan Protzenko | 09 May 2020, 21:00:22 UTC | Merge pull request #299 from project-everest/protz_fix_ci Fix the nightly build so that it keeps extracted C tests under version control | 09 May 2020, 21:00:22 UTC |
be5e65f | Aymeric Fromherz | 09 May 2020, 20:33:43 UTC | Forgot to extract Vale asm for avx512 | 09 May 2020, 20:33:43 UTC |
8204741 | Aymeric Fromherz | 09 May 2020, 20:26:46 UTC | Extend EverCrypt CPU detection with avx512 | 09 May 2020, 20:26:46 UTC |
9c5a5c0 | Aymeric Fromherz | 09 May 2020, 20:25:33 UTC | Add interop layer for check_avx512 | 09 May 2020, 20:25:33 UTC |
e5d8c8d | Aymeric Fromherz | 09 May 2020, 20:14:30 UTC | Add vale functions for avx512 detection | 09 May 2020, 20:14:30 UTC |
65ef490 | Aymeric Fromherz | 09 May 2020, 19:21:00 UTC | Add avx512 to trusted vale cpuid spec | 09 May 2020, 19:21:00 UTC |
e7b6b04 | Jonathan Protzenko | 09 May 2020, 16:17:40 UTC | And reinstate tests | 09 May 2020, 16:17:40 UTC |
48047b6 | Jonathan Protzenko | 09 May 2020, 16:11:59 UTC | Fix the build by making sure the C tests are also regenerated by the nightly build | 09 May 2020, 16:16:37 UTC |
c28a7e2 | Tahina Ramananandro | 09 May 2020, 15:55:20 UTC | Merge branch 'master' of github.com:mitls/hacl-star into _taramana_ubuntu_focal | 09 May 2020, 15:55:20 UTC |
fd7915b | Dzomo, the Everest Yak | 09 May 2020, 08:20:15 UTC | [CI] regenerate hints and dist | 09 May 2020, 08:20:15 UTC |
178b82c | Jonathan Protzenko | 09 May 2020, 00:56:11 UTC | Merge pull request #285 from project-everest/protz_ci Significantly widen the testing matrix for HACL* | 09 May 2020, 00:56:11 UTC |
8c13ddd | Jonathan Protzenko | 08 May 2020, 23:28:00 UTC | kick ci | 08 May 2020, 23:28:00 UTC |
0cf93fc | Jonathan Protzenko | 08 May 2020, 23:02:27 UTC | Fix | 08 May 2020, 23:02:27 UTC |
15f6baf | Jonathan Protzenko | 08 May 2020, 23:01:39 UTC | Detect which is what's used by the makefile... need consistency | 08 May 2020, 23:01:39 UTC |
072976e | Jonathan Protzenko | 08 May 2020, 22:58:51 UTC | Print output | 08 May 2020, 22:58:51 UTC |
af6de8f | Jonathan Protzenko | 08 May 2020, 22:56:05 UTC | Meh | 08 May 2020, 22:56:05 UTC |
3647915 | Jonathan Protzenko | 08 May 2020, 22:55:10 UTC | Try a more precise test | 08 May 2020, 22:55:10 UTC |
f5883a4 | Jonathan Protzenko | 08 May 2020, 19:55:50 UTC | More missing files | 08 May 2020, 19:55:50 UTC |
34b64f6 | Jonathan Protzenko | 08 May 2020, 19:43:08 UTC | Missing file | 08 May 2020, 19:43:08 UTC |
e144558 | Jonathan Protzenko | 08 May 2020, 19:41:19 UTC | Use extracted addcarry and subborrow if we detect a buggy GCC at compile-time | 08 May 2020, 19:41:19 UTC |
39571a9 | Jonathan Protzenko | 08 May 2020, 17:24:30 UTC | Merge remote-tracking branch 'origin/ecdsa_t' into protz_ci | 08 May 2020, 17:24:30 UTC |
7500404 | Jonathan Protzenko | 08 May 2020, 17:23:23 UTC | Merge remote-tracking branch 'origin/master' into protz_ci | 08 May 2020, 17:23:23 UTC |
cef6a8e | Jonathan Protzenko | 08 May 2020, 16:26:29 UTC | Merge pull request #298 from project-everest/vdum_ocaml_nits OCaml API: Don't run unit tests which require unsupported features | 08 May 2020, 16:26:29 UTC |
88c4b7b | Ann Weine | 08 May 2020, 15:12:20 UTC | fallback for intrinsics | 08 May 2020, 15:12:20 UTC |
28f416c | Jonathan Protzenko | 08 May 2020, 14:55:15 UTC | Merge branch 'master' into vdum_ocaml_nits | 08 May 2020, 14:55:15 UTC |
eb3caea | Ann Weine | 08 May 2020, 14:11:15 UTC | QED | 08 May 2020, 14:11:15 UTC |
760addb | Dzomo, the Everest Yak | 08 May 2020, 08:20:05 UTC | [CI] regenerate hints and dist | 08 May 2020, 08:20:05 UTC |
c4c1857 | Tahina Ramananandro | 07 May 2020, 22:19:16 UTC | Merge branch 'master' of github.com:mitls/hacl-star into _taramana_ubuntu_focal | 07 May 2020, 22:19:16 UTC |
948f20b | Benjamin Beurdouche | 07 May 2020, 18:55:41 UTC | Merge pull request #296 from project-everest/beurdouche Backporting libintvector.h from haclxn | 07 May 2020, 18:55:41 UTC |
e431199 | Benjamin Beurdouche | 07 May 2020, 18:17:25 UTC | Propagate libintvector.h to dist/ | 07 May 2020, 18:17:25 UTC |
fd12902 | Benjamin Beurdouche | 07 May 2020, 18:15:50 UTC | Fixing libintvector.h for ARM | 07 May 2020, 18:15:50 UTC |
96c8482 | Ann Weine | 07 May 2020, 17:48:22 UTC | add/sub sca | 07 May 2020, 17:48:22 UTC |
2efc9cd | Tahina Ramananandro | 07 May 2020, 17:36:07 UTC | Use F* _taramana_ubuntu_focal | 07 May 2020, 17:36:07 UTC |
e808e13 | Tahina Ramananandro | 07 May 2020, 15:02:54 UTC | Ubuntu focal has gcc 9, so we no longer need to hardcode gcc-7 | 07 May 2020, 15:02:54 UTC |
59e5aa1 | Victor Dumitrescu | 07 May 2020, 12:24:18 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_nits | 07 May 2020, 12:24:18 UTC |
fbb550e | Victor Dumitrescu | 07 May 2020, 12:21:48 UTC | OCaml API: Don't run unit tests which require unsupported features | 07 May 2020, 12:21:48 UTC |
ed8c28d | Dzomo, the Everest Yak | 07 May 2020, 08:20:11 UTC | [CI] regenerate hints and dist | 07 May 2020, 08:20:11 UTC |
02105ae | Dzomo, the Everest Yak | 06 May 2020, 21:46:22 UTC | [CI] regenerate hints and dist | 06 May 2020, 21:46:22 UTC |
7dae655 | Dzomo, the Everest Yak | 06 May 2020, 19:51:16 UTC | [CI] regenerate hints and dist | 06 May 2020, 19:51:16 UTC |
70aa2d8 | Dzomo, the Everest Yak | 06 May 2020, 18:02:34 UTC | [CI] regenerate hints and dist | 06 May 2020, 18:02:34 UTC |
e8c3709 | Dzomo, the Everest Yak | 06 May 2020, 08:18:17 UTC | [CI] regenerate hints and dist | 06 May 2020, 08:18:17 UTC |
a26946c | Dzomo, the Everest Yak | 05 May 2020, 08:18:43 UTC | [CI] regenerate hints and dist | 05 May 2020, 08:18:43 UTC |
d60748c | Dzomo, the Everest Yak | 04 May 2020, 08:19:53 UTC | [CI] regenerate hints and dist | 04 May 2020, 08:19:53 UTC |
b942127 | karthikbhargavan | 03 May 2020, 23:22:03 UTC | blake2 perf improvement | 03 May 2020, 23:22:03 UTC |
5f4b849 | karthikbhargavan | 03 May 2020, 21:58:18 UTC | introduced g2z | 03 May 2020, 21:58:18 UTC |
34d612f | Dzomo, the Everest Yak | 03 May 2020, 08:20:39 UTC | [CI] regenerate hints and dist | 03 May 2020, 08:20:39 UTC |
d379330 | Jonathan Protzenko | 02 May 2020, 23:28:33 UTC | Merge pull request #295 from project-everest/protz_fix_ci Protect against spurious dist refreshes and also remove some old stuff from the ci script | 02 May 2020, 23:28:33 UTC |
0990f17 | Jonathan Protzenko | 02 May 2020, 22:34:01 UTC | Protect against spurious dist refreshes and also remove some old stuff from the ci script | 02 May 2020, 22:34:01 UTC |
36a0285 | Jonathan Protzenko | 02 May 2020, 22:25:24 UTC | Revert "[CI] regenerate hints and dist" This reverts commit a40ade7dcdbf1e8a3a30f07e34fbe3501830d136. This is a CI fail that removed all of the C files from version control. | 02 May 2020, 22:25:24 UTC |
a40ade7 | Dzomo, the Everest Yak | 02 May 2020, 08:20:41 UTC | [CI] regenerate hints and dist | 02 May 2020, 08:20:41 UTC |
57bdc99 | Jonathan Protzenko | 01 May 2020, 18:03:49 UTC | Merge pull request #294 from project-everest/_aseem_fstar_pat_exhaustiveness_as_strengthening F* changes in VC generation of conditionals | 01 May 2020, 18:03:49 UTC |
04e4eed | Aseem Rastogi | 01 May 2020, 17:25:23 UTC | Merge branch '_aseem_fstar_pat_exhaustiveness_as_strengthening' of github.com:project-everest/hacl-star into _aseem_fstar_pat_exhaustiveness_as_strengthening | 01 May 2020, 17:25:23 UTC |
1c48f7a | Aseem Rastogi | 01 May 2020, 17:25:15 UTC | explaining a failing proof | 01 May 2020, 17:25:15 UTC |
e267754 | Jonathan Protzenko | 01 May 2020, 14:48:45 UTC | Kick CI | 01 May 2020, 14:48:45 UTC |
267cddf | Aseem Rastogi | 01 May 2020, 12:42:45 UTC | hint | 01 May 2020, 12:42:45 UTC |
80a935c | Aseem Rastogi | 01 May 2020, 12:42:35 UTC | rlimit tweak for the CI failure | 01 May 2020, 12:42:35 UTC |
0408f92 | Aseem Rastogi | 01 May 2020, 10:53:10 UTC | merge with master | 01 May 2020, 10:53:10 UTC |
5bde95c | Aseem Rastogi | 01 May 2020, 10:52:21 UTC | hints | 01 May 2020, 10:52:21 UTC |
7c9bae4 | Aseem Rastogi | 01 May 2020, 10:52:10 UTC | comment in the file | 01 May 2020, 10:52:10 UTC |
b6cac60 | Aseem Rastogi | 01 May 2020, 10:51:38 UTC | this proof needs an ifuel for exhaustiveness check or an inversion lemma | 01 May 2020, 10:51:38 UTC |
d48db64 | Aseem Rastogi | 01 May 2020, 10:51:00 UTC | some proof tweaks | 01 May 2020, 10:51:00 UTC |
e564142 | Dzomo, the Everest Yak | 01 May 2020, 08:20:34 UTC | [CI] regenerate hints and dist | 01 May 2020, 08:20:34 UTC |
db297bf | Dzomo, the Everest Yak | 30 April 2020, 08:28:15 UTC | [CI] regenerate hints and dist | 30 April 2020, 08:28:15 UTC |
773af1d | Marina Polubelova | 29 April 2020, 22:36:08 UTC | Merge pull request #288 from project-everest/_repeat_gen_blocks add new lemmas to lib | 29 April 2020, 22:36:08 UTC |
4252ec2 | Marina Polubelova | 29 April 2020, 18:28:18 UTC | move repeat_blocks_extensionality lemma to Lib.Sequence.Lemmas | 29 April 2020, 18:28:18 UTC |
e220af5 | Marina Polubelova | 29 April 2020, 18:26:23 UTC | fix line_lemma_i | 29 April 2020, 18:26:23 UTC |
2bd6714 | Jonathan Protzenko | 29 April 2020, 18:25:41 UTC | Fix tests | 29 April 2020, 18:25:41 UTC |
f95b8d3 | Jonathan Protzenko | 29 April 2020, 18:25:07 UTC | Merge remote-tracking branch 'origin/master' into protz_ci | 29 April 2020, 18:25:07 UTC |
6f4f257 | Jonathan Protzenko | 29 April 2020, 18:24:14 UTC | Upgrade tests prior to merge | 29 April 2020, 18:24:14 UTC |
30b167c | Marina Polubelova | 29 April 2020, 17:25:06 UTC | Merge remote-tracking branch 'origin/master' into _repeat_gen_blocks | 29 April 2020, 17:25:06 UTC |
cb44f56 | Dzomo, the Everest Yak | 29 April 2020, 16:26:05 UTC | [CI] regenerate hints and dist | 29 April 2020, 16:26:05 UTC |
fcfce99 | Jonathan Protzenko | 29 April 2020, 15:37:30 UTC | Merge pull request #292 from project-everest/protz_doc Fix docs (again) | 29 April 2020, 15:37:30 UTC |
daf5fc9 | Jonathan Protzenko | 29 April 2020, 14:50:43 UTC | Merge branch 'master' into protz_doc | 29 April 2020, 14:50:43 UTC |
a61149a | Ann Weine | 29 April 2020, 14:10:38 UTC | wip | 29 April 2020, 14:10:38 UTC |
1b41676 | Dzomo the everest Yak | 29 April 2020, 08:20:45 UTC | [CI] regenerate hints and dist | 29 April 2020, 08:20:45 UTC |
ed65503 | Jonathan Protzenko | 29 April 2020, 00:55:09 UTC | Found the issue | 29 April 2020, 00:55:09 UTC |