Update coreMQTT agent

moninom1 · Aug 29, 2024 · 2bb3017 · 2bb3017
1 parent 26d0c30
commit 2bb3017
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/FreeRTOS-Plus/Source/Application-Protocols/coreMQTT-Agent b/FreeRTOS-Plus/Source/Application-Protocols/coreMQTT-Agent
diff --git a/manifest.yml b/manifest.yml
@@ -47,7 +47,7 @@ dependencies:
       path: "FreeRTOS-Plus/Source/Application-Protocols/coreMQTT"
 
   - name: "coreMQTT Agent"
-    version: "d3668a6"
+    version: "v1.3.1"
     repository:
       type: "git"
       url: "https://github.com/FreeRTOS/coreMQTT-Agent.git"
+174 −0		.github/.cSpellWords.txt
+109 −23		.github/workflows/ci.yml
+23 −0		.github/workflows/formatting.yml
+15 −2		.github/workflows/release.yml
+20 −0		CHANGELOG.md
+14 −1		MISRA.md
+23 −3		README.md
+22 −0		cspell.config.yaml
+1 −1		docs/doxygen/config.doxyfile
+4 −4		docs/doxygen/include/size_table.md
+0 −290		lexicon.txt
+13 −3		manifest.yml
+52 −0		sbom.spdx
+26 −26		source/core_mqtt_agent.c
+1 −1		source/core_mqtt_agent_command_functions.c
+1 −1		source/dependency/coreMQTT
+3 −3		source/include/core_mqtt_agent.h
+1 −1		source/include/core_mqtt_agent_command_functions.h
+1 −1		source/include/core_mqtt_agent_config_defaults.h
+1 −1		source/include/core_mqtt_agent_default_logging.h
+1 −1		source/include/core_mqtt_agent_message_interface.h
+62 −47		test/CMakeLists.txt
+1 −1		test/cbmc/include/agent_command_pool_stubs.h
+1 −1		test/cbmc/include/agent_message_stubs.h
+1 −1		test/cbmc/include/core_mqtt_config.h
+1 −1		test/cbmc/include/get_time_stub.h
+1 −1		test/cbmc/include/incoming_publish_callback_stub.h
+1 −1		test/cbmc/include/mqtt_agent_cbmc_state.h
+1 −1		test/cbmc/include/network_interface_stubs.h
+1 −1		test/cbmc/proofs/MQTTAgentCommand_Connect/MQTTAgentCommand_Connect_harness.c
+2 −2		test/cbmc/proofs/MQTTAgentCommand_Connect/README.md
+1 −1		test/cbmc/proofs/MQTTAgentCommand_Disconnect/MQTTAgentCommand_Disconnect_harness.c
+1 −1		test/cbmc/proofs/MQTTAgentCommand_Disconnect/README.md
+1 −1		test/cbmc/proofs/MQTTAgentCommand_Ping/MQTTAgentCommand_Ping_harness.c
+1 −1		test/cbmc/proofs/MQTTAgentCommand_Ping/README.md
+1 −1		test/cbmc/proofs/MQTTAgentCommand_ProcessLoop/MQTTAgentCommand_ProcessLoop_harness.c
+1 −1		test/cbmc/proofs/MQTTAgentCommand_ProcessLoop/README.md
+1 −1		test/cbmc/proofs/MQTTAgentCommand_Publish/MQTTAgentCommand_Publish_harness.c
+1 −1		test/cbmc/proofs/MQTTAgentCommand_Publish/README.md
+1 −1		test/cbmc/proofs/MQTTAgentCommand_Subscribe/MQTTAgentCommand_Subscribe_harness.c
+1 −1		test/cbmc/proofs/MQTTAgentCommand_Subscribe/README.md
+1 −1		test/cbmc/proofs/MQTTAgentCommand_Terminate/MQTTAgentCommand_Terminate_harness.c
+1 −1		test/cbmc/proofs/MQTTAgentCommand_Terminate/README.md
+1 −1		test/cbmc/proofs/MQTTAgentCommand_Unsubscribe/MQTTAgentCommand_Unsubscribe_harness.c
+1 −1		test/cbmc/proofs/MQTTAgentCommand_Unsubscribe/README.md
+1 −1		test/cbmc/proofs/MQTTAgent_CancelAll/MQTTAgent_CancelAll_harness.c
+1 −1		test/cbmc/proofs/MQTTAgent_CancelAll/README.md
+1 −1		test/cbmc/proofs/MQTTAgent_CommandLoop/MQTTAgent_CommandLoop_harness.c
+1 −1		test/cbmc/proofs/MQTTAgent_CommandLoop/README.md
+1 −1		test/cbmc/proofs/MQTTAgent_Connect/MQTTAgent_Connect_harness.c
+1 −1		test/cbmc/proofs/MQTTAgent_Connect/README.md
+1 −1		test/cbmc/proofs/MQTTAgent_Disconnect/MQTTAgent_Disconnect_harness.c
+1 −1		test/cbmc/proofs/MQTTAgent_Disconnect/README.md
+1 −1		test/cbmc/proofs/MQTTAgent_Init/MQTTAgent_Init_harness.c
+1 −1		test/cbmc/proofs/MQTTAgent_Init/README.md
+1 −1		test/cbmc/proofs/MQTTAgent_Ping/MQTTAgent_Ping_harness.c
+1 −1		test/cbmc/proofs/MQTTAgent_Ping/README.md
+1 −1		test/cbmc/proofs/MQTTAgent_ProcessLoop/MQTTAgent_ProcessLoop_harness.c
+1 −1		test/cbmc/proofs/MQTTAgent_ProcessLoop/README.md
+1 −1		test/cbmc/proofs/MQTTAgent_Publish/MQTTAgent_Publish_harness.c
+1 −1		test/cbmc/proofs/MQTTAgent_Publish/README.md
+1 −1		test/cbmc/proofs/MQTTAgent_ResumeSession/MQTTAgent_ResumeSession_harness.c
+1 −1		test/cbmc/proofs/MQTTAgent_ResumeSession/README.md
+1 −1		test/cbmc/proofs/MQTTAgent_Subscribe/MQTTAgent_Subscribe_harness.c
+1 −1		test/cbmc/proofs/MQTTAgent_Subscribe/README.md
+1 −1		test/cbmc/proofs/MQTTAgent_Terminate/MQTTAgent_Terminate_harness.c
+1 −1		test/cbmc/proofs/MQTTAgent_Terminate/README.md
+1 −1		test/cbmc/proofs/MQTTAgent_Unsubscribe/MQTTAgent_Unsubscribe_harness.c
+1 −1		test/cbmc/proofs/MQTTAgent_Unsubscribe/README.md
+2 −1		test/cbmc/sources/mqtt_agent_cbmc_state.c
+1 −1		test/cbmc/stubs/agent_command_functions_stub.c
+1 −1		test/cbmc/stubs/agent_command_pool_stubs.c
+1 −1		test/cbmc/stubs/agent_message_stubs.c
+2 −1		test/cbmc/stubs/core_mqtt_stubs.c
+1 −1		test/cbmc/stubs/get_time_stub.c
+1 −1		test/cbmc/stubs/incoming_publish_callback_stub.c
+1 −1		test/cbmc/stubs/network_interface_stubs.c
+4 −0		test/unit-test/CMakeLists.txt
+1 −1		test/unit-test/CMock
+1 −1		test/unit-test/config/core_mqtt_config.h
+1 −1		test/unit-test/logging/logging_levels.h
+1 −1		test/unit-test/logging/logging_stack.h
+1 −1		test/unit-test/mqtt_agent_command_functions_utest.c
+1 −1		test/unit-test/mqtt_agent_utest.c
+28 −22		tools/coverity/misra.config