From 6bd45232279ac45197891835f42261e78505e353 Mon Sep 17 00:00:00 2001 From: Rod Chapman Date: Tue, 4 Feb 2025 09:37:44 +0000 Subject: [PATCH] Update copyright notices for these news files Signed-off-by: Rod Chapman --- proofs/cbmc/invntt_layer321/invntt_layer321_harness.c | 2 +- proofs/cbmc/invntt_layer54/invntt_layer54_harness.c | 2 +- .../invntt_layer54_butterfly/invntt_layer54_butterfly_harness.c | 2 +- proofs/cbmc/invntt_layer6/invntt_layer6_harness.c | 2 +- proofs/cbmc/invntt_layer7_invert/invntt_layer7_invert_harness.c | 2 +- proofs/cbmc/ntt_layer123/ntt_layer123_harness.c | 2 +- proofs/cbmc/ntt_layer45/ntt_layer45_harness.c | 2 +- proofs/cbmc/ntt_layer6/ntt_layer6_harness.c | 2 +- 8 files changed, 8 insertions(+), 8 deletions(-) diff --git a/proofs/cbmc/invntt_layer321/invntt_layer321_harness.c b/proofs/cbmc/invntt_layer321/invntt_layer321_harness.c index 91510b926..aa6b25f93 100644 --- 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 index 3f0d0a214..ba97cd397 100644 --- 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 index 65222c19d..9aeca0ab3 100644 --- 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 index 6a6aed4c1..95d7a2861 100644 --- 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 index d561a753d..93c1b8735 100644 --- 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 index 0e3795682..b75825f00 100644 --- 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 index 2a11def65..fb76f2dd7 100644 --- 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 index c027be537..380766ed7 100644 --- 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