FreeRTOS · kar-rahul-aws · May 8, 2024 · Apr 30, 2024 · May 6, 2024 · May 7, 2024
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,12 @@
 # Changelog for coreSNTP Library
 
+## v1.3.0 (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/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.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
@@ -1,5 +1,5 @@
 name : "coreSNTP"
-version: "v1.2.0"
+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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * 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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.2.0
+ * coreSNTP v1.3.0
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT