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

sort by:
Revision Author Date Message Commit Date
da8ff68 Merge branch 'master' into setup_travis 21 July 2021, 23:38:24 UTC
2dd3312 [CI] regenerate hints and dist 21 July 2021, 08:36:42 UTC
a34da70 Use parameter for make executable 20 July 2021, 17:02:29 UTC
26ad211 Add ocaml-opam correctly 20 July 2021, 16:48:17 UTC
54a1e6c Adds FreeBSD specific travis config 20 July 2021, 16:20:49 UTC
230ce69 [CI] regenerate hints and dist 20 July 2021, 08:43:45 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
89e1b2e Merge pull request #459 from project-everest/afromher_doc Expand list of supported algorithms in doc 02 July 2021, 07:37:07 UTC
584233f Expand list of supported algorithms in doc 02 July 2021, 04:14:39 UTC
8cb6f88 [CI] regenerate hints and dist 02 July 2021, 00:07:14 UTC
8fa9452 build 01 July 2021, 23:34:11 UTC
1db0d68 [CI] regenerate hints and dist 01 July 2021, 22:11:37 UTC
6be0d4c Merge pull request #458 from project-everest/vdum_ocaml_doc OCaml docs pipeline fix 01 July 2021, 20:26:51 UTC
68dcfb3 Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc 01 July 2021, 16:37:19 UTC
ea7459d OCaml API: .opam file adjustements 01 July 2021, 16:37:03 UTC
02f818e Doc fixes 01 July 2021, 16:36:53 UTC
63c0b44 [CI] regenerate hints and dist 01 July 2021, 08:27:38 UTC
57ce883 [CI] regenerate hints and dist 30 June 2021, 15:48:01 UTC
c23d33c Merge pull request #450 from project-everest/vdum_ocaml_doc OCaml API revamp and documentation 30 June 2021, 12:13:32 UTC
6c8fa0b Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc 30 June 2021, 11:29:04 UTC
eb5ddec [CI] regenerate hints and dist 30 June 2021, 08:26:31 UTC
1fa9c00 Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc 29 June 2021, 08:01:46 UTC
df52a8d Merge pull request #457 from mamonet/master Enhance flag usage for PowerPC build configuration 28 June 2021, 18:19:46 UTC
18afff1 Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc 28 June 2021, 14:52:07 UTC
f4a3f63 [CI] regenerate hints and dist 27 June 2021, 08:25:48 UTC
4b720ae Remove -mpowerpc64 -mabi=altivec flags and use -mcpu=power9 instead of -mpower9-vector for PowerPC build configuration 26 June 2021, 13:42:27 UTC
c26705d [CI] regenerate hints and dist 26 June 2021, 08:43:37 UTC
f761dd4 [CI] regenerate hints and dist 25 June 2021, 09:04:26 UTC
b37cea0 [CI] regenerate hints and dist 24 June 2021, 08:26:55 UTC
836bb9f [CI] regenerate hints and dist 23 June 2021, 15:17:46 UTC
ee45148 Merge branch 'master' into vdum_ocaml_doc 23 June 2021, 14:35:13 UTC
b3b3284 [CI] regenerate hints and dist 23 June 2021, 09:03:02 UTC
2b91c2a Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc 22 June 2021, 23:15:51 UTC
7a3dad1 Merge branch 'master' into vdum_ocaml_doc 22 June 2021, 23:15:44 UTC
4072050 [CI] regenerate hints and dist 22 June 2021, 09:35:18 UTC
958966b [CI] regenerate hints and dist 22 June 2021, 09:35:17 UTC
6633591 [CI] regenerate hints and dist 22 June 2021, 09:35:17 UTC
c9d8e45 simple rule to build and install OCaml bindings (suggested by @msprotz) now the user can just run: make -C dist/<their distribution> install-ocaml to compile and install OCaml bindings for HACL* (packages hacl-star-raw and hacl-star) 22 June 2021, 09:35:16 UTC
387a972 [CI] regenerate hints and dist 22 June 2021, 09:35:16 UTC
603a05a OCaml API: Generate documentation 22 June 2021, 09:35:08 UTC
409711e [CI] regenerate hints and dist 22 June 2021, 08:55:39 UTC
148f9c9 OCaml API: Delete dead code 22 June 2021, 08:29:54 UTC
41efa8c OCaml API: Reorganisation of API, using Noalloc consistently 22 June 2021, 08:23:51 UTC
da2b7c0 Merge pull request #456 from project-everest/taramana_build_ocaml_bindings Simple Makefile rule to build and install OCaml bindings 21 June 2021, 15:55:02 UTC
b30c798 Merge branch 'master' into taramana_build_ocaml_bindings 21 June 2021, 15:04:39 UTC
125717c [CI] regenerate hints and dist 21 June 2021, 08:26:03 UTC
0555f08 [CI] regenerate hints and dist 20 June 2021, 08:25:48 UTC
db7cb7f [CI] regenerate hints and dist 19 June 2021, 08:29:20 UTC
53b7309 simple rule to build and install OCaml bindings (suggested by @msprotz) now the user can just run: make -C dist/<their distribution> install-ocaml to compile and install OCaml bindings for HACL* (packages hacl-star-raw and hacl-star) 18 June 2021, 18:29:18 UTC
69cebb8 [CI] regenerate hints and dist 18 June 2021, 08:27:37 UTC
4c1ee47 OCaml API: Clarify Curve25519 scalar multiplication 17 June 2021, 17:02:17 UTC
055c59c Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc 17 June 2021, 16:41:46 UTC
1a6a613 [CI] regenerate hints and dist 17 June 2021, 08:27:35 UTC
a6e42b3 Merge pull request #455 from mamonet/master Explicitly declare Power9 option in dist/configure 16 June 2021, 17:30:34 UTC
4196e95 [CI] regenerate hints and dist 16 June 2021, 08:27:19 UTC
38d917f Explicitly declare Power9 option in dist/configure Tuning build configuration for native architecture isn't recommended because if the build machine has newer CPU than the target machine the output binaries will crash with illegal instructions signal when run on older CPU. This patch sets AltiVec and PPC64 as the minimum targeted architecture and set Power9 instruction set as optional. Explicitly using -mpower9-vector flag has performance increase 6% over native CPU tuning on POWER9 processor. 16 June 2021, 02:22:59 UTC
dabfd74 [CI] regenerate hints and dist 15 June 2021, 08:26:52 UTC
b123558 Merge pull request #452 from project-everest/bump_npm Bump JS bindings npm package version 14 June 2021, 14:50:39 UTC
4f0637b Merge branch 'master' into bump_npm 14 June 2021, 13:04:20 UTC
89c2cf5 Merge branch 'BuildHints-master' 14 June 2021, 09:05:05 UTC
181b6b3 Merge pull request #416 from project-everest/son_ibm_ppc Vectorized functions for PowerPC64 (little-endian) 14 June 2021, 08:57:12 UTC
d528dfc [CI] regenerate hints and dist 14 June 2021, 08:26:47 UTC
ca0b4be [CI] regenerate hints and dist 13 June 2021, 08:24:43 UTC
56aa8fd [CI] regenerate hints and dist 12 June 2021, 08:25:04 UTC
7a6254f Merge branch 'master' into son_ibm_ppc 11 June 2021, 17:20:05 UTC
back to top