Re-run autogen after moving to src/

Signed-off-by: Matthias J. Kannwischer <[email protected]>

Author: mkannwischer

BIBLIOGRAPHY.md

@@ -14,13 +14,13 @@ source code and documentation.
   - National Institute of Standards and Technology
 * URL: https://csrc.nist.gov/projects/cryptographic-module-validation-program/fips-140-3-ig-announcements
 * Referenced from:
-  - [examples/bring_your_own_fips202/mldsa_native/config.h](examples/bring_your_own_fips202/mldsa_native/config.h)
-  - [examples/bring_your_own_fips202/mldsa_native/sign.c](examples/bring_your_own_fips202/mldsa_native/sign.c)
+  - [examples/bring_your_own_fips202/mldsa_native/src/config.h](examples/bring_your_own_fips202/mldsa_native/src/config.h)
+  - [examples/bring_your_own_fips202/mldsa_native/src/sign.c](examples/bring_your_own_fips202/mldsa_native/src/sign.c)
   - [integration/liboqs/config_aarch64.h](integration/liboqs/config_aarch64.h)
   - [integration/liboqs/config_c.h](integration/liboqs/config_c.h)
   - [integration/liboqs/config_x86_64.h](integration/liboqs/config_x86_64.h)
-  - [mldsa/config.h](mldsa/config.h)
-  - [mldsa/sign.c](mldsa/sign.c)
+  - [mldsa/src/config.h](mldsa/src/config.h)
+  - [mldsa/src/sign.c](mldsa/src/sign.c)
   - [test/break_pct_config.h](test/break_pct_config.h)
   - [test/custom_memcpy_config.h](test/custom_memcpy_config.h)
   - [test/custom_memset_config.h](test/custom_memset_config.h)
@@ -47,28 +47,28 @@ source code and documentation.
 * URL: https://csrc.nist.gov/pubs/fips/204/final
 * Referenced from:
   - [README.md](README.md)
-  - [examples/bring_your_own_fips202/mldsa_native/common.h](examples/bring_your_own_fips202/mldsa_native/common.h)
-  - [examples/bring_your_own_fips202/mldsa_native/config.h](examples/bring_your_own_fips202/mldsa_native/config.h)
   - [examples/bring_your_own_fips202/mldsa_native/mldsa_native.h](examples/bring_your_own_fips202/mldsa_native/mldsa_native.h)
-  - [examples/bring_your_own_fips202/mldsa_native/ntt.h](examples/bring_your_own_fips202/mldsa_native/ntt.h)
-  - [examples/bring_your_own_fips202/mldsa_native/poly.c](examples/bring_your_own_fips202/mldsa_native/poly.c)
-  - [examples/bring_your_own_fips202/mldsa_native/poly_kl.c](examples/bring_your_own_fips202/mldsa_native/poly_kl.c)
-  - [examples/bring_your_own_fips202/mldsa_native/polyvec.c](examples/bring_your_own_fips202/mldsa_native/polyvec.c)
-  - [examples/bring_your_own_fips202/mldsa_native/rounding.h](examples/bring_your_own_fips202/mldsa_native/rounding.h)
-  - [examples/bring_your_own_fips202/mldsa_native/sign.c](examples/bring_your_own_fips202/mldsa_native/sign.c)
-  - [examples/bring_your_own_fips202/mldsa_native/sign.h](examples/bring_your_own_fips202/mldsa_native/sign.h)
-  - [mldsa/common.h](mldsa/common.h)
-  - [mldsa/config.h](mldsa/config.h)
-  - [mldsa/fips202/fips202.c](mldsa/fips202/fips202.c)
-  - [mldsa/fips202/fips202x4.c](mldsa/fips202/fips202x4.c)
+  - [examples/bring_your_own_fips202/mldsa_native/src/common.h](examples/bring_your_own_fips202/mldsa_native/src/common.h)
+  - [examples/bring_your_own_fips202/mldsa_native/src/config.h](examples/bring_your_own_fips202/mldsa_native/src/config.h)
+  - [examples/bring_your_own_fips202/mldsa_native/src/ntt.h](examples/bring_your_own_fips202/mldsa_native/src/ntt.h)
+  - [examples/bring_your_own_fips202/mldsa_native/src/poly.c](examples/bring_your_own_fips202/mldsa_native/src/poly.c)
+  - [examples/bring_your_own_fips202/mldsa_native/src/poly_kl.c](examples/bring_your_own_fips202/mldsa_native/src/poly_kl.c)
+  - [examples/bring_your_own_fips202/mldsa_native/src/polyvec.c](examples/bring_your_own_fips202/mldsa_native/src/polyvec.c)
+  - [examples/bring_your_own_fips202/mldsa_native/src/rounding.h](examples/bring_your_own_fips202/mldsa_native/src/rounding.h)
+  - [examples/bring_your_own_fips202/mldsa_native/src/sign.c](examples/bring_your_own_fips202/mldsa_native/src/sign.c)
+  - [examples/bring_your_own_fips202/mldsa_native/src/sign.h](examples/bring_your_own_fips202/mldsa_native/src/sign.h)
   - [mldsa/mldsa_native.h](mldsa/mldsa_native.h)
