Skip to main content

Browse the archive

https://github.com/project-everest/hacl-star
01 October 2021, 10:10:28 UTC
sort by:
Revision Author Date Message Commit Date
7829770 Marina Polubelova 05 August 2020, 23:05:18 UTC fix nacl-box 05 August 2020, 23:05:18 UTC
5a97fb0 Marina Polubelova 05 August 2020, 22:11:00 UTC decrease rlimit 05 August 2020, 22:11:00 UTC
495371d Marina Polubelova 05 August 2020, 20:42:08 UTC wip: fix ed25519 05 August 2020, 20:42:08 UTC
f3299c4 Marina Polubelova 05 August 2020, 13:52:23 UTC fix sha3 05 August 2020, 13:52:23 UTC
3078243 Marina Polubelova 05 August 2020, 00:56:07 UTC fix lib.buffer 05 August 2020, 00:56:07 UTC
3f3221d Marina Polubelova 05 August 2020, 00:00:33 UTC refresh dist 05 August 2020, 00:00:33 UTC
0b877f4 Marina Polubelova 05 August 2020, 00:00:10 UTC fix concat2 and concat3 05 August 2020, 00:00:10 UTC
bd83f01 Marina Polubelova 04 August 2020, 22:58:02 UTC fix blake2? 04 August 2020, 22:58:02 UTC
9195849 Marina Polubelova 04 August 2020, 21:55:31 UTC fix poly1305 04 August 2020, 21:55:31 UTC
1a68d7a Marina Polubelova 04 August 2020, 17:03:10 UTC refresh dist 04 August 2020, 17:03:10 UTC
459cd72 Marina Polubelova 04 August 2020, 17:00:59 UTC add update_sub_generic 04 August 2020, 17:00:59 UTC
8f9f6e7 Marina Polubelova 04 August 2020, 01:00:30 UTC refresh dist 04 August 2020, 01:00:30 UTC
caf109c Marina Polubelova 04 August 2020, 00:58:51 UTC remove sub_generic from map_blocks 04 August 2020, 00:58:51 UTC
58bb245 Marina Polubelova 03 August 2020, 23:46:18 UTC refresh dist 03 August 2020, 23:46:18 UTC
19b2415 Marina Polubelova 03 August 2020, 23:45:36 UTC use ghost.hide for unused variables in the code 03 August 2020, 23:45:36 UTC
522e0de Jonathan Protzenko 03 August 2020, 15:57:51 UTC Add dist for travis CI 03 August 2020, 15:57:51 UTC
9804c1a Jonathan Protzenko 03 August 2020, 15:46:02 UTC Fix hints 03 August 2020, 15:46:02 UTC
7b6c1f0 Jonathan Protzenko 03 August 2020, 15:45:38 UTC Merge remote-tracking branch 'origin/master' into buffer_null 03 August 2020, 15:45:38 UTC
721e266 Dzomo, the Everest Yak 03 August 2020, 08:22:28 UTC [CI] regenerate hints and dist 03 August 2020, 08:22:28 UTC
e735cbd Dzomo, the Everest Yak 02 August 2020, 08:24:38 UTC [CI] regenerate hints and dist 02 August 2020, 08:24:38 UTC
3613bf8 Dzomo, the Everest Yak 01 August 2020, 08:26:07 UTC [CI] regenerate hints and dist 01 August 2020, 08:26:07 UTC
2439086 Dzomo, the Everest Yak 31 July 2020, 08:24:30 UTC [CI] regenerate hints and dist 31 July 2020, 08:24:30 UTC
dbd888c Jonathan Protzenko 30 July 2020, 17:13:06 UTC Merge pull request #333 from project-everest/son_libhaclml libhaclml.cmxa 30 July 2020, 17:13:06 UTC
de470bd Jonathan Protzenko 30 July 2020, 15:24:59 UTC Merge branch 'master' into son_libhaclml 30 July 2020, 15:24:59 UTC
3610875 Dzomo, the Everest Yak 30 July 2020, 08:26:19 UTC [CI] regenerate hints and dist 30 July 2020, 08:26:19 UTC
d92acb8 Jonathan Protzenko 29 July 2020, 19:57:21 UTC Build libhaclml.cmxa for clients who wish to extract and compile specs to ML that require HACL specs 29 July 2020, 19:57:21 UTC
4772dea Guido Martínez 29 July 2020, 14:29:34 UTC hints 29 July 2020, 18:02:38 UTC
bdb6339 Guido Martínez 29 July 2020, 04:15:11 UTC (all): fix regressions for NULL checking Either by calling the _generic function and getting a dynamic check or by tweaking the proofs. 29 July 2020, 18:02:38 UTC
906d147 Guido Martínez 28 July 2020, 05:16:22 UTC Lib.Sequence/Lib.Buffer: tweak to map_blocks In the "last" case, add the precondition that the length is non-zero, since this is only called when a non-full block remains. This later simplifies callers, since the last case is automatically over a non-null buffer. 29 July 2020, 18:02:38 UTC
ec20b52 Guido Martínez 26 July 2020, 19:43:22 UTC Lib.Buffer: check for non-NULL buffers by default This allows to not have any dynamic NULL-comparisons. The _generic functions allow to obtain the old behaviour. 29 July 2020, 18:02:38 UTC
aa5a815 Guido Martínez 29 July 2020, 04:10:09 UTC CI: use buffer_null branch for F* 29 July 2020, 18:02:38 UTC
26f05b5 Guido Martínez 26 July 2020, 19:42:03 UTC bump vale to 0.3.15 29 July 2020, 18:02:37 UTC
91e49b5 Guido Martínez 22 July 2020, 17:07:17 UTC remove some of the --use_extracted_interfaces flags 29 July 2020, 18:02:37 UTC
f96390f Dzomo, the Everest Yak 29 July 2020, 08:23:43 UTC [CI] regenerate hints and dist 29 July 2020, 08:23:43 UTC
fd4135e Jonathan Protzenko 28 July 2020, 17:28:56 UTC Build fix 28 July 2020, 17:28:56 UTC
48126f3 Dzomo, the Everest Yak 28 July 2020, 08:22:30 UTC [CI] regenerate hints and dist 28 July 2020, 08:22:30 UTC
8cd2772 Dzomo, the Everest Yak 27 July 2020, 08:43:28 UTC [CI] regenerate hints and dist 27 July 2020, 08:43:28 UTC
87e7a96 Dzomo, the Everest Yak 26 July 2020, 08:36:18 UTC [CI] regenerate hints and dist 26 July 2020, 08:36:18 UTC
13a4c4f Dzomo, the Everest Yak 25 July 2020, 08:37:10 UTC [CI] regenerate hints and dist 25 July 2020, 08:37:10 UTC
2791221 Aymeric Fromherz 23 July 2020, 16:40:39 UTC Merge pull request #330 from project-everest/afromher_cpuid Enhances CPU detection for AVX/AVX512. Fixes #315 23 July 2020, 16:40:39 UTC
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
back to top