From 2489e17f540299776d6e7c3babbcf30549d6b6cb Mon Sep 17 00:00:00 2001 From: "Ching-Hsin,Lee" Date: Fri, 14 Jun 2024 22:04:08 +0800 Subject: [PATCH 1/6] Update version in changelog doxygen and manifest --- CHANGELOG.md | 3 +++ docs/doxygen/config.doxyfile | 2 +- manifest.yml | 2 +- 3 files changed, 5 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 2e39eb85..653f7cff 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,8 @@ # Changelog for coreHTTP Client Library +## v3.2.0 (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/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile index 460af36a..f37e0048 100644 --- 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.2.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 27071eaf..6e100679 100644 --- a/manifest.yml +++ b/manifest.yml @@ -1,5 +1,5 @@ name: "coreHTTP" -version: "v3.1.0" +version: "v3.2.0" description: "Client implementation of the HTTP/1.1 specification for embedded devices." license: "MIT" From 52b2c5f3c4d439fd1586925fe1ae1904e968d681 Mon Sep 17 00:00:00 2001 From: "Ching-Hsin,Lee" Date: Fri, 14 Jun 2024 22:06:22 +0800 Subject: [PATCH 2/6] Change version in source and header file --- source/core_http_client.c | 2 +- source/include/core_http_client.h | 2 +- source/include/core_http_client_private.h | 2 +- source/include/core_http_config_defaults.h | 2 +- source/interface/transport_interface.h | 2 +- test/cbmc/include/callback_stubs.h | 2 +- test/cbmc/include/core_http_config.h | 2 +- test/cbmc/include/get_time_stub.h | 2 +- test/cbmc/include/http_cbmc_state.h | 2 +- test/cbmc/include/transport_interface_stubs.h | 2 +- .../proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c | 2 +- .../HTTPClient_AddRangeHeader_harness.c | 2 +- .../HTTPClient_InitializeRequestHeaders_harness.c | 2 +- .../HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c | 2 +- test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c | 2 +- .../proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c | 2 +- .../findHeaderFieldParserCallback_harness.c | 2 +- .../findHeaderOnHeaderCompleteCallback_harness.c | 2 +- .../findHeaderValueParserCallback_harness.c | 2 +- .../httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c | 2 +- .../httpParserOnHeaderFieldCallback_harness.c | 2 +- .../httpParserOnHeaderValueCallback_harness.c | 2 +- .../httpParserOnHeadersCompleteCallback_harness.c | 2 +- .../httpParserOnMessageBeginCallback_harness.c | 2 +- .../httpParserOnMessageCompleteCallback_harness.c | 2 +- .../httpParserOnStatusCallback_harness.c | 2 +- .../httpParserOnStatusCompleteCallback_harness.c | 2 +- test/cbmc/sources/http_cbmc_state.c | 2 +- test/cbmc/stubs/HTTPClient_ReadHeader_llhttp_execute.c | 2 +- test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c | 2 +- test/cbmc/stubs/callback_stubs.c | 2 +- test/cbmc/stubs/get_time_stub.c | 2 +- test/cbmc/stubs/httpHeaderStrncpy.c | 2 +- test/cbmc/stubs/memmove.c | 2 +- test/cbmc/stubs/strncpy.c | 2 +- test/cbmc/stubs/transport_interface_stubs.c | 2 +- test/unit-test/core_http_config.h | 2 +- test/unit-test/core_http_send_utest.c | 2 +- test/unit-test/core_http_utest.c | 2 +- 39 files changed, 39 insertions(+), 39 deletions(-) diff --git a/source/core_http_client.c b/source/core_http_client.c index 985b5e14..8083cbfc 100644 --- a/source/core_http_client.c +++ b/source/core_http_client.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.1.0 + * coreHTTP v3.2.0 * 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 index 7bcb1df3..9a32a0d2 100644 --- a/source/include/core_http_client.h +++ b/source/include/core_http_client.h @@ -1,5 +1,5 @@ /* - * coreHTTP v3.1.0 + * coreHTTP v3.2.0 * 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 index 1e3be2ab..81737f6d 100644 --- 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.2.0 * 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 index 3a262429..c817c3d9 100644 --- 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.2.0 * 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 index f4eaa9bf..da3ef458 100644 --- a/source/interface/transport_interface.h +++ b/source/interface/transport_interface.h @@ -1,5 +1,5 @@ /* - * coreHTTP v3.1.0 + * coreHTTP v3.2.0 * Copyright (C) 2022 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/include/callback_stubs.h b/test/cbmc/include/callback_stubs.h index 2decd3a6..74d4ab72 100644 --- a/test/cbmc/include/callback_stubs.h +++ b/test/cbmc/include/callback_stubs.h @@ -1,5 +1,5 @@ /* - * coreHTTP v3.1.0 + * coreHTTP v3.2.0 * 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 index e0100098..5581f9b3 100644 --- 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.2.0 * 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 index 5f1871f2..594ca141 100644 --- 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.2.0 * 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 index 61171d1c..901f72ff 100644 --- 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.2.0 * 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 index 8630efa9..690523d3 100644 --- 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.2.0 * 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 index 33b6db9e..bb830729 100644 --- 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.2.0 * 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 index daf34579..57b0a4a2 100644 --- 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.2.0 * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c b/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c index 3a15cad5..fa00f8c3 100644 --- a/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c +++ b/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.1.0 + * coreHTTP v3.2.0 * 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 index 973a6796..0b0caca3 100644 --- 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.2.0 * 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 index 4ec85f82..94803b25 100644 --- 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.2.0 * 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 index b5d71e2c..d884bae5 100644 --- 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.2.0 * 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 index a319006d..8afe131b 100644 --- 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.2.0 * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c b/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c index 2df47138..aac9c46b 100644 --- a/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c +++ b/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.1.0 + * coreHTTP v3.2.0 * 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 index 55339dfd..c24f5bff 100644 --- 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.2.0 * 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 index 0769b5f8..75df2339 100644 --- 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.2.0 * 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 index b6d6cc84..170e3262 100644 --- 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.2.0 * 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 index 77c05220..fba8e778 100644 --- 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.2.0 * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c b/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c index 319c1fcc..9e3985aa 100644 --- a/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.1.0 + * coreHTTP v3.2.0 * 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 index 3c2dda8b..c62fcbc7 100644 --- 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.2.0 * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c b/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c index eb0b9b14..e969cb76 100644 --- a/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.1.0 + * coreHTTP v3.2.0 * 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 index 4fd97f3a..c6e220fa 100644 --- 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.2.0 * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c b/test/cbmc/proofs/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c index d9a8b115..11549c69 100644 --- a/test/cbmc/proofs/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.1.0 + * coreHTTP v3.2.0 * 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 index 4db21fea..f46d7639 100644 --- 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.2.0 * 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 index dd365135..5896ef4d 100644 --- 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.2.0 * 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 index 4617723a..3d694ea7 100644 --- 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.2.0 * 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 index 02e1bdcc..ca64ed92 100644 --- a/test/cbmc/stubs/callback_stubs.c +++ b/test/cbmc/stubs/callback_stubs.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.1.0 + * coreHTTP v3.2.0 * 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 index ec001653..8cc2d71d 100644 --- 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.2.0 * 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 index 332a40ec..e7c3f822 100644 --- a/test/cbmc/stubs/httpHeaderStrncpy.c +++ b/test/cbmc/stubs/httpHeaderStrncpy.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.1.0 + * coreHTTP v3.2.0 * 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 index fe106f6d..9d4abf42 100644 --- a/test/cbmc/stubs/memmove.c +++ b/test/cbmc/stubs/memmove.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.1.0 + * coreHTTP v3.2.0 * 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 index 05cdc1df..fb94ea3e 100644 --- a/test/cbmc/stubs/strncpy.c +++ b/test/cbmc/stubs/strncpy.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.1.0 + * coreHTTP v3.2.0 * 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 index 8d469e3f..74b6821c 100644 --- 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.2.0 * 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 index 43ba28e4..a884f427 100644 --- 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.2.0 * 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 index 13d3f520..1e932da5 100644 --- 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.2.0 * 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 index d3fdef66..8fbf6c40 100644 --- 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.2.0 * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT From c673c6da4b9875443f7ef9d15d86578b1821b38b Mon Sep 17 00:00:00 2001 From: "Ching-Hsin,Lee" Date: Tue, 18 Jun 2024 11:00:27 +0800 Subject: [PATCH 3/6] Update version to v3.1.1 in doxygen, manifest, changelog --- CHANGELOG.md | 2 +- docs/doxygen/config.doxyfile | 2 +- manifest.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 653f7cff..edd88388 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,6 +1,6 @@ # Changelog for coreHTTP Client Library -## v3.2.0 (June 2024) +## v3.1.1 (June 2024) Fix doxygen deployment on Github. ## v3.1.0 (May 2023) diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile index f37e0048..0134eb40 100644 --- 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.2.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 index 6e100679..df365158 100644 --- a/manifest.yml +++ b/manifest.yml @@ -1,5 +1,5 @@ name: "coreHTTP" -version: "v3.2.0" +version: "v3.1.1" description: "Client implementation of the HTTP/1.1 specification for embedded devices." license: "MIT" From f2be2b46245863710eccfbe8e5ec827807bec655 Mon Sep 17 00:00:00 2001 From: "Ching-Hsin,Lee" Date: Tue, 18 Jun 2024 11:02:00 +0800 Subject: [PATCH 4/6] Update source file header to v3.1.1 --- source/core_http_client.c | 2 +- source/include/core_http_client.h | 2 +- source/include/core_http_client_private.h | 2 +- source/include/core_http_config_defaults.h | 2 +- source/interface/transport_interface.h | 2 +- test/cbmc/include/callback_stubs.h | 2 +- test/cbmc/include/core_http_config.h | 2 +- test/cbmc/include/get_time_stub.h | 2 +- test/cbmc/include/http_cbmc_state.h | 2 +- test/cbmc/include/transport_interface_stubs.h | 2 +- .../proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c | 2 +- .../HTTPClient_AddRangeHeader_harness.c | 2 +- .../HTTPClient_InitializeRequestHeaders_harness.c | 2 +- .../HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c | 2 +- test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c | 2 +- .../proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c | 2 +- .../findHeaderFieldParserCallback_harness.c | 2 +- .../findHeaderOnHeaderCompleteCallback_harness.c | 2 +- .../findHeaderValueParserCallback_harness.c | 2 +- .../httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c | 2 +- .../httpParserOnHeaderFieldCallback_harness.c | 2 +- .../httpParserOnHeaderValueCallback_harness.c | 2 +- .../httpParserOnHeadersCompleteCallback_harness.c | 2 +- .../httpParserOnMessageBeginCallback_harness.c | 2 +- .../httpParserOnMessageCompleteCallback_harness.c | 2 +- .../httpParserOnStatusCallback_harness.c | 2 +- .../httpParserOnStatusCompleteCallback_harness.c | 2 +- test/cbmc/sources/http_cbmc_state.c | 2 +- test/cbmc/stubs/HTTPClient_ReadHeader_llhttp_execute.c | 2 +- test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c | 2 +- test/cbmc/stubs/callback_stubs.c | 2 +- test/cbmc/stubs/get_time_stub.c | 2 +- test/cbmc/stubs/httpHeaderStrncpy.c | 2 +- test/cbmc/stubs/memmove.c | 2 +- test/cbmc/stubs/strncpy.c | 2 +- test/cbmc/stubs/transport_interface_stubs.c | 2 +- test/unit-test/core_http_config.h | 2 +- test/unit-test/core_http_send_utest.c | 2 +- test/unit-test/core_http_utest.c | 2 +- 39 files changed, 39 insertions(+), 39 deletions(-) diff --git a/source/core_http_client.c b/source/core_http_client.c index 8083cbfc..8ce43b0f 100644 --- a/source/core_http_client.c +++ b/source/core_http_client.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 9a32a0d2..4267242f 100644 --- a/source/include/core_http_client.h +++ b/source/include/core_http_client.h @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 81737f6d..edb16435 100644 --- a/source/include/core_http_client_private.h +++ b/source/include/core_http_client_private.h @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index c817c3d9..208451ad 100644 --- a/source/include/core_http_config_defaults.h +++ b/source/include/core_http_config_defaults.h @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index da3ef458..bdbb271a 100644 --- a/source/interface/transport_interface.h +++ b/source/interface/transport_interface.h @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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/cbmc/include/callback_stubs.h b/test/cbmc/include/callback_stubs.h index 74d4ab72..24284746 100644 --- a/test/cbmc/include/callback_stubs.h +++ b/test/cbmc/include/callback_stubs.h @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 5581f9b3..fa63273d 100644 --- a/test/cbmc/include/core_http_config.h +++ b/test/cbmc/include/core_http_config.h @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 594ca141..2921e21a 100644 --- a/test/cbmc/include/get_time_stub.h +++ b/test/cbmc/include/get_time_stub.h @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 901f72ff..a1972a80 100644 --- a/test/cbmc/include/http_cbmc_state.h +++ b/test/cbmc/include/http_cbmc_state.h @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 690523d3..abe674ef 100644 --- a/test/cbmc/include/transport_interface_stubs.h +++ b/test/cbmc/include/transport_interface_stubs.h @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index bb830729..5659e414 100644 --- 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.2.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 index 57b0a4a2..738a1bc4 100644 --- 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.2.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_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c b/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c index fa00f8c3..fe3ba3fb 100644 --- a/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c +++ b/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 0b0caca3..588afddc 100644 --- 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.2.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 index 94803b25..f01abe0b 100644 --- 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.2.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 index d884bae5..11314d4f 100644 --- 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.2.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 index 8afe131b..9c049dab 100644 --- a/test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c +++ b/test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c b/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c index aac9c46b..acdc9929 100644 --- a/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c +++ b/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index c24f5bff..8beb96c3 100644 --- a/test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c +++ b/test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 75df2339..fdf75bd1 100644 --- a/test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 170e3262..fc03193d 100644 --- a/test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index fba8e778..9be5d959 100644 --- a/test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c b/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c index 9e3985aa..21bb2a91 100644 --- a/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index c62fcbc7..6c27104d 100644 --- a/test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c b/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c index e969cb76..ece0c7a0 100644 --- a/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index c6e220fa..21be83bb 100644 --- a/test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c b/test/cbmc/proofs/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c index 11549c69..787a7e25 100644 --- a/test/cbmc/proofs/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index f46d7639..0074627c 100644 --- a/test/cbmc/sources/http_cbmc_state.c +++ b/test/cbmc/sources/http_cbmc_state.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 5896ef4d..778f6ab4 100644 --- a/test/cbmc/stubs/HTTPClient_ReadHeader_llhttp_execute.c +++ b/test/cbmc/stubs/HTTPClient_ReadHeader_llhttp_execute.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 3d694ea7..01f5806c 100644 --- a/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c +++ b/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index ca64ed92..553d708b 100644 --- a/test/cbmc/stubs/callback_stubs.c +++ b/test/cbmc/stubs/callback_stubs.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 8cc2d71d..ccb53eed 100644 --- a/test/cbmc/stubs/get_time_stub.c +++ b/test/cbmc/stubs/get_time_stub.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index e7c3f822..83bcd191 100644 --- a/test/cbmc/stubs/httpHeaderStrncpy.c +++ b/test/cbmc/stubs/httpHeaderStrncpy.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 9d4abf42..04489345 100644 --- a/test/cbmc/stubs/memmove.c +++ b/test/cbmc/stubs/memmove.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index fb94ea3e..a96840dc 100644 --- a/test/cbmc/stubs/strncpy.c +++ b/test/cbmc/stubs/strncpy.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 74b6821c..c4c0786f 100644 --- a/test/cbmc/stubs/transport_interface_stubs.c +++ b/test/cbmc/stubs/transport_interface_stubs.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index a884f427..54437a46 100644 --- a/test/unit-test/core_http_config.h +++ b/test/unit-test/core_http_config.h @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 1e932da5..48041d72 100644 --- a/test/unit-test/core_http_send_utest.c +++ b/test/unit-test/core_http_send_utest.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.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 index 8fbf6c40..c74375b4 100644 --- a/test/unit-test/core_http_utest.c +++ b/test/unit-test/core_http_utest.c @@ -1,5 +1,5 @@ /* - * coreHTTP v3.2.0 + * coreHTTP v3.1.1 * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT From 456b64c83fece16b540d9b98b8a1973f5a3fd25b Mon Sep 17 00:00:00 2001 From: "Ching-Hsin,Lee" Date: Tue, 18 Jun 2024 11:47:57 +0800 Subject: [PATCH 5/6] Update version in test cmakefile --- test/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index f172a2a5..3c41e1c9 100644 --- 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. From df51d0125b2048f03df0323fabf7ae963d5c60d1 Mon Sep 17 00:00:00 2001 From: "Ching-Hsin,Lee" Date: Tue, 18 Jun 2024 11:49:42 +0800 Subject: [PATCH 6/6] format changelog --- CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index edd88388..73395670 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,7 +1,7 @@ # Changelog for coreHTTP Client Library ## v3.1.1 (June 2024) -Fix doxygen deployment on Github. +- 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.