-  - [mldsa/ntt.h](mldsa/ntt.h)
-  - [mldsa/poly.c](mldsa/poly.c)
-  - [mldsa/poly_kl.c](mldsa/poly_kl.c)
-  - [mldsa/polyvec.c](mldsa/polyvec.c)
-  - [mldsa/rounding.h](mldsa/rounding.h)
-  - [mldsa/sign.c](mldsa/sign.c)
-  - [mldsa/sign.h](mldsa/sign.h)
+  - [mldsa/src/common.h](mldsa/src/common.h)
+  - [mldsa/src/config.h](mldsa/src/config.h)
+  - [mldsa/src/fips202/fips202.c](mldsa/src/fips202/fips202.c)
+  - [mldsa/src/fips202/fips202x4.c](mldsa/src/fips202/fips202x4.c)
+  - [mldsa/src/ntt.h](mldsa/src/ntt.h)
+  - [mldsa/src/poly.c](mldsa/src/poly.c)
+  - [mldsa/src/poly_kl.c](mldsa/src/poly_kl.c)
+  - [mldsa/src/polyvec.c](mldsa/src/polyvec.c)
+  - [mldsa/src/rounding.h](mldsa/src/rounding.h)
+  - [mldsa/src/sign.c](mldsa/src/sign.c)
+  - [mldsa/src/sign.h](mldsa/src/sign.h)
   - [test/break_pct_config.h](test/break_pct_config.h)
   - [test/custom_memcpy_config.h](test/custom_memcpy_config.h)
   - [test/custom_memset_config.h](test/custom_memset_config.h)
@@ -88,9 +88,9 @@ source code and documentation.
   - [dev/fips202/aarch64/auto.h](dev/fips202/aarch64/auto.h)
   - [dev/fips202/aarch64/src/keccak_f1600_x1_v84a_asm.S](dev/fips202/aarch64/src/keccak_f1600_x1_v84a_asm.S)
   - [dev/fips202/aarch64/src/keccak_f1600_x2_v84a_asm.S](dev/fips202/aarch64/src/keccak_f1600_x2_v84a_asm.S)
