File tree
3 files changed
+3
-3
lines changed- libraries
- aws
- standard
3 files changed
+3
-3
lines changedSubmodule device-shadow-for-aws-iot-embedded-sdk updated 11 files
- LICENSE+2
- docs/doxygen/config.doxyfile+2-2
- docs/doxygen/pages.dox+1-3
- source/include/shadow.h+1-1
- source/include/shadow_config_defaults.h+1-1
- source/shadow.c+1-1
- test/cbmc/include/shadow_cbmc_state.h+1-1
- test/cbmc/proofs/Shadow_GetTopicString/Shadow_GetTopicString_harness.c+1-1
- test/cbmc/proofs/Shadow_MatchTopic/Shadow_MatchTopic_harness.c+1-1
- test/cbmc/sources/shadow_cbmc_state.c+1-1
- test/unit-test/shadow_utest.c+1-1
- docs/doxygen/pages.dox-2
- source/core_json.c+1-1
- source/include/core_json.h+1-1
- test/CMakeLists.txt+1-1
- test/cbmc/include/core_json_annex.h+1-1
- test/cbmc/include/skipGeneric.h+1-1
- test/cbmc/proofs/JSON_Search/JSON_Search_harness.c+1-1
- test/cbmc/proofs/JSON_Validate/JSON_Validate_harness.c+1-1
- test/cbmc/proofs/skipAnyLiteral/skipAnyLiteral_harness.c+1-1
- test/cbmc/proofs/skipCollection/skipCollection_harness.c+1-1
- test/cbmc/proofs/skipEscape/skipEscape_harness.c+1-1
- test/cbmc/proofs/skipNumber/skipNumber_harness.c+1-1
- test/cbmc/proofs/skipSpace/skipSpace_harness.c+1-1
- test/cbmc/proofs/skipSpaceAndComma/skipSpaceAndComma_harness.c+1-1
- test/cbmc/proofs/skipString/skipString_harness.c+1-1
- test/cbmc/proofs/skipUTF8/skipUTF8_harness.c+1-1
- test/cbmc/stubs/skipAnyLiteral.c+1-1
- test/cbmc/stubs/skipAnyScalar.c+1-1
- test/cbmc/stubs/skipCollection.c+1-1
- test/cbmc/stubs/skipEscape.c+1-1
- test/cbmc/stubs/skipGeneric.c+1-1
- test/cbmc/stubs/skipNumber.c+1-1
- test/cbmc/stubs/skipSpace.c+1-1
- test/cbmc/stubs/skipSpaceAndComma.c+1-1
- test/cbmc/stubs/skipString.c+1-1
- test/cbmc/stubs/skipUTF8.c+1-1
- test/unit-test/core_json_utest.c+1-1
- docs/doxygen/config.doxyfile+1-1
- docs/doxygen/pages.dox-2
- source/core_mqtt.c+1-1
- source/core_mqtt_serializer.c+1-1
- source/core_mqtt_state.c+1-1
- 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/portable/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+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
0 commit comments