Skip to content

Update coreMQTT submodule pointer to latest commit #1934

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Mar 5, 2025
Merged

Update coreMQTT submodule pointer to latest commit #1934

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
0b00562
Update coreMQTT submodule pointer to latest commit
DakshitBabbar Feb 19, 2025
4fa2c8f
Change the path of the .tag file for the coreMQTT library
DakshitBabbar Feb 21, 2025
25d30d8
Update coreMQTT Submodule Pointer to the Latest commmit with coverity…
DakshitBabbar Feb 24, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion docs/doxygen/config.doxyfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2337,7 +2337,7 @@ SKIP_FUNCTION_MACROS = YES
# the path). If a tag file is not located in the directory in which doxygen is
# run, you must also specify the path to the tagfile here.

TAGFILES = libraries/standard/coreMQTT/docs/doxygen/output/mqtt.tag=../../../../libraries/standard/coreMQTT/docs/doxygen/output/html \
TAGFILES = libraries/standard/coreMQTT/docs/doxygen/output/html/mqtt.tag=../../../../libraries/standard/coreMQTT/docs/doxygen/output/html \
libraries/standard/coreJSON/docs/doxygen/output/json.tag=../../../../libraries/standard/coreJSON/docs/doxygen/output/html \
libraries/standard/corePKCS11/docs/doxygen/output/core_pkcs11.tag=../../../../libraries/standard/corePKCS11/docs/doxygen/output/html \
libraries/aws/device-shadow-for-aws-iot-embedded-sdk/docs/doxygen/output/shadow.tag=../../../../libraries/aws/device-shadow-for-aws-iot-embedded-sdk/docs/doxygen/output/html \
Expand Down
2 changes: 1 addition & 1 deletion libraries/standard/coreMQTT
Open in desktop
Submodule coreMQTT updated 61 files
+7 −0 .github/.cSpellWords.txt
+4 −2 .github/workflows/ci.yml
+91 −45 .github/workflows/release.yml
+31 −7 README.md
+2 −2 docs/doxygen/config.doxyfile
+6 −6 docs/doxygen/include/size_table.md
+1 −1 manifest.yml
+0 −45 sbom.spdx
+563 −190 source/core_mqtt.c
+38 −13 source/core_mqtt_serializer.c
+10 −16 source/core_mqtt_state.c
+234 −4 source/include/core_mqtt.h
+1 −1 source/include/core_mqtt_config_defaults.h
+35 −15 source/include/core_mqtt_serializer.h
+1 −1 source/include/core_mqtt_state.h
+1 −1 source/interface/transport_interface.h
+1 −1 test/cbmc/include/core_mqtt_config.h
+1 −1 test/cbmc/include/event_callback_stub.h
+1 −1 test/cbmc/include/get_time_stub.h
+1 −1 test/cbmc/include/mqtt_cbmc_state.h
+1 −1 test/cbmc/include/network_interface_stubs.h
+1 −1 test/cbmc/proofs/MQTT_Connect/MQTT_Connect_harness.c
+1 −1 test/cbmc/proofs/MQTT_DeserializeAck/MQTT_DeserializeAck_harness.c
+1 −1 test/cbmc/proofs/MQTT_DeserializePublish/MQTT_DeserializePublish_harness.c
+1 −1 test/cbmc/proofs/MQTT_Disconnect/MQTT_Disconnect_harness.c
+1 −1 test/cbmc/proofs/MQTT_GetIncomingPacketTypeAndLength/MQTT_GetIncomingPacketTypeAndLength_harness.c
+1 −1 test/cbmc/proofs/MQTT_GetPacketId/MQTT_GetPacketId_harness.c
+1 −1 test/cbmc/proofs/MQTT_GetSubAckStatusCodes/MQTT_GetSubAckStatusCodes_harness.c
+1 −1 test/cbmc/proofs/MQTT_Init/MQTT_Init_harness.c
+1 −1 test/cbmc/proofs/MQTT_MatchTopic/MQTT_MatchTopic_harness.c
+1 −1 test/cbmc/proofs/MQTT_Ping/MQTT_Ping_harness.c
+10 −1 test/cbmc/proofs/MQTT_ProcessLoop/MQTT_ProcessLoop_harness.c
+1 −1 test/cbmc/proofs/MQTT_Publish/MQTT_Publish_harness.c
+10 −1 test/cbmc/proofs/MQTT_ReceiveLoop/MQTT_ReceiveLoop_harness.c
+2 −2 test/cbmc/proofs/MQTT_SerializeAck/MQTT_SerializeAck_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeConnect/MQTT_SerializeConnect_harness.c
+2 −2 test/cbmc/proofs/MQTT_SerializeDisconnect/MQTT_SerializeDisconnect_harness.c
+2 −2 test/cbmc/proofs/MQTT_SerializePingreq/MQTT_SerializePingreq_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializePublish/MQTT_SerializePublish_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializePublishHeader/MQTT_SerializePublishHeader_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeSubscribe/MQTT_SerializeSubscribe_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeUnsubscribe/MQTT_SerializeUnsubscribe_harness.c
+1 −1 test/cbmc/proofs/MQTT_Subscribe/MQTT_Subscribe_harness.c
+1 −1 test/cbmc/proofs/MQTT_Unsubscribe/MQTT_Unsubscribe_harness.c
+212 −184 test/cbmc/proofs/Makefile.common
+1 −1 test/cbmc/sources/mqtt_cbmc_state.c
+1 −1 test/cbmc/stubs/event_callback_stub.c
+1 −1 test/cbmc/stubs/get_time_stub.c
+1 −1 test/cbmc/stubs/memmove.c
+1 −1 test/cbmc/stubs/network_interface_stubs.c
+1 −1 test/unit-test/cmock_opaque_types.h
+1 −1 test/unit-test/core_mqtt_config.h
+41 −1 test/unit-test/core_mqtt_serializer_utest.c
+1 −1 test/unit-test/core_mqtt_state_utest.c
+1,538 −80 test/unit-test/core_mqtt_utest.c
+1 −1 test/unit-test/logging/logging_levels.h
+2 −8 test/unit-test/logging/logging_stack.h
+8 −7 tools/cmock/coverage.cmake
+17 −15 tools/cmock/create_test.cmake
+0 −1 tools/cmock/project.yml
+1 −1 tools/coverity/README.md
2 changes: 1 addition & 1 deletion manifest.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ description: |-
See dependencies for included libraries."
dependencies:
- name: "coreMQTT"
version: "v2.3.1"
version: "86a5750bb31e05fa69ef3f4e2f5e69d9317fae44"
repository:
type: "git"
url: "https://github.com/FreeRTOS/coreMQTT"
Expand Down
Loading