Update copyright notices for these news files

Signed-off-by: Rod Chapman <rodchap@amazon.com>
pq-code-package · Feb 4, 2025 · 6bd4523 · 6bd4523
1 parent c8a89cf
commit 6bd4523
Show file tree

Hide file tree

Showing 8 changed files with 8 additions and 8 deletions.
diff --git a/proofs/cbmc/invntt_layer321/invntt_layer321_harness.c b/proofs/cbmc/invntt_layer321/invntt_layer321_harness.c
@@ -1,4 +1,4 @@
-// Copyright (c) 2024 The mlkem-native project authors
+// Copyright (c) 2024-2025 The mlkem-native project authors
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 

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

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

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

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

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

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

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