Merge branch 'FreeRTOS:p3_rel_wip' into p3_rel_wip

bhoomrs · Nov 13, 2024 · 08125f1 · 08125f1
2 parents 2b5f0ee + 89c685b
commit 08125f1
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/FreeRTOS-Plus/Source/AWS/ota b/FreeRTOS-Plus/Source/AWS/ota
diff --git a/FreeRTOS-Plus/ThirdParty/glib b/FreeRTOS-Plus/ThirdParty/glib
diff --git a/FreeRTOS-Plus/ThirdParty/libslirp b/FreeRTOS-Plus/ThirdParty/libslirp
diff --git a/manifest.yml b/manifest.yml
@@ -96,14 +96,14 @@ dependencies:
       path: "FreeRTOS-Plus/ThirdParty/mbedtls"
 
   - name: "glib"
-    version: "2.76.3"
+    version: "2.78.1"
     repository:
       type: "git"
       url:  "https://gitlab.gnome.org/GNOME/glib.git"
       path: "FreeRTOS-Plus/ThirdParty/glib"
 
   - name: "libslirp"
-    version: "177da3d"
+    version: "v4.7.0"
     repository:
       type: "git"
       url:  "https://gitlab.freedesktop.org/slirp/libslirp.git"
@@ -117,7 +117,7 @@ dependencies:
       path: "FreeRTOS-Plus/Source/Utilities/backoff_algorithm"
 
   - name: "ota"
-    version: "9a8395b"
+    version: "57d3efa"
     repository:
       type: "git"
       url: "https://github.com/aws/ota-for-aws-iot-embedded-sdk"
+1 −1		.github/workflows/release.yml
+0 −1		README.md
+4 −4		docs/doxygen/include/size_table.md
+1 −1		source/include/ota_config_defaults.h
+19 −7		source/ota.c
+2 −0		test/cbmc/proofs/Malloc_FreeRTOS/Malloc_FreeRTOS_harness.c
+2 −0		test/cbmc/proofs/OTA_CBOR_Decode_GetStreamResponseMessage/OTA_CBOR_Decode_GetStreamResponseMessage_harness.c
+2 −0		test/cbmc/proofs/OTA_GetStatistics/OTA_GetStatistics_harness.c
+2 −1		test/cbmc/proofs/OtaReceiveEvent_FreeRTOS/OtaReceiveEvent_FreeRTOS_harness.c
+2 −0		test/cbmc/proofs/OtaStartTimer_FreeRTOS/OtaStartTimer_FreeRTOS_harness.c
+2 −0		test/cbmc/proofs/Posix_OtaReceiveEvent/Posix_OtaReceiveEvent_harness.c
+2 −0		test/cbmc/proofs/Posix_OtaSendEvent/Posix_OtaSendEvent_harness.c
+2 −0		test/cbmc/proofs/closeFileHandler/closeFileHandler_harness.c
+4 −4		test/cbmc/proofs/decodeBase64IndexBuffer/decodeBase64IndexBuffer_harness.c
+2 −0		test/cbmc/proofs/executeHandler/executeHandler_harness.c
+5 −5		test/cbmc/proofs/extractAndStoreArray/extractAndStoreArray_harness.c
+2 −0		test/cbmc/proofs/freeFileContextMem/freeFileContextMem_harness.c
+4 −2		test/cbmc/proofs/getFileContextFromJob/getFileContextFromJob_harness.c
+1 −1		test/cbmc/proofs/handleJobParsingError/handleJobParsingError_harness.c
+2 −0		test/cbmc/proofs/otaClose/otaClose_harness.c
+2 −0		test/cbmc/proofs/parseJSONbyModel/parseJSONbyModel_harness.c
+5 −5		test/cbmc/proofs/processDataBlock/processDataBlock_harness.c
+2 −0		test/cbmc/proofs/requestTimerCallback/requestTimerCallback_harness.c
+2 −0		test/cbmc/proofs/resetEventQueue/resetEventQueue_harness.c
+2 −0		test/cbmc/proofs/resumeHandler/resumeHandler_harness.c
+2 −0		test/cbmc/proofs/selfTestTimerCallback/selfTestTimerCallback_harness.c
+2 −0		test/cbmc/proofs/shutdownHandler/shutdownHandler_harness.c
+2 −0		test/cbmc/proofs/stringBuilder/stringBuilder_harness.c
+2 −0		test/cbmc/proofs/suspendHandler/suspendHandler_harness.c
+4 −0		test/cbmc/proofs/validateAndStartJob/validateAndStartJob_harness.c
+2 −0		test/cbmc/proofs/verifyActiveJobStatus/verifyActiveJobStatus_harness.c
+5 −2		test/unit-test/ota_utest.c