Skip to content

Commit 94bcca9

Browse files
committed
fix #include "python_hacl_namespaces.h"
remove fstar_uint128_gcc64.h and fstar_uint128_msvc.h make regen-sbom
1 parent 02f3ebe commit 94bcca9

13 files changed

+189
-759
lines changed

Misc/sbom.spdx.json

Lines changed: 170 additions & 75 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Modules/_hacl/Hacl_Hash_Blake2b.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@ extern "C" {
3131
#endif
3232

3333
#include <string.h>
34+
#include "python_hacl_namespaces.h"
3435
#include "krml/internal/types.h"
3536
#include "krml/lowstar_endianness.h"
3637
#include "krml/internal/target.h"

Modules/_hacl/Hacl_Hash_Blake2b_Simd256.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@ extern "C" {
3131
#endif
3232

3333
#include <string.h>
34+
#include "python_hacl_namespaces.h"
3435
#include "krml/internal/types.h"
3536
#include "krml/lowstar_endianness.h"
3637
#include "krml/internal/target.h"

Modules/_hacl/Hacl_Hash_Blake2s.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@ extern "C" {
3131
#endif
3232

3333
#include <string.h>
34+
#include "python_hacl_namespaces.h"
3435
#include "krml/internal/types.h"
3536
#include "krml/lowstar_endianness.h"
3637
#include "krml/internal/target.h"

Modules/_hacl/Hacl_Hash_Blake2s_Simd128.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@ extern "C" {
3131
#endif
3232

3333
#include <string.h>
34+
#include "python_hacl_namespaces.h"
3435
#include "krml/internal/types.h"
3536
#include "krml/lowstar_endianness.h"
3637
#include "krml/internal/target.h"

Modules/_hacl/Hacl_Hash_MD5.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@ extern "C" {
3131
#endif
3232

3333
#include <string.h>
34+
#include "python_hacl_namespaces.h"
3435
#include "krml/internal/types.h"
3536
#include "krml/lowstar_endianness.h"
3637
#include "krml/internal/target.h"

Modules/_hacl/Hacl_Hash_SHA1.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@ extern "C" {
3131
#endif
3232

3333
#include <string.h>
34+
#include "python_hacl_namespaces.h"
3435
#include "krml/internal/types.h"
3536
#include "krml/lowstar_endianness.h"
3637
#include "krml/internal/target.h"

Modules/_hacl/Hacl_Hash_SHA2.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@ extern "C" {
3131
#endif
3232

3333
#include <string.h>
34+
#include "python_hacl_namespaces.h"
3435
#include "krml/internal/types.h"
3536
#include "krml/lowstar_endianness.h"
3637
#include "krml/internal/target.h"

Modules/_hacl/Hacl_Hash_SHA3.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@ extern "C" {
3131
#endif
3232

3333
#include <string.h>
34+
#include "python_hacl_namespaces.h"
3435
#include "krml/internal/types.h"
3536
#include "krml/lowstar_endianness.h"
3637
#include "krml/internal/target.h"

Modules/_hacl/include/krml/fstar_uint128_gcc64.h

Lines changed: 0 additions & 165 deletions
This file was deleted.

0 commit comments

Comments
 (0)