From 1be968c808103cb084fe6ec4f4ab1c3a9d598cbf Mon Sep 17 00:00:00 2001
From: Rahul Kar <karahulx@amazon.com>
Date: Tue, 30 Apr 2024 18:35:19 +0000
Subject: [PATCH 1/3] Updating version number and adding PR to the changelog.md
 file

---
 CHANGELOG.md                                               | 7 +++++++
 README.md                                                  | 4 ++--
 docs/doxygen/config.doxyfile                               | 2 +-
 manifest.yml                                               | 2 +-
 source/core_sntp_client.c                                  | 2 +-
 source/core_sntp_serializer.c                              | 2 +-
 source/include/core_sntp_client.h                          | 2 +-
 source/include/core_sntp_config_defaults.h                 | 2 +-
 source/include/core_sntp_serializer.h                      | 2 +-
 test/cbmc/include/core_sntp_cbmc_state.h                   | 2 +-
 test/cbmc/include/core_sntp_config.h                       | 2 +-
 test/cbmc/include/core_sntp_stubs.h                        | 2 +-
 .../Sntp_CalculatePollInterval_harness.c                   | 2 +-
 .../Sntp_ConvertToUnixTime_harness.c                       | 2 +-
 .../Sntp_DeserializeResponse_harness.c                     | 2 +-
 test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c             | 2 +-
 .../Sntp_ReceiveTimeResponse_harness.c                     | 2 +-
 .../Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c    | 2 +-
 .../Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c  | 2 +-
 test/cbmc/sources/core_sntp_cbmc_state.c                   | 2 +-
 test/cbmc/stubs/core_sntp_stubs.c                          | 2 +-
 test/unit-test/core_sntp_client_utest.c                    | 2 +-
 test/unit-test/core_sntp_config.h                          | 2 +-
 test/unit-test/core_sntp_serializer_utest.c                | 2 +-
 24 files changed, 31 insertions(+), 24 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index a65ef19..b062fa5 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,12 @@
 # Changelog for coreSNTP Library
 
+## v1.2.1 (May 2024)
+
+### Changes
+ - [#85](https://github.com/FreeRTOS/coreSNTP/pull/85) Fix MISRA C 2012 deviations.
+ - [#83](https://github.com/FreeRTOS/coreSNTP/pull/83) Include all SntpStatus_t values in Sntp_StatusToStr.
+ - [#81](https://github.com/FreeRTOS/coreSNTP/pull/81) Logging Print Formatter Fix.
+
 ## v1.2.0 (October 2022)
 
 ### Changes
diff --git a/README.md b/README.md
index f44e545..cc9569c 100644
--- a/README.md
+++ b/README.md
@@ -27,8 +27,8 @@ safety through the
 See memory requirements for this library
 [here](./docs/doxygen/include/size_table.md).
 
-**coreSNTP v1.2.0
-[source code](https://github.com/FreeRTOS/coreSNTP/tree/v1.2.0/source) is part
+**coreSNTP v1.2.1
+[source code](https://github.com/FreeRTOS/coreSNTP/tree/v1.2.1/source) is part
 of the
 [FreeRTOS 202210.00 LTS](https://github.com/FreeRTOS/FreeRTOS-LTS/tree/202210.00-LTS)
 release.**
diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile
index 587f69f..f58b4c3 100644
--- a/docs/doxygen/config.doxyfile
+++ b/docs/doxygen/config.doxyfile
@@ -48,7 +48,7 @@ PROJECT_NAME           = coreSNTP
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         = v1.2.0
+PROJECT_NUMBER         = v1.2.1
 
 # Using the PROJECT_BRIEF tag one can provide an optional one line description
 # for a project that appears at the top of each page and should give viewer a
diff --git a/manifest.yml b/manifest.yml
index 28d0120..c09824b 100644
--- a/manifest.yml
+++ b/manifest.yml
@@ -1,5 +1,5 @@
 name : "coreSNTP"
-version: "v1.2.0"
+version: "v1.2.1"
 description: |
   "SNTP client library to allow embedded devices to synchronize time with time servers.\n"
 license: "MIT"
diff --git a/source/core_sntp_client.c b/source/core_sntp_client.c
index 240ead1..6be7beb 100644
--- a/source/core_sntp_client.c
+++ b/source/core_sntp_client.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/core_sntp_serializer.c b/source/core_sntp_serializer.c
index abda72a..b4bff6b 100644
--- a/source/core_sntp_serializer.c
+++ b/source/core_sntp_serializer.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/include/core_sntp_client.h b/source/include/core_sntp_client.h
index 829aed5..5ea0784 100644
--- a/source/include/core_sntp_client.h
+++ b/source/include/core_sntp_client.h
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/include/core_sntp_config_defaults.h b/source/include/core_sntp_config_defaults.h
index 162a966..68dbf7a 100644
--- a/source/include/core_sntp_config_defaults.h
+++ b/source/include/core_sntp_config_defaults.h
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/include/core_sntp_serializer.h b/source/include/core_sntp_serializer.h
index 55215f1..30b7c16 100644
--- a/source/include/core_sntp_serializer.h
+++ b/source/include/core_sntp_serializer.h
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/include/core_sntp_cbmc_state.h b/test/cbmc/include/core_sntp_cbmc_state.h
index bfd949a..7af0713 100644
--- a/test/cbmc/include/core_sntp_cbmc_state.h
+++ b/test/cbmc/include/core_sntp_cbmc_state.h
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/include/core_sntp_config.h b/test/cbmc/include/core_sntp_config.h
index 84fcbae..c7a80e1 100644
--- a/test/cbmc/include/core_sntp_config.h
+++ b/test/cbmc/include/core_sntp_config.h
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/include/core_sntp_stubs.h b/test/cbmc/include/core_sntp_stubs.h
index 57dd793..b196021 100644
--- a/test/cbmc/include/core_sntp_stubs.h
+++ b/test/cbmc/include/core_sntp_stubs.h
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/Sntp_CalculatePollInterval/Sntp_CalculatePollInterval_harness.c b/test/cbmc/proofs/Sntp_CalculatePollInterval/Sntp_CalculatePollInterval_harness.c
index 569e749..61ab019 100644
--- a/test/cbmc/proofs/Sntp_CalculatePollInterval/Sntp_CalculatePollInterval_harness.c
+++ b/test/cbmc/proofs/Sntp_CalculatePollInterval/Sntp_CalculatePollInterval_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/Sntp_ConvertToUnixTime/Sntp_ConvertToUnixTime_harness.c b/test/cbmc/proofs/Sntp_ConvertToUnixTime/Sntp_ConvertToUnixTime_harness.c
index 82ad534..fa9f30f 100644
--- a/test/cbmc/proofs/Sntp_ConvertToUnixTime/Sntp_ConvertToUnixTime_harness.c
+++ b/test/cbmc/proofs/Sntp_ConvertToUnixTime/Sntp_ConvertToUnixTime_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/Sntp_DeserializeResponse/Sntp_DeserializeResponse_harness.c b/test/cbmc/proofs/Sntp_DeserializeResponse/Sntp_DeserializeResponse_harness.c
index 8cea115..35957bd 100644
--- a/test/cbmc/proofs/Sntp_DeserializeResponse/Sntp_DeserializeResponse_harness.c
+++ b/test/cbmc/proofs/Sntp_DeserializeResponse/Sntp_DeserializeResponse_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c b/test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c
index f42330c..1b3f210 100644
--- a/test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c
+++ b/test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/Sntp_ReceiveTimeResponse/Sntp_ReceiveTimeResponse_harness.c b/test/cbmc/proofs/Sntp_ReceiveTimeResponse/Sntp_ReceiveTimeResponse_harness.c
index 2d4933a..cde84f8 100644
--- a/test/cbmc/proofs/Sntp_ReceiveTimeResponse/Sntp_ReceiveTimeResponse_harness.c
+++ b/test/cbmc/proofs/Sntp_ReceiveTimeResponse/Sntp_ReceiveTimeResponse_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c b/test/cbmc/proofs/Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c
index 556f031..11be7b5 100644
--- a/test/cbmc/proofs/Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c
+++ b/test/cbmc/proofs/Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c b/test/cbmc/proofs/Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c
index 69b79f8..e10ef15 100644
--- a/test/cbmc/proofs/Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c
+++ b/test/cbmc/proofs/Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/sources/core_sntp_cbmc_state.c b/test/cbmc/sources/core_sntp_cbmc_state.c
index 05ec4ce..cde818c 100644
--- a/test/cbmc/sources/core_sntp_cbmc_state.c
+++ b/test/cbmc/sources/core_sntp_cbmc_state.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/stubs/core_sntp_stubs.c b/test/cbmc/stubs/core_sntp_stubs.c
index c3da95e..9e6c742 100644
--- a/test/cbmc/stubs/core_sntp_stubs.c
+++ b/test/cbmc/stubs/core_sntp_stubs.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/unit-test/core_sntp_client_utest.c b/test/unit-test/core_sntp_client_utest.c
index 805704a..10b929f 100644
--- a/test/unit-test/core_sntp_client_utest.c
+++ b/test/unit-test/core_sntp_client_utest.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/unit-test/core_sntp_config.h b/test/unit-test/core_sntp_config.h
index 9636d8a..5385f25 100644
--- a/test/unit-test/core_sntp_config.h
+++ b/test/unit-test/core_sntp_config.h
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/unit-test/core_sntp_serializer_utest.c b/test/unit-test/core_sntp_serializer_utest.c
index 0ae64d3..b8c136f 100644
--- a/test/unit-test/core_sntp_serializer_utest.c
+++ b/test/unit-test/core_sntp_serializer_utest.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.2.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

From 4cd2015049eb0d2efbeb3d0890ee55389a6ea69e Mon Sep 17 00:00:00 2001
From: Rahul Kar <118818625+kar-rahul-aws@users.noreply.github.com>
Date: Tue, 7 May 2024 00:01:12 +0530
Subject: [PATCH 2/3] Revert version change in README.md

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index cc9569c..f44e545 100644
--- a/README.md
+++ b/README.md
@@ -27,8 +27,8 @@ safety through the
 See memory requirements for this library
 [here](./docs/doxygen/include/size_table.md).
 
-**coreSNTP v1.2.1
-[source code](https://github.com/FreeRTOS/coreSNTP/tree/v1.2.1/source) is part
+**coreSNTP v1.2.0
+[source code](https://github.com/FreeRTOS/coreSNTP/tree/v1.2.0/source) is part
 of the
 [FreeRTOS 202210.00 LTS](https://github.com/FreeRTOS/FreeRTOS-LTS/tree/202210.00-LTS)
 release.**

From d770b852c2ff5cdc64c92d2cc38589b5df7b2214 Mon Sep 17 00:00:00 2001
From: Rahul Kar <karahulx@amazon.com>
Date: Tue, 7 May 2024 05:46:40 +0000
Subject: [PATCH 3/3] Update version number to v1.3.0

---
 CHANGELOG.md                                                  | 2 +-
 README.md                                                     | 4 ++--
 docs/doxygen/config.doxyfile                                  | 2 +-
 manifest.yml                                                  | 2 +-
 source/core_sntp_client.c                                     | 2 +-
 source/core_sntp_serializer.c                                 | 2 +-
 source/include/core_sntp_client.h                             | 2 +-
 source/include/core_sntp_config_defaults.h                    | 2 +-
 source/include/core_sntp_serializer.h                         | 2 +-
 test/cbmc/include/core_sntp_cbmc_state.h                      | 2 +-
 test/cbmc/include/core_sntp_config.h                          | 2 +-
 test/cbmc/include/core_sntp_stubs.h                           | 2 +-
 .../Sntp_CalculatePollInterval_harness.c                      | 2 +-
 .../Sntp_ConvertToUnixTime/Sntp_ConvertToUnixTime_harness.c   | 2 +-
 .../Sntp_DeserializeResponse_harness.c                        | 2 +-
 test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c                | 2 +-
 .../Sntp_ReceiveTimeResponse_harness.c                        | 2 +-
 .../Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c       | 2 +-
 .../Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c     | 2 +-
 test/cbmc/sources/core_sntp_cbmc_state.c                      | 2 +-
 test/cbmc/stubs/core_sntp_stubs.c                             | 2 +-
 test/unit-test/core_sntp_client_utest.c                       | 2 +-
 test/unit-test/core_sntp_config.h                             | 2 +-
 test/unit-test/core_sntp_serializer_utest.c                   | 2 +-
 24 files changed, 25 insertions(+), 25 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b062fa5..af3f763 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,6 @@
 # Changelog for coreSNTP Library
 
-## v1.2.1 (May 2024)
+## v1.3.0 (May 2024)
 
 ### Changes
  - [#85](https://github.com/FreeRTOS/coreSNTP/pull/85) Fix MISRA C 2012 deviations.
diff --git a/README.md b/README.md
index cc9569c..de71ad0 100644
--- a/README.md
+++ b/README.md
@@ -27,8 +27,8 @@ safety through the
 See memory requirements for this library
 [here](./docs/doxygen/include/size_table.md).
 
-**coreSNTP v1.2.1
-[source code](https://github.com/FreeRTOS/coreSNTP/tree/v1.2.1/source) is part
+**coreSNTP v1.3.0
+[source code](https://github.com/FreeRTOS/coreSNTP/tree/v1.3.0/source) is part
 of the
 [FreeRTOS 202210.00 LTS](https://github.com/FreeRTOS/FreeRTOS-LTS/tree/202210.00-LTS)
 release.**
diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile
index f58b4c3..efee8ec 100644
--- a/docs/doxygen/config.doxyfile
+++ b/docs/doxygen/config.doxyfile
@@ -48,7 +48,7 @@ PROJECT_NAME           = coreSNTP
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         = v1.2.1
+PROJECT_NUMBER         = v1.3.0
 
 # Using the PROJECT_BRIEF tag one can provide an optional one line description
 # for a project that appears at the top of each page and should give viewer a
diff --git a/manifest.yml b/manifest.yml
index c09824b..ac8f49c 100644
--- a/manifest.yml
+++ b/manifest.yml
@@ -1,5 +1,5 @@
 name : "coreSNTP"
-version: "v1.2.1"
+version: "v1.3.0"
 description: |
   "SNTP client library to allow embedded devices to synchronize time with time servers.\n"
 license: "MIT"
diff --git a/source/core_sntp_client.c b/source/core_sntp_client.c
index 6be7beb..478276e 100644
--- a/source/core_sntp_client.c
+++ b/source/core_sntp_client.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/core_sntp_serializer.c b/source/core_sntp_serializer.c
index b4bff6b..31ed0d6 100644
--- a/source/core_sntp_serializer.c
+++ b/source/core_sntp_serializer.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/include/core_sntp_client.h b/source/include/core_sntp_client.h
index 5ea0784..f07364d 100644
--- a/source/include/core_sntp_client.h
+++ b/source/include/core_sntp_client.h
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/include/core_sntp_config_defaults.h b/source/include/core_sntp_config_defaults.h
index 68dbf7a..9b11ca7 100644
--- a/source/include/core_sntp_config_defaults.h
+++ b/source/include/core_sntp_config_defaults.h
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/include/core_sntp_serializer.h b/source/include/core_sntp_serializer.h
index 30b7c16..6c4cf9d 100644
--- a/source/include/core_sntp_serializer.h
+++ b/source/include/core_sntp_serializer.h
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/include/core_sntp_cbmc_state.h b/test/cbmc/include/core_sntp_cbmc_state.h
index 7af0713..b950768 100644
--- a/test/cbmc/include/core_sntp_cbmc_state.h
+++ b/test/cbmc/include/core_sntp_cbmc_state.h
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/include/core_sntp_config.h b/test/cbmc/include/core_sntp_config.h
index c7a80e1..2375045 100644
--- a/test/cbmc/include/core_sntp_config.h
+++ b/test/cbmc/include/core_sntp_config.h
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/include/core_sntp_stubs.h b/test/cbmc/include/core_sntp_stubs.h
index b196021..a20edfc 100644
--- a/test/cbmc/include/core_sntp_stubs.h
+++ b/test/cbmc/include/core_sntp_stubs.h
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/Sntp_CalculatePollInterval/Sntp_CalculatePollInterval_harness.c b/test/cbmc/proofs/Sntp_CalculatePollInterval/Sntp_CalculatePollInterval_harness.c
index 61ab019..1eef962 100644
--- a/test/cbmc/proofs/Sntp_CalculatePollInterval/Sntp_CalculatePollInterval_harness.c
+++ b/test/cbmc/proofs/Sntp_CalculatePollInterval/Sntp_CalculatePollInterval_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/Sntp_ConvertToUnixTime/Sntp_ConvertToUnixTime_harness.c b/test/cbmc/proofs/Sntp_ConvertToUnixTime/Sntp_ConvertToUnixTime_harness.c
index fa9f30f..c56802e 100644
--- a/test/cbmc/proofs/Sntp_ConvertToUnixTime/Sntp_ConvertToUnixTime_harness.c
+++ b/test/cbmc/proofs/Sntp_ConvertToUnixTime/Sntp_ConvertToUnixTime_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/Sntp_DeserializeResponse/Sntp_DeserializeResponse_harness.c b/test/cbmc/proofs/Sntp_DeserializeResponse/Sntp_DeserializeResponse_harness.c
index 35957bd..0377cb1 100644
--- a/test/cbmc/proofs/Sntp_DeserializeResponse/Sntp_DeserializeResponse_harness.c
+++ b/test/cbmc/proofs/Sntp_DeserializeResponse/Sntp_DeserializeResponse_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c b/test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c
index 1b3f210..4cdc65d 100644
--- a/test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c
+++ b/test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/Sntp_ReceiveTimeResponse/Sntp_ReceiveTimeResponse_harness.c b/test/cbmc/proofs/Sntp_ReceiveTimeResponse/Sntp_ReceiveTimeResponse_harness.c
index cde84f8..c18717e 100644
--- a/test/cbmc/proofs/Sntp_ReceiveTimeResponse/Sntp_ReceiveTimeResponse_harness.c
+++ b/test/cbmc/proofs/Sntp_ReceiveTimeResponse/Sntp_ReceiveTimeResponse_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c b/test/cbmc/proofs/Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c
index 11be7b5..0905045 100644
--- a/test/cbmc/proofs/Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c
+++ b/test/cbmc/proofs/Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c b/test/cbmc/proofs/Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c
index e10ef15..503d862 100644
--- a/test/cbmc/proofs/Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c
+++ b/test/cbmc/proofs/Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/sources/core_sntp_cbmc_state.c b/test/cbmc/sources/core_sntp_cbmc_state.c
index cde818c..4948fa1 100644
--- a/test/cbmc/sources/core_sntp_cbmc_state.c
+++ b/test/cbmc/sources/core_sntp_cbmc_state.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/stubs/core_sntp_stubs.c b/test/cbmc/stubs/core_sntp_stubs.c
index 9e6c742..c91e4a1 100644
--- a/test/cbmc/stubs/core_sntp_stubs.c
+++ b/test/cbmc/stubs/core_sntp_stubs.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/unit-test/core_sntp_client_utest.c b/test/unit-test/core_sntp_client_utest.c
index 10b929f..41e0281 100644
--- a/test/unit-test/core_sntp_client_utest.c
+++ b/test/unit-test/core_sntp_client_utest.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/unit-test/core_sntp_config.h b/test/unit-test/core_sntp_config.h
index 5385f25..a80d03f 100644
--- a/test/unit-test/core_sntp_config.h
+++ b/test/unit-test/core_sntp_config.h
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/unit-test/core_sntp_serializer_utest.c b/test/unit-test/core_sntp_serializer_utest.c
index b8c136f..4875e1f 100644
--- a/test/unit-test/core_sntp_serializer_utest.c
+++ b/test/unit-test/core_sntp_serializer_utest.c
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.1
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT