Merge pull request hacl-star#823 from hacl-star/protz_hints_and_dist

Refresh hints & dist
mtzguido · May 27, 2023 · 9581fb9 · 9581fb9
2 parents 5f6051d + 56bd7af
commit 9581fb9
Show file tree

Hide file tree

Showing 19 changed files with 861 additions and 5,074 deletions.
diff --git a/dist/msvc-compatible/Hacl_Streaming_SHA2.c b/dist/msvc-compatible/Hacl_Streaming_SHA2.c
diff --git a/dist/msvc-compatible/Hacl_Streaming_SHA2.h b/dist/msvc-compatible/Hacl_Streaming_SHA2.h
diff --git a/dist/msvc-compatible/internal/Hacl_SHA2_Generic.h b/dist/msvc-compatible/internal/Hacl_SHA2_Generic.h
diff --git a/dist/msvc-compatible/internal/Hacl_Streaming_SHA2.h b/dist/msvc-compatible/internal/Hacl_Streaming_SHA2.h