-  - [mldsa/fips202/native/aarch64/auto.h](mldsa/fips202/native/aarch64/auto.h)
-  - [mldsa/fips202/native/aarch64/src/keccak_f1600_x1_v84a_asm.S](mldsa/fips202/native/aarch64/src/keccak_f1600_x1_v84a_asm.S)
-  - [mldsa/fips202/native/aarch64/src/keccak_f1600_x2_v84a_asm.S](mldsa/fips202/native/aarch64/src/keccak_f1600_x2_v84a_asm.S)
+  - [mldsa/src/fips202/native/aarch64/auto.h](mldsa/src/fips202/native/aarch64/auto.h)
+  - [mldsa/src/fips202/native/aarch64/src/keccak_f1600_x1_v84a_asm.S](mldsa/src/fips202/native/aarch64/src/keccak_f1600_x1_v84a_asm.S)
+  - [mldsa/src/fips202/native/aarch64/src/keccak_f1600_x2_v84a_asm.S](mldsa/src/fips202/native/aarch64/src/keccak_f1600_x2_v84a_asm.S)
 
 ### `KyberSlash`
 
@@ -159,12 +159,12 @@ source code and documentation.
 * URL: https://github.com/pq-crystals/dilithium/tree/master/ref
 * Referenced from:
   - [README.md](README.md)
-  - [examples/bring_your_own_fips202/mldsa_native/ntt.c](examples/bring_your_own_fips202/mldsa_native/ntt.c)
-  - [examples/bring_your_own_fips202/mldsa_native/poly.c](examples/bring_your_own_fips202/mldsa_native/poly.c)
-  - [examples/bring_your_own_fips202/mldsa_native/poly_kl.c](examples/bring_your_own_fips202/mldsa_native/poly_kl.c)
-  - [mldsa/ntt.c](mldsa/ntt.c)
-  - [mldsa/poly.c](mldsa/poly.c)
-  - [mldsa/poly_kl.c](mldsa/poly_kl.c)
+  - [examples/bring_your_own_fips202/mldsa_native/src/ntt.c](examples/bring_your_own_fips202/mldsa_native/src/ntt.c)
+  - [examples/bring_your_own_fips202/mldsa_native/src/poly.c](examples/bring_your_own_fips202/mldsa_native/src/poly.c)
+  - [examples/bring_your_own_fips202/mldsa_native/src/poly_kl.c](examples/bring_your_own_fips202/mldsa_native/src/poly_kl.c)
+  - [mldsa/src/ntt.c](mldsa/src/ntt.c)
+  - [mldsa/src/poly.c](mldsa/src/poly.c)
+  - [mldsa/src/poly_kl.c](mldsa/src/poly_kl.c)
 
 ### `REF_AVX2`
 
@@ -201,27 +201,27 @@ source code and documentation.
   - [dev/x86_64/src/rej_uniform_avx2.c](dev/x86_64/src/rej_uniform_avx2.c)
   - [dev/x86_64/src/rej_uniform_eta2_avx2.c](dev/x86_64/src/rej_uniform_eta2_avx2.c)
   - [dev/x86_64/src/rej_uniform_eta4_avx2.c](dev/x86_64/src/rej_uniform_eta4_avx2.c)
