Add copyright header to all files and add linting

Signed-off-by: Matthias J. Kannwischer <[email protected]>
pq-code-package · Nov 21, 2024 · 533d9fa · 533d9fa
1 parent 1a32c1e
commit 533d9fa
Show file tree

Hide file tree

Showing 176 changed files with 186 additions and 9 deletions.
diff --git a/cbmc/proofs/barrett_reduce/barrett_reduce_harness.c b/cbmc/proofs/barrett_reduce/barrett_reduce_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/basemul_cached/basemul_cached_harness.c b/cbmc/proofs/basemul_cached/basemul_cached_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/cmov/cmov_harness.c b/cbmc/proofs/cmov/cmov_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/cmov_int16/cmov_int16_harness.c b/cbmc/proofs/cmov_int16/cmov_int16_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/crypto_kem_dec/crypto_kem_dec_harness.c b/cbmc/proofs/crypto_kem_dec/crypto_kem_dec_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/crypto_kem_enc/crypto_kem_enc_harness.c b/cbmc/proofs/crypto_kem_enc/crypto_kem_enc_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/crypto_kem_enc_derand/crypto_kem_enc_derand_harness.c b/cbmc/proofs/crypto_kem_enc_derand/crypto_kem_enc_derand_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/crypto_kem_keypair/crypto_kem_keypair_harness.c b/cbmc/proofs/crypto_kem_keypair/crypto_kem_keypair_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/crypto_kem_keypair_derand/crypto_kem_keypair_derand_harness.c b/cbmc/proofs/crypto_kem_keypair_derand/crypto_kem_keypair_derand_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/fqmul/fqmul_harness.c b/cbmc/proofs/fqmul/fqmul_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/gen_matrix/gen_matrix_harness.c b/cbmc/proofs/gen_matrix/gen_matrix_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/gen_matrix_entry/gen_matrix_entry_harness.c b/cbmc/proofs/gen_matrix_entry/gen_matrix_entry_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/gen_matrix_entry_x4/gen_matrix_entry_x4_harness.c b/cbmc/proofs/gen_matrix_entry_x4/gen_matrix_entry_x4_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/indcpa_dec/indcpa_dec_harness.c b/cbmc/proofs/indcpa_dec/indcpa_dec_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/indcpa_enc/indcpa_enc_harness.c b/cbmc/proofs/indcpa_enc/indcpa_enc_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/indcpa_keypair_derand/indcpa_keypair_derand_harness.c b/cbmc/proofs/indcpa_keypair_derand/indcpa_keypair_derand_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/invntt_layer/invntt_layer_harness.c b/cbmc/proofs/invntt_layer/invntt_layer_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/matvec_mul/matvec_mul_harness.c b/cbmc/proofs/matvec_mul/matvec_mul_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/montgomery_reduce/montgomery_reduce_harness.c b/cbmc/proofs/montgomery_reduce/montgomery_reduce_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/ntt_butterfly_block/ntt_butterfly_block_harness.c b/cbmc/proofs/ntt_butterfly_block/ntt_butterfly_block_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/ntt_layer/ntt_layer_harness.c b/cbmc/proofs/ntt_layer/ntt_layer_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/poly_add/poly_add_harness.c b/cbmc/proofs/poly_add/poly_add_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/poly_basemul_montgomery_cached/poly_basemul_montgomery_cached_harness.c b/cbmc/proofs/poly_basemul_montgomery_cached/poly_basemul_montgomery_cached_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/poly_cbd_eta1/poly_cbd_eta1_harness.c b/cbmc/proofs/poly_cbd_eta1/poly_cbd_eta1_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/poly_cbd_eta2/poly_cbd_eta2_harness.c b/cbmc/proofs/poly_cbd_eta2/poly_cbd_eta2_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/poly_compress_du/poly_compress_du_harness.c b/cbmc/proofs/poly_compress_du/poly_compress_du_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/poly_compress_dv/poly_compress_dv_harness.c b/cbmc/proofs/poly_compress_dv/poly_compress_dv_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/poly_decompress_du/poly_decompress_du_harness.c b/cbmc/proofs/poly_decompress_du/poly_decompress_du_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/poly_decompress_dv/poly_decompress_dv_harness.c b/cbmc/proofs/poly_decompress_dv/poly_decompress_dv_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/poly_frombytes/poly_frombytes_harness.c b/cbmc/proofs/poly_frombytes/poly_frombytes_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/poly_frommsg/poly_frommsg_harness.c b/cbmc/proofs/poly_frommsg/poly_frommsg_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/poly_getnoise_eta1122_4x/poly_getnoise_eta1122_4x_harness.c b/cbmc/proofs/poly_getnoise_eta1122_4x/poly_getnoise_eta1122_4x_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/poly_getnoise_eta1_4x/poly_getnoise_eta1_4x_harness.c b/cbmc/proofs/poly_getnoise_eta1_4x/poly_getnoise_eta1_4x_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/poly_getnoise_eta2/poly_getnoise_eta2_harness.c b/cbmc/proofs/poly_getnoise_eta2/poly_getnoise_eta2_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/poly_invntt_tomont/poly_invntt_tomont_harness.c b/cbmc/proofs/poly_invntt_tomont/poly_invntt_tomont_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/poly_mulcache_compute/poly_mulcache_compute_harness.c b/cbmc/proofs/poly_mulcache_compute/poly_mulcache_compute_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/poly_ntt/poly_ntt_harness.c b/cbmc/proofs/poly_ntt/poly_ntt_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/poly_reduce/poly_reduce_harness.c b/cbmc/proofs/poly_reduce/poly_reduce_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/poly_sub/poly_sub_harness.c b/cbmc/proofs/poly_sub/poly_sub_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/poly_tobytes/poly_tobytes_harness.c b/cbmc/proofs/poly_tobytes/poly_tobytes_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/poly_tomont/poly_tomont_harness.c b/cbmc/proofs/poly_tomont/poly_tomont_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/poly_tomsg/poly_tomsg_harness.c b/cbmc/proofs/poly_tomsg/poly_tomsg_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/polyvec_add/polyvec_add_harness.c b/cbmc/proofs/polyvec_add/polyvec_add_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/...ofs/polyvec_basemul_acc_montgomery_cached/polyvec_basemul_acc_montgomery_cached_harness.c b/...ofs/polyvec_basemul_acc_montgomery_cached/polyvec_basemul_acc_montgomery_cached_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/polyvec_compress_du/polyvec_compress_du_harness.c b/cbmc/proofs/polyvec_compress_du/polyvec_compress_du_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/polyvec_decompress_du/polyvec_decompress_du_harness.c b/cbmc/proofs/polyvec_decompress_du/polyvec_decompress_du_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/polyvec_frombytes/polyvec_frombytes_harness.c b/cbmc/proofs/polyvec_frombytes/polyvec_frombytes_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/polyvec_invntt_tomont/polyvec_invntt_tomont_harness.c b/cbmc/proofs/polyvec_invntt_tomont/polyvec_invntt_tomont_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/polyvec_mulcache_compute/polyvec_mulcache_compute_harness.c b/cbmc/proofs/polyvec_mulcache_compute/polyvec_mulcache_compute_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/polyvec_ntt/polyvec_ntt_harness.c b/cbmc/proofs/polyvec_ntt/polyvec_ntt_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/cbmc/proofs/polyvec_reduce/polyvec_reduce_harness.c b/cbmc/proofs/polyvec_reduce/polyvec_reduce_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/polyvec_tobytes/polyvec_tobytes_harness.c b/cbmc/proofs/polyvec_tobytes/polyvec_tobytes_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/polyvec_tomont/polyvec_tomont_harness.c b/cbmc/proofs/polyvec_tomont/polyvec_tomont_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/rej_uniform/rej_uniform_harness.c b/cbmc/proofs/rej_uniform/rej_uniform_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/scalar_compress_d1/scalar_compress_d1_harness.c b/cbmc/proofs/scalar_compress_d1/scalar_compress_d1_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/scalar_compress_d10/scalar_compress_d10_harness.c b/cbmc/proofs/scalar_compress_d10/scalar_compress_d10_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/scalar_compress_d11/scalar_compress_d11_harness.c b/cbmc/proofs/scalar_compress_d11/scalar_compress_d11_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/scalar_compress_d4/scalar_compress_d4_harness.c b/cbmc/proofs/scalar_compress_d4/scalar_compress_d4_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/scalar_compress_d5/scalar_compress_d5_harness.c b/cbmc/proofs/scalar_compress_d5/scalar_compress_d5_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/scalar_decompress_d10/scalar_decompress_d10_harness.c b/cbmc/proofs/scalar_decompress_d10/scalar_decompress_d10_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/scalar_decompress_d11/scalar_decompress_d11_harness.c b/cbmc/proofs/scalar_decompress_d11/scalar_decompress_d11_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/scalar_decompress_d4/scalar_decompress_d4_harness.c b/cbmc/proofs/scalar_decompress_d4/scalar_decompress_d4_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/scalar_decompress_d5/scalar_decompress_d5_harness.c b/cbmc/proofs/scalar_decompress_d5/scalar_decompress_d5_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

