coreMQTT-Agent
coreMQTT-Agent copied to clipboard
FreeRTOS
Implements an MQTT agent (or daemon) task for simple MQTT connection sharing among different threads of execution.
### Description CoreMQTT-Agent may rely upon state - state which may be accessible across FreeRTOS tasks. We want to verify CoreMQTT-Agent is task/thread safe by ensuring that state access across...
Description ----------- The upcoming CBMC version 6 release includes changes that may affect existing proofs. This PR will make sure that coreMQTT-Agent PRs are not negatively impacted by this release....
Description ----------- With CBMC v6, unwinding assertions are enabled by default, and object bits no longer need to be set at compile time. Update various build rules to use the...
Description ----------- Release preparation for v1.3.1 Update changelog for version v1.3.1 Update version tag in .md files and manifest files Test Steps ----------- Checklist: ---------- - [x] I have tested...
Description ----------- - Updates the coreMQTT submodule pointer to the latest commit of the library. - Includes the `core_mqtt_config_defaults.h` file in the `core_mqtt_agent_config_defaults.h`. - This is done because the older...
The MQTTAgent_Publish() method requires that the `pPublishInfo` argument (carrying the topic name) remains in scope after the call returns. This is not documented in the API doc, which only says:...