-  - [mldsa/native/x86_64/src/align.h](mldsa/native/x86_64/src/align.h)
-  - [mldsa/native/x86_64/src/consts.c](mldsa/native/x86_64/src/consts.c)
-  - [mldsa/native/x86_64/src/consts.h](mldsa/native/x86_64/src/consts.h)
-  - [mldsa/native/x86_64/src/intt.S](mldsa/native/x86_64/src/intt.S)
-  - [mldsa/native/x86_64/src/ntt.S](mldsa/native/x86_64/src/ntt.S)
-  - [mldsa/native/x86_64/src/nttunpack.S](mldsa/native/x86_64/src/nttunpack.S)
-  - [mldsa/native/x86_64/src/pointwise.S](mldsa/native/x86_64/src/pointwise.S)
-  - [mldsa/native/x86_64/src/pointwise_acc_l4.S](mldsa/native/x86_64/src/pointwise_acc_l4.S)
-  - [mldsa/native/x86_64/src/pointwise_acc_l5.S](mldsa/native/x86_64/src/pointwise_acc_l5.S)
-  - [mldsa/native/x86_64/src/pointwise_acc_l7.S](mldsa/native/x86_64/src/pointwise_acc_l7.S)
-  - [mldsa/native/x86_64/src/poly_caddq_avx2.c](mldsa/native/x86_64/src/poly_caddq_avx2.c)
-  - [mldsa/native/x86_64/src/poly_chknorm_avx2.c](mldsa/native/x86_64/src/poly_chknorm_avx2.c)
-  - [mldsa/native/x86_64/src/poly_decompose_32_avx2.c](mldsa/native/x86_64/src/poly_decompose_32_avx2.c)
-  - [mldsa/native/x86_64/src/poly_decompose_88_avx2.c](mldsa/native/x86_64/src/poly_decompose_88_avx2.c)
-  - [mldsa/native/x86_64/src/poly_use_hint_32_avx2.c](mldsa/native/x86_64/src/poly_use_hint_32_avx2.c)
-  - [mldsa/native/x86_64/src/poly_use_hint_88_avx2.c](mldsa/native/x86_64/src/poly_use_hint_88_avx2.c)
-  - [mldsa/native/x86_64/src/polyz_unpack_17_avx2.c](mldsa/native/x86_64/src/polyz_unpack_17_avx2.c)
-  - [mldsa/native/x86_64/src/polyz_unpack_19_avx2.c](mldsa/native/x86_64/src/polyz_unpack_19_avx2.c)
-  - [mldsa/native/x86_64/src/rej_uniform_avx2.c](mldsa/native/x86_64/src/rej_uniform_avx2.c)
-  - [mldsa/native/x86_64/src/rej_uniform_eta2_avx2.c](mldsa/native/x86_64/src/rej_uniform_eta2_avx2.c)
-  - [mldsa/native/x86_64/src/rej_uniform_eta4_avx2.c](mldsa/native/x86_64/src/rej_uniform_eta4_avx2.c)
+  - [mldsa/src/native/x86_64/src/align.h](mldsa/src/native/x86_64/src/align.h)
+  - [mldsa/src/native/x86_64/src/consts.c](mldsa/src/native/x86_64/src/consts.c)
+  - [mldsa/src/native/x86_64/src/consts.h](mldsa/src/native/x86_64/src/consts.h)
+  - [mldsa/src/native/x86_64/src/intt.S](mldsa/src/native/x86_64/src/intt.S)
+  - [mldsa/src/native/x86_64/src/ntt.S](mldsa/src/native/x86_64/src/ntt.S)
+  - [mldsa/src/native/x86_64/src/nttunpack.S](mldsa/src/native/x86_64/src/nttunpack.S)
+  - [mldsa/src/native/x86_64/src/pointwise.S](mldsa/src/native/x86_64/src/pointwise.S)
+  - [mldsa/src/native/x86_64/src/pointwise_acc_l4.S](mldsa/src/native/x86_64/src/pointwise_acc_l4.S)
+  - [mldsa/src/native/x86_64/src/pointwise_acc_l5.S](mldsa/src/native/x86_64/src/pointwise_acc_l5.S)
+  - [mldsa/src/native/x86_64/src/pointwise_acc_l7.S](mldsa/src/native/x86_64/src/pointwise_acc_l7.S)
+  - [mldsa/src/native/x86_64/src/poly_caddq_avx2.c](mldsa/src/native/x86_64/src/poly_caddq_avx2.c)
+  - [mldsa/src/native/x86_64/src/poly_chknorm_avx2.c](mldsa/src/native/x86_64/src/poly_chknorm_avx2.c)
+  - [mldsa/src/native/x86_64/src/poly_decompose_32_avx2.c](mldsa/src/native/x86_64/src/poly_decompose_32_avx2.c)
+  - [mldsa/src/native/x86_64/src/poly_decompose_88_avx2.c](mldsa/src/native/x86_64/src/poly_decompose_88_avx2.c)
+  - [mldsa/src/native/x86_64/src/poly_use_hint_32_avx2.c](mldsa/src/native/x86_64/src/poly_use_hint_32_avx2.c)
+  - [mldsa/src/native/x86_64/src/poly_use_hint_88_avx2.c](mldsa/src/native/x86_64/src/poly_use_hint_88_avx2.c)
+  - [mldsa/src/native/x86_64/src/polyz_unpack_17_avx2.c](mldsa/src/native/x86_64/src/polyz_unpack_17_avx2.c)
+  - [mldsa/src/native/x86_64/src/polyz_unpack_19_avx2.c](mldsa/src/native/x86_64/src/polyz_unpack_19_avx2.c)
+  - [mldsa/src/native/x86_64/src/rej_uniform_avx2.c](mldsa/src/native/x86_64/src/rej_uniform_avx2.c)
+  - [mldsa/src/native/x86_64/src/rej_uniform_eta2_avx2.c](mldsa/src/native/x86_64/src/rej_uniform_eta2_avx2.c)
+  - [mldsa/src/native/x86_64/src/rej_uniform_eta4_avx2.c](mldsa/src/native/x86_64/src/rej_uniform_eta4_avx2.c)
 
 ### `Round3_Spec`
 