diff --git a/cbmc/proofs/scalar_signed_to_unsigned_q/scalar_signed_to_unsigned_q_harness.c b/cbmc/proofs/scalar_signed_to_unsigned_q/scalar_signed_to_unsigned_q_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0
 

diff --git a/cbmc/proofs/verify/verify_harness.c b/cbmc/proofs/verify/verify_harness.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0 AND Apache-2.0
 

diff --git a/fips202/fips202.c b/fips202/fips202.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // SPDX-License-Identifier: CC0-1.0
 /* Based on the CC0 implementation in https://github.com/mupq/mupq and
  * the public domain implementation in

diff --git a/fips202/fips202.h b/fips202/fips202.h
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // SPDX-License-Identifier: CC0-1.0
 #ifndef FIPS202_H
 #define FIPS202_H

diff --git a/fips202/fips202x4.c b/fips202/fips202x4.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // SPDX-License-Identifier: Apache-2.0
 #include "fips202x4.h"
 #include <string.h>

diff --git a/fips202/fips202x4.h b/fips202/fips202x4.h
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // SPDX-License-Identifier: Apache-2.0
 #ifndef FIPS_202X4_H
 #define FIPS_202X4_H

diff --git a/fips202/keccakf1600.c b/fips202/keccakf1600.c
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // SPDX-License-Identifier: CC0-1.0
 /* Based on the CC0 implementation in https://github.com/mupq/mupq and
  * the public domain implementation in

diff --git a/fips202/keccakf1600.h b/fips202/keccakf1600.h
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // SPDX-License-Identifier: CC0-1.0
 #ifndef KECCAKF1600_H
 #define KECCAKF1600_H

diff --git a/fips202/namespace.h b/fips202/namespace.h
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // SPDX-License-Identifier: CC0-1.0
 #ifndef NAMESPACE_H
 #define NAMESPACE_H

diff --git a/fips202/native/aarch64/common.i b/fips202/native/aarch64/common.i
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // SPDX-License-Identifier: MIT
 
 #if __APPLE__

diff --git a/fips202/native/aarch64/fips202_native_aarch64.h b/fips202/native/aarch64/fips202_native_aarch64.h
@@ -1,3 +1,4 @@
+// Copyright (c) 2024 The mlkem-native project authors
 // SPDX-License-Identifier: Apache-2.0
 #ifndef FIPS202_AARCH64_NATIVE_H
 #define FIPS202_AARCH64_NATIVE_H

diff --git a/fips202/native/aarch64/keccak_f1600_x1_scalar_asm_opt.S b/fips202/native/aarch64/keccak_f1600_x1_scalar_asm_opt.S
@@ -1,4 +1,5 @@
 /*
+ * Copyright (c) 2024 The mlkem-native project authors
  * Copyright (c) 2021-2022 Arm Limited
  * Copyright (c) 2022 Matthias Kannwischer
  * SPDX-License-Identifier: MIT

diff --git a/fips202/native/aarch64/keccak_f1600_x1_v84a_asm_clean.S b/fips202/native/aarch64/keccak_f1600_x1_v84a_asm_clean.S
@@ -1,4 +1,5 @@
 /*
+ * Copyright (c) 2024 The mlkem-native project authors
  * Copyright (c) 2021-2022 Arm Limited
  * Copyright (c) 2022 Matthias Kannwischer
  * SPDX-License-Identifier: MIT

diff --git a/fips202/native/aarch64/keccak_f1600_x2_v84a_asm_clean.S b/fips202/native/aarch64/keccak_f1600_x2_v84a_asm_clean.S
@@ -1,4 +1,5 @@
 /*
+ * Copyright (c) 2024 The mlkem-native project authors
  * Copyright (c) 2021-2022 Arm Limited
  * Copyright (c) 2022 Matthias Kannwischer
  * SPDX-License-Identifier: MIT

diff --git a/fips202/native/aarch64/keccak_f1600_x2_v8a_v84a_asm_hybrid.S b/fips202/native/aarch64/keccak_f1600_x2_v8a_v84a_asm_hybrid.S
@@ -1,4 +1,5 @@
 /*
+ * Copyright (c) 2024 The mlkem-native project authors
  * Copyright (c) 2021-2022 Arm Limited
  * Copyright (c) 2022 Matthias Kannwischer
  * SPDX-License-Identifier: MIT

diff --git a/fips202/native/aarch64/keccak_f1600_x4_scalar_v84a_asm_hybrid_opt.S b/fips202/native/aarch64/keccak_f1600_x4_scalar_v84a_asm_hybrid_opt.S
@@ -1,4 +1,5 @@
 /*
+ * Copyright (c) 2024 The mlkem-native project authors
  * Copyright (c) 2021-2022 Arm Limited
  * Copyright (c) 2022 Matthias Kannwischer
  * SPDX-License-Identifier: MIT