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 |
e2af70b | Victor Dumitrescu | 01 June 2020, 13:28:05 UTC | OCaml API: Fix hacl-star build on ARM | 01 June 2020, 13:28:05 UTC |
f4a3807 | Victor Dumitrescu | 01 June 2020, 13:26:22 UTC | OCaml API: Fix hacl-star-raw build on ARM | 01 June 2020, 13:26:22 UTC |
402f901 | Victor Dumitrescu | 01 June 2020, 13:17:23 UTC | OCaml API: Use zarith for Hash max_input_len | 01 June 2020, 13:17:23 UTC |
b6b5802 | Jonathan Protzenko | 31 May 2020, 18:42:59 UTC | Fix a missing inline_for_extraction which gave incorrect code | 31 May 2020, 18:42:59 UTC |
f69a014 | Jonathan Protzenko | 31 May 2020, 18:32:56 UTC | check the snapshot compiles on ARM | 31 May 2020, 18:32:56 UTC |
941f639 | Jonathan Protzenko | 31 May 2020, 18:12:08 UTC | Try to fix EverCrypt.AEAD to not contain link-time references to AES-GCM for the sake of fixing the ARM build | 31 May 2020, 18:12:08 UTC |
9323f5c | Jonathan Protzenko | 29 May 2020, 20:12:29 UTC | Merge pull request #308 from project-everest/son_aes_gcm AEAD encryption/decryption with key expansion on the stack | 29 May 2020, 20:12:29 UTC |
0c32a5c | Jonathan Protzenko | 29 May 2020, 19:26:56 UTC | Merge branch 'master' into son_aes_gcm | 29 May 2020, 19:26:56 UTC |
eee7e12 | Jonathan Protzenko | 29 May 2020, 19:19:40 UTC | Merge pull request #302 from project-everest/protz_memzero Basic building blocks for adding proper treatment to zero-out memory | 29 May 2020, 19:19:40 UTC |
e6c577a | Jonathan Protzenko | 29 May 2020, 18:05:39 UTC | Make it fatal | 29 May 2020, 18:05:39 UTC |
6d096b6 | Jonathan Protzenko | 29 May 2020, 18:03:30 UTC | Try a configure script | 29 May 2020, 18:03:30 UTC |
abf18b3 | Jonathan Protzenko | 29 May 2020, 17:36:21 UTC | Forgot to add new files | 29 May 2020, 17:36:21 UTC |
05ba7c9 | Jonathan Protzenko | 29 May 2020, 17:33:09 UTC | Refresh snapshot | 29 May 2020, 17:33:09 UTC |
accaa8c | Son HO | 29 May 2020, 09:19:26 UTC | Merge branch 'son_aes_gcm' of github.com:project-everest/hacl-star into son_aes_gcm | 29 May 2020, 09:19:26 UTC |
a1c69b7 | Son HO | 29 May 2020, 09:18:55 UTC | Move a SNIPPET in Evercrypt.AEAD.fsti | 29 May 2020, 09:18:55 UTC |
771d210 | Jonathan Protzenko | 28 May 2020, 20:24:46 UTC | Merge branch 'master' into protz_memzero | 28 May 2020, 20:24:46 UTC |
dbcf575 | Son HO | 28 May 2020, 19:13:40 UTC | Make a minor change in Lib_Memzero0.c | 28 May 2020, 19:13:40 UTC |
db8d2fa | Son HO | 28 May 2020, 19:12:48 UTC | Fix Lib_Memzero0.c for Windows | 28 May 2020, 19:12:48 UTC |
810afa7 | Dzomo, the Everest Yak | 27 May 2020, 08:26:53 UTC | [CI] regenerate hints and dist | 27 May 2020, 08:26:53 UTC |
092e9f9 | Dzomo, the Everest Yak | 26 May 2020, 21:10:02 UTC | [CI] regenerate hints and dist | 26 May 2020, 21:10:02 UTC |
94e3f16 | Jonathan Protzenko | 26 May 2020, 20:43:58 UTC | Try to unblock nightly | 26 May 2020, 20:43:58 UTC |
cf527e0 | Jonathan Protzenko | 26 May 2020, 16:14:05 UTC | Merge branch 'master' into son_aes_gcm | 26 May 2020, 16:14:05 UTC |
5e1c863 | Jonathan Protzenko | 26 May 2020, 15:16:42 UTC | Shorter timeout so that I don't spend a week debugging this | 26 May 2020, 15:16:42 UTC |
9419a3a | Jonathan Protzenko | 26 May 2020, 15:10:51 UTC | try again | 26 May 2020, 15:10:51 UTC |
e4f3370 | Jonathan Protzenko | 26 May 2020, 15:01:03 UTC | Try again | 26 May 2020, 15:01:03 UTC |
72a6d5a | Jonathan Protzenko | 26 May 2020, 14:52:33 UTC | Timeout after three hours so that it at least tells us which file is blocking | 26 May 2020, 14:52:33 UTC |
3756de2 | Son HO | 25 May 2020, 07:17:57 UTC | Remove the clear_words function from Lib_Memzero.c | 25 May 2020, 07:17:57 UTC |
7aa50ae | Son HO | 25 May 2020, 07:06:26 UTC | Cleanup | 25 May 2020, 07:06:26 UTC |
76ab23c | Son HO | 25 May 2020, 07:02:08 UTC | Implement the functions which expand the key before encrypting/decrypting | 25 May 2020, 07:02:08 UTC |
a4c97ea | Son HO | 25 May 2020, 06:13:08 UTC | Update the signatures | 25 May 2020, 06:13:08 UTC |
4bcba09 | Son HO | 25 May 2020, 06:10:01 UTC | Add signatures for encrypt/decrypt_expand (expand the key on the stack, then decrypt/encrypt) | 25 May 2020, 06:10:01 UTC |
a53ba2c | Son HO | 25 May 2020, 05:42:28 UTC | Rename create_in_stack to alloca, change its postcondition, add inline_for_extraction | 25 May 2020, 05:42:28 UTC |
e20d8b2 | Son HO | 22 May 2020, 10:21:24 UTC | Update Lib_Memzero0.c and Lib_Memzero.c | 22 May 2020, 10:21:24 UTC |
40e09f7 | Son HO | 22 May 2020, 08:11:10 UTC | Add the configuration requirements in the precondition of create_in_stack (no dynamic check) | 22 May 2020, 08:11:10 UTC |
f4fce2d | Son HO | 22 May 2020, 07:40:17 UTC | Start adding functions in the Stack effect for AES GCM | 22 May 2020, 07:40:17 UTC |
56cc9a7 | Dzomo, the Everest Yak | 21 May 2020, 08:21:58 UTC | [CI] regenerate hints and dist | 21 May 2020, 08:21:58 UTC |
056fd3d | Jay Bosamiya | 20 May 2020, 20:09:39 UTC | Merge pull request #247 from project-everest/jay_prefetchnta Add the prefetch-elimination transform | 20 May 2020, 20:09:39 UTC |
4f6d330 | Jay Bosamiya | 20 May 2020, 14:20:09 UTC | Merge branch 'master' into jay_prefetchnta | 20 May 2020, 14:20:09 UTC |
af5fcd7 | Dzomo, the Everest Yak | 20 May 2020, 08:20:10 UTC | [CI] regenerate hints and dist | 20 May 2020, 08:20:10 UTC |
de040c1 | Jay Bosamiya | 19 May 2020, 19:32:00 UTC | Fix proof via fuel/ifuel update | 19 May 2020, 19:32:00 UTC |
c86dbae | Jay Bosamiya | 19 May 2020, 16:15:33 UTC | Merge branch 'master' into jay_prefetchnta | 19 May 2020, 16:15:33 UTC |
6e10cec | Dzomo, the Everest Yak | 19 May 2020, 08:24:24 UTC | [CI] regenerate hints and dist | 19 May 2020, 08:24:24 UTC |
13aecc8 | Dzomo, the Everest Yak | 18 May 2020, 08:22:00 UTC | [CI] regenerate hints and dist | 18 May 2020, 08:22:00 UTC |
47d38df | Dzomo, the Everest Yak | 17 May 2020, 08:20:24 UTC | [CI] regenerate hints and dist | 17 May 2020, 08:20:24 UTC |
da3c278 | Dzomo, the Everest Yak | 16 May 2020, 08:20:17 UTC | [CI] regenerate hints and dist | 16 May 2020, 08:20:17 UTC |
106583d | Dzomo, the Everest Yak | 15 May 2020, 08:20:18 UTC | [CI] regenerate hints and dist | 15 May 2020, 08:20:18 UTC |
216f2bf | Dzomo, the Everest Yak | 14 May 2020, 08:21:53 UTC | [CI] regenerate hints and dist | 14 May 2020, 08:21:53 UTC |
ade9825 | Jonathan Protzenko | 13 May 2020, 17:06:29 UTC | Merge pull request #307 from project-everest/protz_fix_hints Fix hint regeneration | 13 May 2020, 17:06:29 UTC |
aae3d2d | Jonathan Protzenko | 13 May 2020, 16:24:26 UTC | Merge in Aseem's fix | 13 May 2020, 16:24:26 UTC |
b24ca43 | Jonathan Protzenko | 13 May 2020, 16:14:49 UTC | hints | 13 May 2020, 16:14:49 UTC |
16d0a84 | Jonathan Protzenko | 13 May 2020, 16:09:33 UTC | Limit diff churn | 13 May 2020, 16:09:33 UTC |
8f88f30 | Jonathan Protzenko | 13 May 2020, 15:35:30 UTC | Fix hint regeneration | 13 May 2020, 15:35:30 UTC |
329710b | Jonathan Protzenko | 13 May 2020, 15:33:30 UTC | Revert "[CI] regenerate hints and dist" This reverts commit 66752d6c3f80e0c53df47e0704489eb90045728c. | 13 May 2020, 15:33:30 UTC |
66752d6 | Dzomo, the Everest Yak | 13 May 2020, 08:20:44 UTC | [CI] regenerate hints and dist | 13 May 2020, 08:20:44 UTC |
14fb96c | Victor Dumitrescu | 12 May 2020, 20:31:20 UTC | Merge pull request #304 from project-everest/vdum_ocaml_api OCaml API: Fix for opam build | 12 May 2020, 20:31:20 UTC |
e4f2575 | Victor Dumitrescu | 12 May 2020, 19:16:25 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_api | 12 May 2020, 19:16:25 UTC |
1caafd4 | Jonathan Protzenko | 12 May 2020, 19:13:27 UTC | Merge branch 'master' into protz_memzero | 12 May 2020, 19:13:27 UTC |
5689594 | Tahina Ramananandro (professional account) | 12 May 2020, 18:54:03 UTC | Merge pull request #305 from project-everest/_taramana_ubuntu_focal_20200512 CI: do not hardcode gcc-7 | 12 May 2020, 18:54:03 UTC |
a3563e5 | Tahina Ramananandro | 12 May 2020, 17:28:02 UTC | CI: do not hardcode gcc-7 (suggested by @msprotz) No longer useful now with the base Linux CI container using gcc-9 | 12 May 2020, 17:28:02 UTC |
df5d151 | Victor Dumitrescu | 12 May 2020, 16:35:23 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_api | 12 May 2020, 16:35:23 UTC |
f949531 | Victor Dumitrescu | 12 May 2020, 16:34:45 UTC | OCaml API: Fix again | 12 May 2020, 16:34:45 UTC |
db53a6a | Victor Dumitrescu | 12 May 2020, 08:59:21 UTC | OCaml API: Small fix for opam build | 12 May 2020, 08:59:21 UTC |
5f4f813 | Dzomo, the Everest Yak | 12 May 2020, 08:20:57 UTC | [CI] regenerate hints and dist | 12 May 2020, 08:20:57 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 |
a45d746 | Jonathan Protzenko | 11 May 2020, 21:46:49 UTC | Benchmark | 11 May 2020, 21:46:49 UTC |
b7de034 | Jonathan Protzenko | 11 May 2020, 21:07:50 UTC | Proper assert | 11 May 2020, 21:07:50 UTC |
40079aa | Jonathan Protzenko | 11 May 2020, 20:43:59 UTC | CPP warnings as non-fatal: third option syntax | 11 May 2020, 20:43:59 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 |
2c7f3c0 | Jonathan Protzenko | 11 May 2020, 20:08:24 UTC | Don't make the #warning fatal: second syntax for errors | 11 May 2020, 20:08:24 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 |
e0895ca | Jonathan Protzenko | 11 May 2020, 19:06:35 UTC | Fix outdated comment | 11 May 2020, 19:06:35 UTC |
9a2bf7b | Jonathan Protzenko | 11 May 2020, 19:04:55 UTC | OSX implementation since I can test that one | 11 May 2020, 19:04:55 UTC |
0ee638c | Jonathan Protzenko | 11 May 2020, 18:58:16 UTC | Remove extra file | 11 May 2020, 18:58:16 UTC |
60f9afe | Jonathan Protzenko | 11 May 2020, 18:54:02 UTC | Finally, addition of a proper treatment for secure memzero-ing some memory... this fixes FStarLang/kremlin#146 | 11 May 2020, 18:54:02 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 |