File tree
3 files changed
+14
-16
lines changed- source/dependency
- test/unit-test/config
3 files changed
+14
-16
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
285 | 285 |
| |
286 | 286 |
| |
287 | 287 |
| |
| 288 | + | |
288 | 289 |
|
- CHANGELOG.md+7
- MigrationGuide.md+234
- README.md+8-3
- docs/doxygen/config.doxyfile+1-1
- docs/doxygen/pages.dox+3-3
- docs/doxygen/timeouts.dox+4-6
- lexicon.txt+2
- manifest.yml+1-1
- sbom.spdx+43
- source/core_mqtt.c+111-104
- source/core_mqtt_serializer.c+3-1
- source/core_mqtt_state.c+3-1
- source/include/core_mqtt.h+15-9
- source/include/core_mqtt_config_defaults.h+20-16
- source/include/core_mqtt_default_logging.h+3-1
- source/include/core_mqtt_serializer.h+3-1
- source/include/core_mqtt_state.h+3-1
- source/interface/transport_interface.h+3-1
- test/cbmc/include/core_mqtt_config.h+3-1
- test/cbmc/include/event_callback_stub.h+3-1
- test/cbmc/include/get_time_stub.h+3-1
- test/cbmc/include/mqtt_cbmc_state.h+3-1
- test/cbmc/include/network_interface_stubs.h+3-1
- test/cbmc/proofs/MQTT_Connect/MQTT_Connect_harness.c+30-1
- test/cbmc/proofs/MQTT_DeserializeAck/MQTT_DeserializeAck_harness.c+3-1
- test/cbmc/proofs/MQTT_DeserializePublish/MQTT_DeserializePublish_harness.c+3-1
- test/cbmc/proofs/MQTT_Disconnect/MQTT_Disconnect_harness.c+3-1
- test/cbmc/proofs/MQTT_GetIncomingPacketTypeAndLength/MQTT_GetIncomingPacketTypeAndLength_harness.c+3-1
- test/cbmc/proofs/MQTT_GetPacketId/MQTT_GetPacketId_harness.c+3-1
- test/cbmc/proofs/MQTT_GetSubAckStatusCodes/MQTT_GetSubAckStatusCodes_harness.c+3-1
- test/cbmc/proofs/MQTT_Init/MQTT_Init_harness.c+3-1
- test/cbmc/proofs/MQTT_MatchTopic/MQTT_MatchTopic_harness.c+3-1
- test/cbmc/proofs/MQTT_Ping/MQTT_Ping_harness.c+3-1
- test/cbmc/proofs/MQTT_ProcessLoop/MQTT_ProcessLoop_harness.c+3-1
- test/cbmc/proofs/MQTT_Publish/MQTT_Publish_harness.c+33-1
- test/cbmc/proofs/MQTT_Publish/Makefile-6
- test/cbmc/proofs/MQTT_ReceiveLoop/MQTT_ReceiveLoop_harness.c+3-1
- test/cbmc/proofs/MQTT_SerializeAck/MQTT_SerializeAck_harness.c+3-1
- test/cbmc/proofs/MQTT_SerializeConnect/MQTT_SerializeConnect_harness.c+3-1
- test/cbmc/proofs/MQTT_SerializeDisconnect/MQTT_SerializeDisconnect_harness.c+3-1
- test/cbmc/proofs/MQTT_SerializePingreq/MQTT_SerializePingreq_harness.c+3-1
- test/cbmc/proofs/MQTT_SerializePublish/MQTT_SerializePublish_harness.c+3-1
- test/cbmc/proofs/MQTT_SerializePublishHeader/MQTT_SerializePublishHeader_harness.c+3-1
- test/cbmc/proofs/MQTT_SerializeSubscribe/MQTT_SerializeSubscribe_harness.c+3-1
- test/cbmc/proofs/MQTT_SerializeUnsubscribe/MQTT_SerializeUnsubscribe_harness.c+3-1
- test/cbmc/proofs/MQTT_Subscribe/MQTT_Subscribe_harness.c+33-1
- test/cbmc/proofs/MQTT_Unsubscribe/MQTT_Unsubscribe_harness.c+33-1
- test/cbmc/sources/mqtt_cbmc_state.c+3-1
- test/cbmc/stubs/event_callback_stub.c+3-1
- test/cbmc/stubs/get_time_stub.c+3-1
- test/cbmc/stubs/memmove.c+24
- test/cbmc/stubs/network_interface_stubs.c+3-1
- test/unit-test/core_mqtt_config.h+3-1
- test/unit-test/core_mqtt_serializer_utest.c+3-1
- test/unit-test/core_mqtt_state_utest.c+3-1
- test/unit-test/core_mqtt_utest.c+6-1
- test/unit-test/logging/logging_levels.h+3-1
- test/unit-test/logging/logging_stack.h+3-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
137 | 137 |
| |
138 | 138 |
| |
139 | 139 |
| |
140 |
| - | |
141 |
| - | |
142 |
| - | |
| 140 | + | |
| 141 | + | |
143 | 142 |
| |
144 |
| - | |
145 |
| - | |
146 |
| - | |
147 |
| - | |
| 143 | + | |
| 144 | + | |
| 145 | + | |
| 146 | + | |
148 | 147 |
| |
149 |
| - | |
150 |
| - | |
| 148 | + | |
| 149 | + | |
151 | 150 |
| |
152 | 151 |
| |
153 |
| - | |
| 152 | + | |
154 | 153 |
| |
155 |
| - | |
156 |
| - | |
157 |
| - | |
| 154 | + | |
| 155 | + | |
158 | 156 |
| |
159 | 157 |
| |
160 |
| - | |
161 |
| - | |
| 158 | + | |
162 | 159 |
| |
163 | 160 |
| |
164 | 161 |
| |
|
0 commit comments