-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Remove using_mbedtls folder and move its content to the parent folder #717
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
| <ClCompile Include="..\..\..\Source\Application-Protocols\network_transport\sockets_wrapper\freertos_plus_tcp\sockets_wrapper.c"> | ||
| <Filter>FreeRTOS+\FreeRTOS IoT Libraries\platform\transport</Filter> | ||
| </ClCompile> | ||
| <ClCompile Include="..\..\..\Source\Application-Protocols\network_transport\using_mbedtls\using_mbedtls\using_mbedtls.c"> |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I notice we have two subdirectories under using_mbedtls:
using_mbedtls
..using_mbedtls
..using_mbedtls_pkcs11
It is not obvious what using_mbedtls. We can rename it to something like using_mbedlts_no_pkcs11. However, it might be better to just remove it out of subdirectory and put both folders in upper level directory. I am fine with either option.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'd like to make it in upper layer, will make the changes.
778f8c3 to
b20f8b0
Compare
…FreeRTOS#717) Move the contents of FreeRTOS/FreeRTOS-Plus/Source/Application-Protocols/network_transport/using_mbedtls/ to its parent folder i.e. FreeRTOS/FreeRTOS-Plus/Source/Application-Protocols/network_transport/. This removes one unnecessary folder in the hierarchy.
* Use CBMC XML output to enable VSCode debugger (FreeRTOS#673) Prior to this commit, CBMC would emit logging information in plain text format, which does not contain information required for the CBMC VSCode debugger. This commit makes CBMC use XML instead of plain text. Co-authored-by: Mark Tuttle <tuttle@acm.org> * wip * wip DHCPProcess * wip dhcp process * wip * fix CBMC ProcessDHCPReplies proofs * wip DHCPProcess * fix DHCPProcess CBMC proof * fix DHCPProcess CBMC proof * added multiple end point * fix ProcessDHCPReplies * fix function sign. * fix DHCP CBMC proofs * NULL assume to assignment * updating with changes wrt review comments * adding more non determinism to the proof * free memory in FreeRTOS_ReleaseUDPPayloadBuffer * WIP DHCPProcess CBMC proof * wip DHCP process * reverting back to old version * adding more comments --------- Co-authored-by: Kareem Khazem <karkhaz@amazon.com> Co-authored-by: Mark Tuttle <tuttle@acm.org>
* Initial Version Pull Request Workflow * Updated Contributing.md * Improved contributing.md * added pr process image and some edits based on peer feedback * fixed links to image * Fixed truncation * Updated reviewer description * Review feedback --------- Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
…FreeRTOS#717) Move the contents of FreeRTOS/FreeRTOS-Plus/Source/Application-Protocols/network_transport/using_mbedtls/ to its parent folder i.e. FreeRTOS/FreeRTOS-Plus/Source/Application-Protocols/network_transport/. This removes one unnecessary folder in the hierarchy.
Description
Move the contents of
FreeRTOS/FreeRTOS-Plus/Source/Application-Protocols/network_transport/using_mbedtls/to its parent folder i.e.FreeRTOS/FreeRTOS-Plus/Source/Application-Protocols/network_transport/. This removes one unnecessary folder in the hierarchy.By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.