File tree
5 files changed
+12
-6
lines changed- FreeRTOS
5 files changed
+12
-6
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
3 | 9 |
| |
4 | 10 |
| |
5 | 11 |
| |
|
Submodule FreeRTOS-Plus-TCP updated 329 files
- .github/workflows/release.yml+136-22
- CHANGELOG.md+6
- README.md+3-3
- docs/doxygen/config.doxyfile+1-1
- manifest.yml+1-1
- sbom.spdx+12-12
- 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+5-2
- 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/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/memmove.c+1-1
- test/cbmc/stubs/network_interface_stubs.c+1-1
- test/unit-test/cmock_opaque_types.h+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+1-1
+2-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
13 |
| - | |
14 |
| - | |
| 13 | + | |
| 14 | + | |
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
|
+2-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
13 |
| - | |
| 13 | + | |
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
| |||
28 | 28 |
| |
29 | 29 |
| |
30 | 30 |
| |
31 |
| - | |
| 31 | + | |
32 | 32 |
| |
33 | 33 |
| |
34 | 34 |
| |
|
0 commit comments