@@ -237,8 +237,8 @@ source code and documentation.
   - Damien Stehlé
 * URL: https://pq-crystals.org/dilithium/data/dilithium-specification-round3-20210208.pdf
 * Referenced from:
-  - [examples/bring_your_own_fips202/mldsa_native/sign.c](examples/bring_your_own_fips202/mldsa_native/sign.c)
-  - [mldsa/sign.c](mldsa/sign.c)
+  - [examples/bring_your_own_fips202/mldsa_native/src/sign.c](examples/bring_your_own_fips202/mldsa_native/src/sign.c)
+  - [mldsa/src/sign.c](mldsa/src/sign.c)
 
 ### `SLOTHY_Paper`
 
@@ -263,8 +263,8 @@ source code and documentation.
   - Tung Chou
 * URL: https://lib.mceliece.org/
 * Referenced from:
-  - [examples/bring_your_own_fips202/mldsa_native/ct.h](examples/bring_your_own_fips202/mldsa_native/ct.h)
-  - [mldsa/ct.h](mldsa/ct.h)
+  - [examples/bring_your_own_fips202/mldsa_native/src/ct.h](examples/bring_your_own_fips202/mldsa_native/src/ct.h)
+  - [mldsa/src/ct.h](mldsa/src/ct.h)
 
 ### `m1cycles`
 
@@ -286,8 +286,8 @@ source code and documentation.
   - Ko Stoffelen
 * URL: https://github.com/mupq/mupq
 * Referenced from:
-  - [mldsa/fips202/fips202.c](mldsa/fips202/fips202.c)
-  - [mldsa/fips202/keccakf1600.c](mldsa/fips202/keccakf1600.c)
+  - [mldsa/src/fips202/fips202.c](mldsa/src/fips202/fips202.c)
+  - [mldsa/src/fips202/keccakf1600.c](mldsa/src/fips202/keccakf1600.c)
 
 ### `optblocker`
 
@@ -296,8 +296,8 @@ source code and documentation.
   - Daniel J. Bernstein
 * URL: https://groups.google.com/a/list.nist.gov/g/pqc-forum/c/hqbtIGFKIpU/m/H14H0wOlBgAJ
 * Referenced from:
-  - [examples/bring_your_own_fips202/mldsa_native/ct.h](examples/bring_your_own_fips202/mldsa_native/ct.h)
-  - [mldsa/ct.h](mldsa/ct.h)
+  - [examples/bring_your_own_fips202/mldsa_native/src/ct.h](examples/bring_your_own_fips202/mldsa_native/src/ct.h)
+  - [mldsa/src/ct.h](mldsa/src/ct.h)
 
 ### `supercop`
 
@@ -306,8 +306,8 @@ source code and documentation.
   - Daniel J. Bernstein
 * URL: http://bench.cr.yp.to/supercop.html
 * Referenced from:
-  - [mldsa/fips202/fips202.c](mldsa/fips202/fips202.c)
-  - [mldsa/fips202/keccakf1600.c](mldsa/fips202/keccakf1600.c)
+  - [mldsa/src/fips202/fips202.c](mldsa/src/fips202/fips202.c)
+  - [mldsa/src/fips202/keccakf1600.c](mldsa/src/fips202/keccakf1600.c)
 
 ### `surf`
 
@@ -343,5 +343,5 @@ source code and documentation.
   - Peter Schwabe
 * URL: https://keccak.team/2015/tweetfips202.html
 * Referenced from:
-  - [mldsa/fips202/fips202.c](mldsa/fips202/fips202.c)
-  - [mldsa/fips202/keccakf1600.c](mldsa/fips202/keccakf1600.c)
+  - [mldsa/src/fips202/fips202.c](mldsa/src/fips202/fips202.c)
+  - [mldsa/src/fips202/keccakf1600.c](mldsa/src/fips202/keccakf1600.c)

mldsa/src/cbmc.h

@@ -3,8 +3,8 @@
  * SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
  */
 
-#ifndef MLD_CBMC_H
-#define MLD_CBMC_H
+#ifndef MLD_SRC_CBMC_H
+#define MLD_SRC_CBMC_H
 /***************************************************
  * Basic replacements for __CPROVER_XXX contracts
  ***************************************************/
@@ -142,4 +142,4 @@
 
 #endif /* CBMC */
 
-#endif /* !MLD_CBMC_H */
+#endif /* !MLD_SRC_CBMC_H */

mldsa/src/common.h

@@ -12,8 +12,8 @@
  *   https://csrc.nist.gov/pubs/fips/204/final
  */
 
-#ifndef MLD_COMMON_H
-#define MLD_COMMON_H
+#ifndef MLD_SRC_COMMON_H
+#define MLD_SRC_COMMON_H
 
 #if defined(MLD_CONFIG_FILE)
 #include MLD_CONFIG_FILE
@@ -185,4 +185,4 @@ static MLD_INLINE void mld_zeroize(void *ptr, size_t len)
 
 
 
-#endif /* !MLD_COMMON_H */
+#endif /* !MLD_SRC_COMMON_H */

mldsa/src/config.h

@@ -17,8 +17,8 @@
  *   https://csrc.nist.gov/pubs/fips/204/final
  */
 
-#ifndef MLD_CONFIG_H
-#define MLD_CONFIG_H
+#ifndef MLD_SRC_CONFIG_H
+#define MLD_SRC_CONFIG_H
 
 /******************************************************************************
  * Name:        MLD_CONFIG_PARAMETER_SET
@@ -436,4 +436,4 @@
 #define MLD_DEFAULT_NAMESPACE_PREFIX PQCP_MLDSA_NATIVE_MLDSA87
 #endif
 
-#endif /* !MLD_CONFIG_H */
+#endif /* !MLD_SRC_CONFIG_H */

mldsa/src/ct.h

@@ -18,8 +18,8 @@
  *   https://groups.google.com/a/list.nist.gov/g/pqc-forum/c/hqbtIGFKIpU/m/H14H0wOlBgAJ
  */
 
-#ifndef MLD_CT_H
-#define MLD_CT_H
+#ifndef MLD_SRC_CT_H
+#define MLD_SRC_CT_H
 
 #include <stdint.h>
 #include "cbmc.h"
@@ -233,4 +233,4 @@ __contract__(
 }
 
 
-#endif /* !MLD_CT_H */
+#endif /* !MLD_SRC_CT_H */

mldsa/src/debug.h

@@ -3,8 +3,8 @@
  * Copyright (c) The mldsa-native project authors
  * SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
  */
-#ifndef MLD_DEBUG_H
-#define MLD_DEBUG_H
+#ifndef MLD_SRC_DEBUG_H
+#define MLD_SRC_DEBUG_H
 #include "common.h"
 
 #if defined(MLDSA_DEBUG)
@@ -128,4 +128,4 @@ void mld_debug_check_bounds(const char *file, int line, const int32_t *ptr,
 
 
 #endif /* !MLDSA_DEBUG && !CBMC */
-#endif /* !MLD_DEBUG_H */
+#endif /* !MLD_SRC_DEBUG_H */

mldsa/src/fips202/fips202.h

@@ -2,8 +2,8 @@
  * Copyright (c) The mldsa-native project authors
  * SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
  */
-#ifndef MLD_FIPS202_FIPS202_H
-#define MLD_FIPS202_FIPS202_H
+#ifndef MLD_SRC_FIPS202_FIPS202_H
+#define MLD_SRC_FIPS202_FIPS202_H
 
 #include <stddef.h>
 #include <stdint.h>
@@ -231,4 +231,4 @@ __contract__(
   assigns(memory_slice(out, outlen))
 );
 
-#endif /* !MLD_FIPS202_FIPS202_H */
+#endif /* !MLD_SRC_FIPS202_FIPS202_H */

mldsa/src/fips202/fips202x4.h

@@ -3,8 +3,8 @@
  * Copyright (c) The mldsa-native project authors
  * SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
  */
-#ifndef MLD_FIPS202_FIPS202X4_H
-#define MLD_FIPS202_FIPS202X4_H
+#ifndef MLD_SRC_FIPS202_FIPS202X4_H
+#define MLD_SRC_FIPS202_FIPS202X4_H
 
 #include <stddef.h>
 #include <stdint.h>
@@ -104,4 +104,4 @@ void mld_shake256x4_init(mld_shake256x4ctx *state);
 void mld_shake256x4_release(mld_shake256x4ctx *state);
 
 
-#endif /* !MLD_FIPS202_FIPS202X4_H */
+#endif /* !MLD_SRC_FIPS202_FIPS202X4_H */

mldsa/src/fips202/keccakf1600.h

@@ -3,8 +3,8 @@
  * Copyright (c) The mldsa-native project authors
  * SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
  */
-#ifndef MLD_FIPS202_KECCAKF1600_H
-#define MLD_FIPS202_KECCAKF1600_H
+#ifndef MLD_SRC_FIPS202_KECCAKF1600_H
+#define MLD_SRC_FIPS202_KECCAKF1600_H
 #include <stdint.h>
 #include "../cbmc.h"
 #include "../common.h"
@@ -98,4 +98,4 @@ __contract__(
     assigns(memory_slice(state, sizeof(uint64_t) * MLD_KECCAK_LANES))
 );
 
-#endif /* !MLD_FIPS202_KECCAKF1600_H */
+#endif /* !MLD_SRC_FIPS202_KECCAKF1600_H */

mldsa/src/fips202/native/aarch64/auto.h

@@ -13,8 +13,8 @@
  *   https://eprint.iacr.org/2022/1243
  */
 
-#ifndef MLD_FIPS202_NATIVE_AARCH64_AUTO_H
-#define MLD_FIPS202_NATIVE_AARCH64_AUTO_H
+#ifndef MLD_SRC_FIPS202_NATIVE_AARCH64_AUTO_H
+#define MLD_SRC_FIPS202_NATIVE_AARCH64_AUTO_H
 /* Default FIPS202 assembly profile for AArch64 systems */
 
 /*
@@ -68,4 +68,4 @@
 
 #endif /* !__ARM_FEATURE_SHA3 */
 
-#endif /* !MLD_FIPS202_NATIVE_AARCH64_AUTO_H */
+#endif /* !MLD_SRC_FIPS202_NATIVE_AARCH64_AUTO_H */