Commit b281f1e
authored
Submodule mbedtls updated from 523f055 to 1c54b54
Submodule backoff_algorithm updated 12 files
- .github/workflows/ci.yml+17-3
- .github/workflows/release.yml+114
- CHANGELOG.md+9
- README.md+15-7
- docs/doxygen/pages.dox+4-4
- lexicon.txt+15
- manifest.yml+5
- source/backoff_algorithm.c+2-2
- source/include/backoff_algorithm.h+1-1
- source/include/stdint.readme+37
- test/unit-test/backoff_algorithm_utest.c+1-1
- test/unit-test/catch_assert.h+1
- .github/CONTRIBUTING.md+62
- .github/workflows/ci.yml+44-3
- .github/workflows/release-workflow.yml+114
- CHANGELOG.md+14
- MISRA.md+1-3
- README.md+59-5
- docs/doxygen/config.doxyfile+1-1
- docs/doxygen/pages.dox+7-1
- docs/doxygen/timeouts.dox+113
- lexicon.txt+38-1
- manifest.yml+1-1
- source/core_mqtt.c+127-95
- source/core_mqtt_serializer.c+65-62
- source/core_mqtt_state.c+7-6
- source/include/core_mqtt.h+42-14
- source/include/core_mqtt_config_defaults.h+60-5
- source/include/core_mqtt_serializer.h+2-16
- source/include/core_mqtt_state.h+1-1
- source/include/stdbool.readme+30
- source/include/stdint.readme+37
- source/interface/transport_interface.h+61-11
- test/cbmc/include/core_mqtt_config.h+19-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_Connect/Makefile+7-2
- 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_ProcessLoop/Makefile+6-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_ReceiveLoop/Makefile+6-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+18-1
- test/unit-test/CMakeLists.txt+2
- test/unit-test/core_mqtt_config.h+27-1
- test/unit-test/core_mqtt_serializer_utest.c+43-3
- test/unit-test/core_mqtt_state_utest.c+1-1
- test/unit-test/core_mqtt_utest.c+197-12
- test/unit-test/logging/logging_levels.h+105
- test/unit-test/logging/logging_stack.h+182
0 commit comments