Misc cleanup and updated hacl bindings #69

franziskuskiefer · 2023-09-04T14:50:51Z

Follow up to #47 updating the HACL code.

franziskuskiefer · 2023-09-05T05:29:56Z

@mamonet can you look at this? Looks like the build isn't working with the code from upstream.

franziskuskiefer added 3 commits September 4, 2023 14:28

update bindings.rs

857f442

update hacl src

f38487c

update includes

b853c3b

franziskuskiefer mentioned this pull request Sep 5, 2023

build hacl-sys directly instead of using hacl-packages #47

Closed

franziskuskiefer assigned franziskuskiefer and mamonet Sep 5, 2023

mamonet and others added 2 commits September 5, 2023 10:09

Add empty header to pass Hacl_Curve25519_64.c build

dfb2c54

update comment

93a2f30

franziskuskiefer merged commit 393f678 into main Sep 5, 2023
3 checks passed

franziskuskiefer deleted the franziskus/cleanup-and-hacl-bindings branch September 5, 2023 08:14

Provide feedback