Commit d9a8e01
committed
Update coreMQTT pointer to MQTTv5 code
1 parent 1087ba1 commit d9a8e01
1 file changed
+1
-1
lines changed- .github/.cSpellWords.txt+7
- .github/workflows/ci.yml+2-2
- .github/workflows/formatting.yml-23
- CTestTestfile.cmake+8
- Dockerfile-53
- README.md+12-14
- docs/doxygen/config.doxyfile+4-3
- docs/doxygen/include/size_table.md+6-6
- docs/doxygen/pages.dox+281-42
- docs/doxygen/porting.dox+2
- mqttFilePaths.cmake+2-1
- requirements.txt-13
- source/core_mqtt.c+1.2k-311
- source/core_mqtt_serializer.c+4.9k-720
- source/core_mqtt_utils.c+66
- source/include/core_mqtt.h+252-23
- source/include/core_mqtt_config_defaults.h+1-1
- source/include/core_mqtt_serializer.h+2.2k-371
- source/include/core_mqtt_utils.h+129
- source/interface/transport_interface.h+4
- test/CMakeLists.txt+3
- test/cbmc/include/mqtt_cbmc_state.h+9
- test/cbmc/proofs/MQTT_GetBytesInMQTTVec/MQTT_GetBytesInMQTTVec_harness.c+40
- test/cbmc/proofs/MQTT_GetBytesInMQTTVec/Makefile+39
- test/cbmc/proofs/MQTT_GetBytesInMQTTVec/README.md+10
- test/cbmc/proofs/MQTT_GetBytesInMQTTVec/cbmc-proof.txt+1
- test/cbmc/proofs/MQTT_GetBytesInMQTTVec/cbmc-viewer.json+7
- test/cbmc/proofs/MQTT_SerializeMQTTVec/MQTT_SerializeMQTTVec_harness.c+52
- test/cbmc/proofs/MQTT_SerializeMQTTVec/Makefile+40
- test/cbmc/proofs/MQTT_SerializeMQTTVec/README.md+10
- test/cbmc/proofs/MQTT_SerializeMQTTVec/cbmc-proof.txt+1
- test/cbmc/proofs/MQTT_SerializeMQTTVec/cbmc-viewer.json+7
- test/cbmc/sources/mqtt_cbmc_state.c+68-1
- test/unit-test/CMakeLists.txt+2-1
- test/unit-test/core_mqtt_config.h+3-3
- test/unit-test/core_mqtt_serializer_utest.c+3.3k-1.3k
- test/unit-test/core_mqtt_state_utest.c+28-10
- test/unit-test/core_mqtt_utest.c+1.8k-808
- tools/coverity/README.md+16-11
0 commit comments