[go: up one dir, main page]
Skip to content

Commit

Permalink
Revert/rollback/downdate coreMQTT pointer (FreeRTOS#41)
Browse files Browse the repository at this point in the history
  • Loading branch information
@muneebahmed10
muneebahmed10 authored Apr 21, 2021
1 parent 134b478 commit b5e094b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion source/dependency/coreMQTT
Submodule coreMQTT updated 67 files
+0 −1 .github/CONTRIBUTING.md
+0 −15 .github/memory_statistics_config.json
+79 −33 .github/workflows/ci.yml
+0 −22 .github/workflows/memory_statistics.yml
+1 −36 .github/workflows/release-workflow.yml
+1 −6 CHANGELOG.md
+2 −2 README.md
+2 −2 docs/doxygen/config.doxyfile
+0 −30 docs/doxygen/include/size_table.html
+46 −13 docs/doxygen/pages.dox
+ − docs/plantuml/images/mqtt_connect_design.png
+ − docs/plantuml/images/mqtt_processloop_design.png
+ − docs/plantuml/images/mqtt_receiveloop_design.png
+2 −5 docs/plantuml/mqtt_connect_design.pu
+3 −13 docs/plantuml/mqtt_processloop_design.pu
+3 −12 docs/plantuml/mqtt_receiveloop_design.pu
+1 −2 lexicon.txt
+1 −1 manifest.yml
+1 −1 source/core_mqtt.c
+1 −1 source/core_mqtt_serializer.c
+1 −1 source/core_mqtt_state.c
+4 −4 source/include/core_mqtt.h
+1 −1 source/include/core_mqtt_config_defaults.h
+1 −1 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/litani
+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
+1 −1 test/cbmc/proofs/MQTT_ProcessLoop/MQTT_ProcessLoop_harness.c
+1 −1 test/cbmc/proofs/MQTT_Publish/MQTT_Publish_harness.c
+1 −1 test/cbmc/proofs/MQTT_ReceiveLoop/MQTT_ReceiveLoop_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeAck/MQTT_SerializeAck_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeConnect/MQTT_SerializeConnect_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeDisconnect/MQTT_SerializeDisconnect_harness.c
+1 −1 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
+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/memcpy.c
+1 −1 test/cbmc/stubs/network_interface_stubs.c
+1 −1 test/unit-test/core_mqtt_config.h
+1 −1 test/unit-test/core_mqtt_serializer_utest.c
+1 −1 test/unit-test/core_mqtt_state_utest.c
+1 −1 test/unit-test/core_mqtt_utest.c
+1 −1 test/unit-test/logging/logging_levels.h
+1 −1 test/unit-test/logging/logging_stack.h
+160 −0 tools/uncrustify.cfg

0 comments on commit b5e094b

Please sign in to comment.