FreeRTOS · kar-rahul-aws · Jun 18, 2024 · Jun 18, 2024 · Jun 18, 2024 · Jun 18, 2024
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Changelog for coreSNTP Library
 
+## v1.3.1 (June 2024)
+
+### Changes
+ - Fix doxygen deployment on Github.
+
 ## v1.3.0 (May 2024)
 
 ### 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.3.0
+PROJECT_NUMBER         = v1.3.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
@@ -1,5 +1,5 @@
 name : "coreSNTP"
-version: "v1.3.0"
+version: "v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
@@ -1,6 +1,6 @@
 cmake_minimum_required( VERSION 3.13.0 )
 project( "coreSNTP tests"
-         VERSION 1.2.0
+         VERSION 1.3.1
          LANGUAGES C )
 
 # Allow the project to be organized into folders.

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.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.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
@@ -1,5 +1,5 @@
 /*
- * coreSNTP v1.3.0
+ * coreSNTP v1.3.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT