Skip to content

gh-99108: Refresh HACL*; update modules accordingly; fix namespacing #117237

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
gpshead merged 3 commits into from
Mar 26, 2024
Merged

gh-99108: Refresh HACL*; update modules accordingly; fix namespacing #117237

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
81b42f2
Refresh HACL*; update modules accordingly; fix namespacing
msprotz Mar 25, 2024
9514fb4
make regen-sbom
msprotz Mar 25, 2024
c5de4c3
NEWS entry.
gpshead Mar 26, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Refresh HACL*; update modules accordingly; fix namespacing
  • Loading branch information
@msprotz
msprotz committed Mar 25, 2024
commit 81b42f2902bc00eac1f1b4e51609111e9ab36e60
688 changes: 323 additions & 365 deletions Modules/_hacl/Hacl_Hash_MD5.c
View file
Open in desktop

Large diffs are not rendered by default.

17 changes: 9 additions & 8 deletions Modules/_hacl/Hacl_Hash_MD5.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -31,31 +31,32 @@ extern "C" {
#endif

#include <string.h>
#include "python_hacl_namespaces.h"
#include "krml/types.h"
#include "krml/lowstar_endianness.h"
#include "krml/internal/target.h"

#include "Hacl_Streaming_Types.h"

typedef Hacl_Streaming_MD_state_32 Hacl_Streaming_MD5_state;
typedef Hacl_Streaming_MD_state_32 Hacl_Hash_MD5_state_t;

Hacl_Streaming_MD_state_32 *Hacl_Streaming_MD5_legacy_create_in(void);
Hacl_Streaming_MD_state_32 *Hacl_Hash_MD5_malloc(void);

void Hacl_Streaming_MD5_legacy_init(Hacl_Streaming_MD_state_32 *s);
void Hacl_Hash_MD5_reset(Hacl_Streaming_MD_state_32 *state);

/**
0 = success, 1 = max length exceeded
*/
Hacl_Streaming_Types_error_code
Hacl_Streaming_MD5_legacy_update(Hacl_Streaming_MD_state_32 *p, uint8_t *data, uint32_t len);
Hacl_Hash_MD5_update(Hacl_Streaming_MD_state_32 *state, uint8_t *chunk, uint32_t chunk_len);

void Hacl_Streaming_MD5_legacy_finish(Hacl_Streaming_MD_state_32 *p, uint8_t *dst);
void Hacl_Hash_MD5_digest(Hacl_Streaming_MD_state_32 *state, uint8_t *output);

void Hacl_Streaming_MD5_legacy_free(Hacl_Streaming_MD_state_32 *s);
void Hacl_Hash_MD5_free(Hacl_Streaming_MD_state_32 *state);

Hacl_Streaming_MD_state_32 *Hacl_Streaming_MD5_legacy_copy(Hacl_Streaming_MD_state_32 *s0);
Hacl_Streaming_MD_state_32 *Hacl_Hash_MD5_copy(Hacl_Streaming_MD_state_32 *state);

void Hacl_Streaming_MD5_legacy_hash(uint8_t *input, uint32_t input_len, uint8_t *dst);
void Hacl_Hash_MD5_hash(uint8_t *output, uint8_t *input, uint32_t input_len);

#if defined(__cplusplus)
}
Expand Down
Loading