Merge branch 'main' into cbmc-5.95.1

FreeRTOS · Aug 21, 2024 · 8a590d1 · 8a590d1
2 parents f66ee2f + ba239a0
commit 8a590d1
Show file tree

Hide file tree

Showing 44 changed files with 48 additions and 51 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,8 @@
 # Changelog for coreHTTP Client Library
 
+## v3.1.1 (June 2024)
+- Fix doxygen deployment on Github.
+
 ## v3.1.0 (May 2023)
 - [#176](https://github.com/FreeRTOS/coreHTTP/pull/176) Update llhttp to v6.1.1. Update CMock to v2.5.3.
 - [#174](https://github.com/FreeRTOS/coreHTTP/pull/174) MISRA C:2012 compliance update

diff --git a/README.md b/README.md
@@ -20,16 +20,10 @@ safety and data structure invariance through the
 See memory requirements for this library
 [here](./docs/doxygen/include/size_table.md).
 
-**coreHTTP v3.0.0
-[source code](https://github.com/FreeRTOS/coreHTTP/tree/v3.0.0/source) is part
+**coreHTTP v3.1.1
+[source code](https://github.com/FreeRTOS/coreHTTP/tree/v3.1.1/source) is part
 of the
-[FreeRTOS 202210.00 LTS](https://github.com/FreeRTOS/FreeRTOS-LTS/tree/202210.00-LTS)
-release.**
-
-**coreHTTP v2.0.0
-[source code](https://github.com/FreeRTOS/coreHTTP/tree/v2.0.0/source) is part
-of the
-[FreeRTOS 202012.00 LTS](https://github.com/FreeRTOS/FreeRTOS-LTS/tree/202012.00-LTS)
+[FreeRTOS 202406.00 LTS](https://github.com/FreeRTOS/FreeRTOS-LTS/tree/202406.00-LTS)
 release.**
 
 ## coreHTTP Config File

diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile
@@ -48,7 +48,7 @@ PROJECT_NAME           = coreHTTP
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         = v3.1.0
+PROJECT_NUMBER         = v3.1.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: "coreHTTP"
-version: "v3.1.0"
+version: "v3.1.1"
 description:
   "Client implementation of the HTTP/1.1 specification for embedded devices."
 license: "MIT"

diff --git a/source/core_http_client.c b/source/core_http_client.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/include/core_http_client.h b/source/include/core_http_client.h
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/include/core_http_client_private.h b/source/include/core_http_client_private.h
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/include/core_http_config_defaults.h b/source/include/core_http_config_defaults.h
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/interface/transport_interface.h b/source/interface/transport_interface.h
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2022 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
@@ -1,7 +1,7 @@
 # Project information.
 cmake_minimum_required ( VERSION 3.13.0 )
 project ( "coreHTTP tests"
-          VERSION 3.1.0
+          VERSION 3.1.1
           LANGUAGES C )
 
 # Allow the project to be organized into folders.

diff --git a/test/cbmc/include/callback_stubs.h b/test/cbmc/include/callback_stubs.h
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/include/core_http_config.h b/test/cbmc/include/core_http_config.h
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/include/get_time_stub.h b/test/cbmc/include/get_time_stub.h
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/include/http_cbmc_state.h b/test/cbmc/include/http_cbmc_state.h
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/include/transport_interface_stubs.h b/test/cbmc/include/transport_interface_stubs.h
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c b/test/cbmc/proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c b/test/cbmc/proofs/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/.../proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c b/.../proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c b/test/cbmc/proofs/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c b/test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c b/test/cbmc/proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c b/test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/...mc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c b/...mc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c b/test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c b/test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c b/test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c b/test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/.../proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c b/.../proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c b/test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/.../proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c b/.../proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c b/test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/...mc/proofs/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c b/...mc/proofs/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/sources/http_cbmc_state.c b/test/cbmc/sources/http_cbmc_state.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/stubs/HTTPClient_ReadHeader_llhttp_execute.c b/test/cbmc/stubs/HTTPClient_ReadHeader_llhttp_execute.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c b/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/stubs/callback_stubs.c b/test/cbmc/stubs/callback_stubs.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/stubs/get_time_stub.c b/test/cbmc/stubs/get_time_stub.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/stubs/httpHeaderStrncpy.c b/test/cbmc/stubs/httpHeaderStrncpy.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/stubs/memmove.c b/test/cbmc/stubs/memmove.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/stubs/strncpy.c b/test/cbmc/stubs/strncpy.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/stubs/transport_interface_stubs.c b/test/cbmc/stubs/transport_interface_stubs.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/unit-test/core_http_config.h b/test/unit-test/core_http_config.h
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/unit-test/core_http_send_utest.c b/test/unit-test/core_http_send_utest.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/unit-test/core_http_utest.c b/test/unit-test/core_http_utest.c
@@ -1,5 +1,5 @@
 /*
- * coreHTTP v3.1.0
+ * coreHTTP v3.1.1
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT