Skip to content

Commit

Permalink
updated deps & and stable 0.32.0
Browse files Browse the repository at this point in the history
  • Loading branch information
cryi committed May 15, 2024
1 parent f4ebd47 commit c8ace34
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion .gitmodules
Original file line number Diff line number Diff line change
Expand Up @@ -105,7 +105,7 @@
ignore = dirty
[submodule "deps/corehttp"]
path = deps/corehttp
url = https://github.com/cryi/coreHTTP.git
url = https://github.com/FreeRTOS/coreHTTP.git
ignore = dirty
[submodule "deps/lua-simple-ipc"]
path = deps/lua-simple-ipc
Expand Down
2 changes: 1 addition & 1 deletion config.hjson
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{
version: 0.32.0-dev.26
version: 0.32.0
global_modules: false //disables global modules loading (only looks up for modules in cwd)
minify: true
compress: true
Expand Down
2 changes: 1 addition & 1 deletion deps/corehttp
Submodule corehttp updated 61 files
+5 −0 .github/.cSpellWords.txt
+8 −0 .github/workflows/ci.yml
+4 −4 .github/workflows/release.yml
+8 −0 CHANGELOG.md
+10 −3 MISRA.md
+1 −1 README.md
+1 −1 docs/doxygen/config.doxyfile
+8 −8 docs/doxygen/include/size_table.md
+15 −0 docs/doxygen/pages.dox
+3 −3 manifest.yml
+45 −0 sbom.spdx
+100 −58 source/core_http_client.c
+1 −1 source/dependency/3rdparty/llhttp
+11 −9 source/include/core_http_client.h
+12 −4 source/include/core_http_client_private.h
+2 −2 source/include/core_http_config_defaults.h
+6 −9 source/interface/transport_interface.h
+67 −49 test/CMakeLists.txt
+2 −2 test/cbmc/include/callback_stubs.h
+2 −2 test/cbmc/include/core_http_config.h
+2 −2 test/cbmc/include/get_time_stub.h
+2 −2 test/cbmc/include/http_cbmc_state.h
+2 −2 test/cbmc/include/transport_interface_stubs.h
+2 −2 test/cbmc/proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c
+1 −1 test/cbmc/proofs/HTTPClient_AddHeader/Makefile
+2 −2 test/cbmc/proofs/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c
+2 −2 test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c
+1 −0 test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/Makefile
+2 −2 test/cbmc/proofs/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c
+2 −2 test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c
+1 −0 test/cbmc/proofs/HTTPClient_Send/Makefile
+2 −2 test/cbmc/proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c
+2 −2 test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c
+2 −2 test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c
+2 −2 test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c
+2 −2 test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c
+2 −2 test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c
+2 −2 test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c
+2 −2 test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c
+2 −2 test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c
+2 −2 test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c
+2 −2 test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c
+21 −0 test/cbmc/proofs/httpParserOnStatusCompleteCallback/Makefile
+10 −0 test/cbmc/proofs/httpParserOnStatusCompleteCallback/README.md
+1 −0 test/cbmc/proofs/httpParserOnStatusCompleteCallback/cbmc-proof.txt
+7 −0 test/cbmc/proofs/httpParserOnStatusCompleteCallback/cbmc-viewer.json
+43 −0 test/cbmc/proofs/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c
+2 −2 test/cbmc/sources/http_cbmc_state.c
+2 −2 test/cbmc/stubs/HTTPClient_ReadHeader_llhttp_execute.c
+32 −2 test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c
+2 −2 test/cbmc/stubs/callback_stubs.c
+2 −2 test/cbmc/stubs/get_time_stub.c
+2 −2 test/cbmc/stubs/httpHeaderStrncpy.c
+2 −2 test/cbmc/stubs/memmove.c
+2 −2 test/cbmc/stubs/strncpy.c
+2 −2 test/cbmc/stubs/transport_interface_stubs.c
+1 −1 test/unit-test/CMock
+2 −2 test/unit-test/core_http_config.h
+141 −16 test/unit-test/core_http_send_utest.c
+56 −2 test/unit-test/core_http_utest.c
+30 −33 tools/coverity/misra.config
2 changes: 1 addition & 1 deletion deps/mbedtls
Submodule mbedtls updated 799 files

0 comments on commit c8ace34

Please sign in to comment.