Skip to content

Commit

Permalink
Add links to the MQTT agent in the non-agent mqtt demos (FreeRTOS#470)
Browse files Browse the repository at this point in the history
Add URL file links to the MQTT agent documentation page.
Add comment blocks into each demo that also point toward the MQTT agent documentation to ensure users are aware the agent method exists.
  • Loading branch information
RichardBarry authored Dec 12, 2020
1 parent 1d444ee commit a503a3a
Show file tree
Hide file tree
Showing 18 changed files with 165 additions and 21 deletions.
36 changes: 34 additions & 2 deletions FreeRTOS-Plus/Demo/coreMQTT_Windows_Simulator/Common/main.c
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,23 @@
*/

/***
* See https://www.FreeRTOS.org/coremqtt for configuration and usage instructions.
* See https://www.FreeRTOS.org/coremqtt for configuration and usage instructions,
* and https://www.freertos.org/mqtt/mqtt-agent-demo.html? for an alternative
* usage model that runs MQTT in an autonomous background agent task. See the
* note below.
*
* Note: Single Threaded Vs Multi Threaded
* There are two coreMQTT usage models, single threaded and multithreaded
* (multitasking). Using the MQTT library solely from one thread within an
* otherwise multi-threaded application, as the demos in these subdirectories do,
* is equivalent to the single threaded use case. Single threaded use cases
* require the application writer to make repeated explicit calls into the MQTT
* library. Multithreaded use cases can instead execute the MQTT protocol in the
* background within an agent (or daemon) task. Executing the MQTT protocol in
* an agent task removes the need for the application writer to explicitly
* manage any MQTT state or call the MQTT_ProcessLoop() API function. Using an
* agent task also enables multiple application tasks to share a single MQTT
* connection without the need for synchronization primitives such as mutexes.
***/

/* Standard includes. */
Expand Down Expand Up @@ -106,7 +122,23 @@ static UBaseType_t ulNextRand;
int main( void )
{
/***
* See https://www.FreeRTOS.org/coremqtt for configuration and usage instructions.
* See https://www.FreeRTOS.org/coremqtt for configuration and usage instructions,
* and https://www.freertos.org/mqtt/mqtt-agent-demo.html? for an alternative
* usage model that runs MQTT in an autonomous background agent task. See the
* note below.
*
* Note: Single Threaded Vs Multi Threaded
* There are two coreMQTT usage models, single threaded and multithreaded
* (multitasking). Using the MQTT library solely from one thread within an
* otherwise multi-threaded application, as the demos in these subdirectories do,
* is equivalent to the single threaded use case. Single threaded use cases
* require the application writer to make repeated explicit calls into the MQTT
* library. Multithreaded use cases can instead execute the MQTT protocol in the
* background within an agent (or daemon) task. Executing the MQTT protocol in
* an agent task removes the need for the application writer to explicitly
* manage any MQTT state or call the MQTT_ProcessLoop() API function. Using an
* agent task also enables multiple application tasks to share a single MQTT
* connection without the need for synchronization primitives such as mutexes.
***/

/* Miscellaneous initialization including preparing the logging and seeding
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -37,6 +37,14 @@
* broker in this example. Define democonfigMQTT_BROKER_ENDPOINT and
* democonfigROOT_CA_PEM in demo_config.h to establish a server-authenticated
* connection.
*
* Also see https://www.freertos.org/mqtt/mqtt-agent-demo.html? for an
* alternative run time model whereby coreMQTT runs in an autonomous
* background agent task. Executing the MQTT protocol in an agent task
* removes the need for the application writer to explicitly manage any MQTT
* state or call the MQTT_ProcessLoop() API function. Using an agent task
* also enables multiple application tasks to more easily share a single
* MQTT connection.
*/

/* Standard includes. */
Expand Down Expand Up @@ -185,8 +193,8 @@

/*-----------------------------------------------------------*/

/**
* @brief Each compilation unit that consumes the NetworkContext must define it.
/**
* @brief Each compilation unit that consumes the NetworkContext must define it.
* It should contain a single pointer to the type of your desired transport.
* When using multiple transports in the same compilation unit, define this pointer as void *.
*
Expand Down Expand Up @@ -373,8 +381,16 @@ void vStartSimpleMQTTDemo( void )
{
/* This example uses a single application task, which in turn is used to
* connect, subscribe, publish, unsubscribe, and disconnect from the MQTT
* broker. */
xTaskCreate( prvMQTTDemoTask, /* Function that implements the task. */
* broker.
*
* Also see https://www.freertos.org/mqtt/mqtt-agent-demo.html? for an
* alternative run time model whereby coreMQTT runs in an autonomous
* background agent task. Executing the MQTT protocol in an agent task
* removes the need for the application writer to explicitly manage any MQTT
* state or call the MQTT_ProcessLoop() API function. Using an agent task
* also enables multiple application tasks to more easily share a single
* MQTT connection. */
xTaskCreate( prvMQTTDemoTask, /* Function that implements the task. */
"DemoTask", /* Text name for the task - only used for debugging. */
democonfigDEMO_STACKSIZE, /* Size of stack (in words, not bytes) to allocate for the task. */
NULL, /* Task parameter - not used in this case. */
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
[{000214A0-0000-0000-C000-000000000046}]
Prop3=19,11
[InternetShortcut]
IDList=
URL=https://www.freertos.org/mqtt/mqtt-agent-demo.html?
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,14 @@
* !!! NOTE !!!
* This MQTT demo does not authenticate the server nor the client.
* Hence, this demo should not be used as production ready code.
*
* Also see https://www.freertos.org/mqtt/mqtt-agent-demo.html? for an
* alternative run time model whereby coreMQTT runs in an autonomous
* background agent task. Executing the MQTT protocol in an agent task
* removes the need for the application writer to explicitly manage any MQTT
* state or call the MQTT_ProcessLoop() API function. Using an agent task
* also enables multiple application tasks to more easily share a single
* MQTT connection.
*/

/* Standard includes. */
Expand Down Expand Up @@ -207,8 +215,8 @@

/*-----------------------------------------------------------*/

/**
* @brief Each compilation unit that consumes the NetworkContext must define it.
/**
* @brief Each compilation unit that consumes the NetworkContext must define it.
* It should contain a single pointer to the type of your desired transport.
* When using multiple transports in the same compilation unit, define this pointer as void *.
*
Expand Down Expand Up @@ -481,6 +489,13 @@ void vStartSimpleMQTTDemo( void )
}
/*-----------------------------------------------------------*/

/* Also see https://www.freertos.org/mqtt/mqtt-agent-demo.html? for an
* alternative run time model whereby coreMQTT runs in an autonomous
* background agent task. Executing the MQTT protocol in an agent task
* removes the need for the application writer to explicitly manage any MQTT
* state or call the MQTT_ProcessLoop() API function. Using an agent task
* also enables multiple application tasks to more easily share a single
* MQTT connection. */
static void prvMQTTDemoTask( void * pvParameters )
{
uint32_t ulTopicCount = 0U;
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
[{000214A0-0000-0000-C000-000000000046}]
Prop3=19,11
[InternetShortcut]
IDList=
URL=https://www.freertos.org/mqtt/mqtt-agent-demo.html?
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,13 @@
* This demo shows how to use coreMQTT in a multithreaded environment - it does not
* yet go as far as encapsulating the MQTT library within its own agent (or daemon)
* task - although the prvCommandLoop() function demonstrates how that might be done.
* Also see https://www.freertos.org/mqtt/mqtt-agent-demo.html? for an
* example that does use an agent task. Executing the MQTT protocol in an agent
* task removes the need for the application writer to explicitly manage any MQTT
* state or call the MQTT_ProcessLoop() API function. Using an agent task
* also enables multiple application tasks to more easily share a single
* MQTT connection.
*
* In this task prvCommandLoop() is only executed from a single thread and is the
* only function that is allowed to use the coreMQTT API directly. Anything else
* needing to interact with the coreMQTT API does so by posting commands to
Expand Down Expand Up @@ -375,8 +382,8 @@ typedef struct publishElement

/*-----------------------------------------------------------*/

/**
* @brief Each compilation unit that consumes the NetworkContext must define it.
/**
* @brief Each compilation unit that consumes the NetworkContext must define it.
* It should contain a single pointer to the type of your desired transport.
* When using multiple transports in the same compilation unit, define this pointer as void *.
*
Expand Down Expand Up @@ -2098,6 +2105,13 @@ static void prvCleanExistingPersistentSession( void )

/*-----------------------------------------------------------*/

/* Also see https://www.freertos.org/mqtt/mqtt-agent-demo.html? for an
* alternative run time model whereby coreMQTT runs in an autonomous
* background agent task. Executing the MQTT protocol in an agent task
* removes the need for the application writer to explicitly manage any MQTT
* state or call the MQTT_ProcessLoop() API function. Using an agent task
* also enables multiple application tasks to more easily share a single
* MQTT connection. */
static void prvMQTTDemoTask( void * pvParameters )
{
BaseType_t xNetworkStatus = pdFAIL;
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
[{000214A0-0000-0000-C000-000000000046}]
Prop3=19,11
[InternetShortcut]
IDList=
URL=https://www.freertos.org/mqtt/mqtt-agent-demo.html?
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,14 @@
* democonfigROOT_CA_PEM, democonfigCLIENT_CERTIFICATE_PEM,
* and democonfigCLIENT_PRIVATE_KEY_PEM in demo_config.h to establish a
* mutually authenticated connection.
*
* Also see https://www.freertos.org/mqtt/mqtt-agent-demo.html? for an
* alternative run time model whereby coreMQTT runs in an autonomous
* background agent task. Executing the MQTT protocol in an agent task
* removes the need for the application writer to explicitly manage any MQTT
* state or call the MQTT_ProcessLoop() API function. Using an agent task
* also enables multiple application tasks to more easily share a single
* MQTT connection.
*/

/* Standard includes. */
Expand Down Expand Up @@ -274,8 +282,8 @@

/*-----------------------------------------------------------*/

/**
* @brief Each compilation unit that consumes the NetworkContext must define it.
/**
* @brief Each compilation unit that consumes the NetworkContext must define it.
* It should contain a single pointer to the type of your desired transport.
* When using multiple transports in the same compilation unit, define this pointer as void *.
*
Expand Down Expand Up @@ -462,7 +470,15 @@ void vStartSimpleMQTTDemo( void )
{
/* This example uses a single application task, which in turn is used to
* connect, subscribe, publish, unsubscribe and disconnect from the MQTT
* broker. */
* broker.
*
* Also see https://www.freertos.org/mqtt/mqtt-agent-demo.html? for an
* alternative run time model whereby coreMQTT runs in an autonomous
* background agent task. Executing the MQTT protocol in an agent task
* removes the need for the application writer to explicitly manage any MQTT
* state or call the MQTT_ProcessLoop() API function. Using an agent task
* also enables multiple application tasks to more easily share a single
* MQTT connection. */
xTaskCreate( prvMQTTDemoTask, /* Function that implements the task. */
"DemoTask", /* Text name for the task - only used for debugging. */
democonfigDEMO_STACKSIZE, /* Size of stack (in words, not bytes) to allocate for the task. */
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
[{000214A0-0000-0000-C000-000000000046}]
Prop3=19,11
[InternetShortcut]
IDList=
URL=https://www.freertos.org/mqtt/mqtt-agent-demo.html?
Original file line number Diff line number Diff line change
Expand Up @@ -36,6 +36,14 @@
* !!! NOTE !!!
* This MQTT demo does not authenticate the server nor the client.
* Hence, this demo should not be used as production ready code.
*
* Also see https://www.freertos.org/mqtt/mqtt-agent-demo.html? for an
* alternative run time model whereby coreMQTT runs in an autonomous
* background agent task. Executing the MQTT protocol in an agent task
* removes the need for the application writer to explicitly manage any MQTT
* state or call the MQTT_ProcessLoop() API function. Using an agent task
* also enables multiple application tasks to more easily share a single
* MQTT connection.
*/

/* Standard includes. */
Expand Down Expand Up @@ -176,8 +184,8 @@

/*-----------------------------------------------------------*/

/**
* @brief Each compilation unit that consumes the NetworkContext must define it.
/**
* @brief Each compilation unit that consumes the NetworkContext must define it.
* It should contain a single pointer to the type of your desired transport.
* When using multiple transports in the same compilation unit, define this pointer as void *.
*
Expand Down Expand Up @@ -358,7 +366,15 @@ void vStartSimpleMQTTDemo( void )
{
/* This example uses a single application task, which in turn is used to
* connect, subscribe, publish, unsubscribe and disconnect from the MQTT
* broker. */
* broker.
*
* Also see https://www.freertos.org/mqtt/mqtt-agent-demo.html? for an
* alternative run time model whereby coreMQTT runs in an autonomous
* background agent task. Executing the MQTT protocol in an agent task
* removes the need for the application writer to explicitly manage any MQTT
* state or call the MQTT_ProcessLoop() API function. Using an agent task
* also enables multiple application tasks to more easily share a single
* MQTT connection.*/
xTaskCreate( prvMQTTDemoTask, /* Function that implements the task. */
"DemoTask", /* Text name for the task - only used for debugging. */
democonfigDEMO_STACKSIZE, /* Size of stack (in words, not bytes) to allocate for the task. */
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
[{000214A0-0000-0000-C000-000000000046}]
Prop3=19,11
[InternetShortcut]
IDList=
URL=https://www.freertos.org/mqtt/mqtt-agent-demo.html?
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
[{000214A0-0000-0000-C000-000000000046}]
Prop3=19,11
[InternetShortcut]
IDList=
URL=https://www.freertos.org/mqtt/mqtt-agent-demo.html?
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
[{000214A0-0000-0000-C000-000000000046}]
Prop3=19,11
[InternetShortcut]
IDList=
URL=https://www.freertos.org/mqtt/mqtt-agent-demo.html?
2 changes: 1 addition & 1 deletion FreeRTOS-Plus/Source/Application-Protocols/coreMQTT
Submodule coreMQTT updated 67 files
+0 −62 .github/CONTRIBUTING.md
+11 −64 .github/workflows/ci.yml
+0 −114 .github/workflows/release-workflow.yml
+2 −15 CHANGELOG.md
+3 −1 MISRA.md
+5 −20 README.md
+0 −5 SECURITY.md
+1 −1 docs/doxygen/config.doxyfile
+14 −20 docs/doxygen/pages.dox
+0 −94 docs/doxygen/timeouts.dox
+1 −10 lexicon.txt
+1 −1 manifest.yml
+95 −127 source/core_mqtt.c
+44 −49 source/core_mqtt_serializer.c
+6 −7 source/core_mqtt_state.c
+7 −45 source/include/core_mqtt.h
+5 −60 source/include/core_mqtt_config_defaults.h
+16 −2 source/include/core_mqtt_serializer.h
+1 −1 source/include/core_mqtt_state.h
+0 −30 source/include/stdbool.readme
+0 −37 source/include/stdint.readme
+3 −12 source/interface/transport_interface.h
+1 −19 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
+2 −13 test/cbmc/proofs/MQTT_Connect/Makefile
+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 −6 test/cbmc/proofs/MQTT_ProcessLoop/Makefile
+1 −1 test/cbmc/proofs/MQTT_Publish/MQTT_Publish_harness.c
+1 −1 test/cbmc/proofs/MQTT_ReceiveLoop/MQTT_ReceiveLoop_harness.c
+1 −6 test/cbmc/proofs/MQTT_ReceiveLoop/Makefile
+1 −1 test/cbmc/proofs/MQTT_SerializeAck/MQTT_SerializeAck_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeConnect/MQTT_SerializeConnect_harness.c
+1 −7 test/cbmc/proofs/MQTT_SerializeConnect/Makefile
+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 −18 test/cbmc/stubs/network_interface_stubs.c
+0 −2 test/unit-test/CMakeLists.txt
+1 −27 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
+12 −197 test/unit-test/core_mqtt_utest.c
+0 −105 test/unit-test/logging/logging_levels.h
+0 −182 test/unit-test/logging/logging_stack.h
2 changes: 1 addition & 1 deletion FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP
Submodule FreeRTOS-Plus-TCP updated 90 files
+0 −4 .github/CODE_OF_CONDUCT.md
+0 −6 .github/lexicon.txt
+2 −2 .github/workflows/ci.yml
+1 −1 FreeRTOS_ARP.c
+226 −260 FreeRTOS_DHCP.c
+2 −2 FreeRTOS_DNS.c
+6 −36 FreeRTOS_IP.c
+2 −2 FreeRTOS_Sockets.c
+1 −1 FreeRTOS_Stream_Buffer.c
+23 −20 FreeRTOS_TCP_IP.c
+1 −1 FreeRTOS_TCP_WIN.c
+2 −2 FreeRTOS_UDP_IP.c
+0 −9 History.txt
+1 −1 docs/doxygen/config.doxyfile
+1 −1 include/FreeRTOSIPConfigDefaults.h
+1 −1 include/FreeRTOS_ARP.h
+10 −23 include/FreeRTOS_DHCP.h
+1 −1 include/FreeRTOS_DNS.h
+1 −1 include/FreeRTOS_IP.h
+2 −2 include/FreeRTOS_IP_Private.h
+1 −1 include/FreeRTOS_Sockets.h
+1 −1 include/FreeRTOS_Stream_Buffer.h
+1 −1 include/FreeRTOS_TCP_IP.h
+1 −1 include/FreeRTOS_TCP_WIN.h
+1 −1 include/FreeRTOS_UDP_IP.h
+1 −1 include/FreeRTOS_errno_TCP.h
+1 −1 include/IPTraceMacroDefaults.h
+1 −1 include/NetworkBufferManagement.h
+1 −1 include/NetworkInterface.h
+2 −2 manifest.yml
+1 −1 portable/BufferManagement/BufferAllocation_1.c
+1 −1 portable/BufferManagement/BufferAllocation_2.c
+1 −1 portable/Compiler/CompilerName/pack_struct_end.h
+1 −1 portable/Compiler/CompilerName/pack_struct_start.h
+1 −1 portable/Compiler/GCC/pack_struct_end.h
+1 −1 portable/Compiler/GCC/pack_struct_start.h
+1 −1 portable/Compiler/IAR/pack_struct_end.h
+1 −1 portable/Compiler/IAR/pack_struct_start.h
+1 −1 portable/Compiler/Keil/pack_struct_end.h
+1 −1 portable/Compiler/Keil/pack_struct_start.h
+1 −1 portable/Compiler/MSVC/pack_struct_end.h
+1 −1 portable/Compiler/MSVC/pack_struct_start.h
+1 −1 portable/Compiler/Renesas/pack_struct_end.h
+1 −1 portable/Compiler/Renesas/pack_struct_start.h
+1 −1 portable/NetworkInterface/ATSAM4E/NetworkInterface.c
+52 −24 portable/NetworkInterface/DriverSAM/NetworkInterface.c
+1 −1 portable/NetworkInterface/LPC17xx/NetworkInterface.c
+1 −1 portable/NetworkInterface/LPC18xx/NetworkInterface.c
+1 −1 portable/NetworkInterface/LPC54018/NetworkInterface.c
+1 −1 portable/NetworkInterface/M487/NetworkInterface.c
+0 −388 portable/NetworkInterface/MPS2_AN385/NetworkInterface.c
+0 −42 portable/NetworkInterface/MPS2_AN385/ether_lan9118/smsc9220_emac_config.h
+0 −1,216 portable/NetworkInterface/MPS2_AN385/ether_lan9118/smsc9220_eth_drv.c
+0 −547 portable/NetworkInterface/MPS2_AN385/ether_lan9118/smsc9220_eth_drv.h
+55 −5 portable/NetworkInterface/RX/NetworkInterface.c
+1 −1 portable/NetworkInterface/SH2A/NetworkInterface.c
+29 −9 portable/NetworkInterface/STM32Fxx/NetworkInterface.c
+1 −1 portable/NetworkInterface/STM32Hxx/NetworkInterface.c
+1 −1 portable/NetworkInterface/WinPCap/NetworkInterface.c
+1 −1 portable/NetworkInterface/board_family/NetworkInterface.c
+57 −13 portable/NetworkInterface/esp32/NetworkInterface.c
+1 −1 portable/NetworkInterface/ksz8851snl/NetworkInterface.c
+1 −1 portable/NetworkInterface/linux/NetworkInterface.c
+1 −1 portable/NetworkInterface/mw300_rd/NetworkInterface.c
+1 −1 portable/NetworkInterface/xilinx_ultrascale/NetworkInterface.c
+1 −1 portable/NetworkInterface/xilinx_ultrascale/x_emacpsif_dma.c
+1 −1 test/FreeRTOS-Kernel
+3 −5 test/cbmc/proofs/DHCP/DHCPProcess/DHCPProcess_harness.c
+1 −2 test/cbmc/proofs/Makefile.template
+0 −39 test/cbmc/proofs/Socket/vSocketClose/Configurations.json
+0 −125 test/cbmc/proofs/Socket/vSocketClose/vSocketClose_harness.c
+0 −22 test/cbmc/proofs/TCPWin/vTCPWindowDestroy/Makefile.json
+0 −62 test/cbmc/proofs/TCPWin/vTCPWindowDestroy/vTCPWindowDestroy_harness.c
+0 −10 test/cbmc/proofs/make_common_makefile.py
+12 −1 test/cbmc/proofs/run-cbmc-proofs.py
+1 −1 test/litani
+1 −1 test/unit-test/ConfigFiles/FreeRTOSIPConfigDefaults.h
+1 −1 test/unit-test/ConfigFiles/FreeRTOS_errno_TCP.h
+1 −1 test/unit-test/ConfigFiles/IPTraceMacroDefaults.h
+1 −1 test/unit-test/ConfigFiles/NetworkBufferManagement.h
+1 −1 test/unit-test/ConfigFiles/NetworkInterface.h
+1 −1 test/unit-test/ConfigFiles/pack_struct_end.h
+1 −1 test/unit-test/ConfigFiles/pack_struct_start.h
+1 −1 tools/tcp_utilities/include/tcp_dump_packets.h
+1 −1 tools/tcp_utilities/include/tcp_mem_stats.h
+2 −2 tools/tcp_utilities/include/tcp_netstat.h
+1 −1 tools/tcp_utilities/tcp_dump_packets.c
+1 −1 tools/tcp_utilities/tcp_mem_stats.c
+4 −4 tools/tcp_utilities/tcp_netstat.c
+1 −1 tools/tcp_utilities/tcp_netstat.md
2 changes: 1 addition & 1 deletion FreeRTOS-Plus/Source/coreJSON
Submodule coreJSON updated 41 files
+0 −62 .github/CONTRIBUTING.md
+2 −28 .github/workflows/ci.yml
+0 −11 CHANGELOG.md
+0 −0 LICENSE.md
+22 −26 MISRA.md
+4 −10 README.md
+2 −2 docs/doxygen/config.doxyfile
+10 −18 docs/doxygen/pages.dox
+0 −9 lexicon.txt
+1 −1 manifest.yml
+1 −1 security.md
+31 −106 source/core_json.c
+8 −63 source/include/core_json.h
+1 −11 test/cbmc/include/core_json_annex.h
+1 −1 test/cbmc/include/skipGeneric.h
+7 −11 test/cbmc/proofs/JSON_Search/JSON_Search_harness.c
+2 −2 test/cbmc/proofs/JSON_Search/Makefile
+1 −3 test/cbmc/proofs/JSON_Search/README.md
+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
+68 −68 test/unit-test/CMakeLists.txt
+43 −68 test/unit-test/core_json_utest.c
+0 −5 tools/coverity/misra.config
+160 −160 tools/uncrustify.cfg
2 changes: 1 addition & 1 deletion FreeRTOS-Plus/Source/corePKCS11
Submodule corePKCS11 updated 125 files

0 comments on commit a503a3a

Please sign in to comment.