https://github.com/project-everest/hacl-star

sort by:
Revision Author Date Message Commit Date
f95b54a [CI] regenerate hints and dist 01 October 2021, 08:30:56 UTC
3284441 [CI] regenerate hints and dist 29 September 2021, 09:38:38 UTC
853aeed [CI] regenerate hints and dist 26 September 2021, 08:31:21 UTC
600e09f [CI] regenerate hints and dist 25 September 2021, 09:01:36 UTC
c498b79 [CI] regenerate hints and dist 23 September 2021, 08:36:59 UTC
acf8289 [CI] regenerate hints and dist 22 September 2021, 08:28:06 UTC
349b052 [CI] regenerate hints and dist 21 September 2021, 08:27:14 UTC
b63038e Merge pull request #477 from project-everest/protz_bundle Separate Hacl_Hash into more self-contained files 20 September 2021, 19:05:11 UTC
2aabf08 fix wasm bindings 20 September 2021, 16:14:40 UTC
4f10fb8 fix wasm build 20 September 2021, 15:51:15 UTC
3e097ab Try to fix JS binding 20 September 2021, 15:23:40 UTC
e6e3fbb try 17 September 2021, 23:45:36 UTC
a52b6e1 Obviously, this also broke the OCaml bindings :'( 17 September 2021, 22:03:36 UTC
16f530f Fix hand-written tests, too 17 September 2021, 21:03:16 UTC
049e1c4 Merge remote-tracking branch 'origin/master' into protz_bundle 17 September 2021, 20:58:41 UTC
32033e1 Fix silly benchmarks 17 September 2021, 20:56:42 UTC
81660a1 [CI] regenerate hints and dist 17 September 2021, 08:44:11 UTC
2293ed6 Fix broken configure script (once again, a non-portable option was used) 17 September 2021, 00:05:04 UTC
aed5a85 Split out hashes into MD5/SHA1/SHA2/Blake2 which reduces the dependencies of ed25519 17 September 2021, 00:04:52 UTC
1ab5f75 [CI] regenerate hints and dist 16 September 2021, 08:47:28 UTC
02fe1e3 [CI] regenerate hints and dist 14 September 2021, 08:43:36 UTC
a39c586 [CI] regenerate hints and dist 13 September 2021, 08:47:18 UTC
637c9ea [CI] regenerate hints and dist 12 September 2021, 08:28:48 UTC
885bc07 [CI] regenerate hints and dist 11 September 2021, 08:44:26 UTC
fe91d08 [CI] regenerate hints and dist 10 September 2021, 08:44:26 UTC
6bb4895 [CI] regenerate hints and dist 06 September 2021, 08:44:14 UTC
9d4e63d [CI] regenerate hints and dist 04 September 2021, 08:43:31 UTC
c7e8e47 [CI] regenerate hints and dist 03 September 2021, 08:43:38 UTC
7ec1853 [CI] regenerate hints and dist 02 September 2021, 08:39:59 UTC
f4064e2 [CI] regenerate hints and dist 31 August 2021, 08:43:56 UTC
4a0d7f2 [CI] regenerate hints and dist 30 August 2021, 20:00:16 UTC
3080f8f [CI] regenerate hints and dist 27 August 2021, 08:44:17 UTC
12ed0cc [CI] regenerate hints and dist 26 August 2021, 08:43:41 UTC
cd34312 [CI] regenerate hints and dist 25 August 2021, 08:43:38 UTC
4b197eb [CI] regenerate hints and dist 24 August 2021, 08:46:35 UTC
4500078 [CI] regenerate hints and dist 23 August 2021, 08:44:10 UTC
f57407a [CI] regenerate hints and dist 21 August 2021, 08:35:39 UTC
bf189f3 [CI] regenerate hints and dist 20 August 2021, 08:37:25 UTC
85746a6 Merge pull request #471 from antoniolocascio/antoniolocacio_2291 Adapt uses of sigelt_view to changes in FStar#2291 19 August 2021, 15:45:51 UTC
f5d35e0 Merge branch 'master' into antoniolocacio_2291 19 August 2021, 15:06:58 UTC
a50b659 [CI] regenerate hints and dist 13 August 2021, 08:25:50 UTC
569a826 [CI] regenerate hints and dist 12 August 2021, 08:25:34 UTC
1eeddbc Merge pull request #474 from project-everest/son_aesgcm2 Add AESGCM encrypt/decrypt functions with no dynamic checks 11 August 2021, 11:49:26 UTC
cf93fcb Make the "_no_check" functions in EverCrypt.AEAD always failed if compiled on a system which doesn't support Vale 10 August 2021, 11:42:50 UTC
01ed1be Fix the AESGCM encrypt_no_check functions, and update the decrypt functions 06 August 2021, 20:34:18 UTC
699b8eb Remove the inline_for_extraction attribute from encrypt_expand_aes{128,256}_gcm_no_check 05 August 2021, 15:50:14 UTC
f55abff [CI] regenerate hints and dist 31 July 2021, 08:43:34 UTC
ed7fe42 [CI] regenerate hints and dist 30 July 2021, 08:44:50 UTC
80859a7 [CI] regenerate hints and dist 29 July 2021, 08:43:52 UTC
6e213a3 Remove type annotation with locally bound identifier 27 July 2021, 09:25:51 UTC
2e797ff [CI] regenerate hints and dist 26 July 2021, 08:53:04 UTC
ff6aed3 [CI] regenerate hints and dist 24 July 2021, 08:37:53 UTC
efdc11c Fix Sg_Let interface for fstar PR 2290 23 July 2021, 18:28:43 UTC
ac59131 [CI] regenerate hints and dist 23 July 2021, 08:43:24 UTC
c7b97bd Merge pull request #467 from project-everest/vdum_ocaml Fixes to gcc-compatible configure script and opam files 22 July 2021, 15:51:11 UTC
3ba7167 OCaml API: Mirror update to hacl-star-raw.opam in hacl-star.opam 22 July 2021, 14:56:25 UTC
b349d8c Add FreeBSD configuration to correct file 22 July 2021, 14:54:21 UTC
804d780 Allow hacl-star opam package install on FreeBSD 22 July 2021, 14:53:42 UTC
4a6f33b OCaml API: update .opam file and changelog 22 July 2021, 14:15:18 UTC
523a36f Refine fix for configure script to be less conservative 21 July 2021, 15:33:36 UTC
d231fbe Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml 21 July 2021, 13:50:26 UTC
2dd3312 [CI] regenerate hints and dist 21 July 2021, 08:36:42 UTC
230ce69 [CI] regenerate hints and dist 20 July 2021, 08:43:45 UTC
7b752de Fixes to gcc-compatible configure script and opam files 19 July 2021, 12:32:09 UTC
1091d1c [CI] regenerate hints and dist 17 July 2021, 08:43:36 UTC
ca5022f [CI] regenerate hints and dist 16 July 2021, 08:43:40 UTC
ecb94f2 Merge pull request #466 from project-everest/polubelova_build_fix remove some cinlines from bignum 15 July 2021, 10:57:39 UTC
55392d3 rm cinline from bn_sub_mod and bn_add_mod 15 July 2021, 09:51:22 UTC
a346dc6 [CI] regenerate hints and dist 15 July 2021, 08:38:05 UTC
f2844dd Merge pull request #463 from project-everest/protz_freebsd Build fixes for FreeBSD: link in proper ASM implementations 14 July 2021, 16:17:18 UTC
d364b3a Merge branch 'master' into protz_freebsd 14 July 2021, 15:00:44 UTC
b452208 [CI] regenerate hints and dist 14 July 2021, 09:08:34 UTC
21d1418 Merge branch 'master' into protz_freebsd 14 July 2021, 06:52:44 UTC
33c17a8 Merge pull request #465 from project-everest/polubelova_bignum_api_ext Expose more functions for Bignum API 13 July 2021, 22:01:18 UTC
c0f2d29 refresh dist 13 July 2021, 20:32:02 UTC
f75210e remove trailing whitespaces 13 July 2021, 20:31:22 UTC
3895709 expose bn_add_mod, bn_sub_mod and bn_eq_mask 13 July 2021, 19:43:48 UTC
52069a4 [CI] regenerate hints and dist 13 July 2021, 08:43:56 UTC
8ad31b0 Merge branch 'master' into protz_freebsd 12 July 2021, 15:08:28 UTC
50da11a [CI] regenerate hints and dist 12 July 2021, 08:46:55 UTC
437689b [CI] regenerate hints and dist 11 July 2021, 08:43:29 UTC
19e5cae [CI] regenerate hints and dist 10 July 2021, 08:25:54 UTC
f43057c dist snapshot 09 July 2021, 22:10:24 UTC
524628b Merge branch 'master' of github.com:project-everest/hacl-star into protz_freebsd 09 July 2021, 21:41:06 UTC
e52fc75 Merge pull request #464 from project-everest/_taramana_ci CI hint refresh: do not commit if no changes 09 July 2021, 18:30:07 UTC
a8006eb hint refresh: do not commit if no changes From project-everest/mitls-fstar@310eab0dd50babd4600c508e9cf8103616555793 09 July 2021, 15:38:49 UTC
371e471 [CI] regenerate hints and dist 09 July 2021, 08:26:21 UTC
c5f557a [CI] regenerate hints and dist 08 July 2021, 08:26:15 UTC
a342e20 Build fixes for FreeBSD: link in proper ASM implementations 07 July 2021, 17:54:19 UTC
a3541cf [CI] regenerate hints and dist 07 July 2021, 08:25:41 UTC
e3e93cb Merge pull request #462 from project-everest/polubelova_bn_extraction tweaks for bignum extraction 06 July 2021, 18:47:52 UTC
ef89bb8 [CI] regenerate hints and dist 06 July 2021, 08:26:25 UTC
8db801f incorrect extraction? 05 July 2021, 18:16:40 UTC
08a6ee4 refresh dist 05 July 2021, 17:46:45 UTC
185dd49 remove n / 4 * 4 / 4 in extracted code 05 July 2021, 17:25:09 UTC
9f725cd avoid VLA for specialized bignum 05 July 2021, 17:22:44 UTC
a4b20bd [CI] regenerate hints and dist 05 July 2021, 08:26:20 UTC
49c3dc5 [CI] regenerate hints and dist 04 July 2021, 08:25:41 UTC
4febe60 [CI] regenerate hints and dist 03 July 2021, 08:25:37 UTC
fe6be9a [CI] regenerate hints and dist 02 July 2021, 08:29:21 UTC
back to top