Home
last modified time | relevance | path

Searched full:repository (Results 1 – 18 of 18) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/
HDREADME.md31 …us-TCP directory that was created using the [Cloning this repository](#cloning-this-repository) st…
34 ## Cloning this repository
35 This repository uses [Git Submodules](https://git-scm.com/book/en/v2/Git-Tools-Submodules) to bring…
37 … you will not get the contents of the submodules. (The ZIP file is also not a valid Git repository)
55 ## Repository structure
56 This repository contains the FreeRTOS-Plus-TCP repository and a number of supplementary libraries f…
73 …TOS-Kernel repository](https://github.com/FreeRTOS/FreeRTOS-Kernel), and it is consumed by testing…
HDmanifest.yml9 repository:
HDHistory.txt64 + Moved FreeRTOS+TCP source code to an independent repository
103 repository.
HDGenerateOriginalFiles.py235 # Change the working directory to the root of repository.
/FreeRTOS-Plus-TCP-v3.1.0/.github/
HDCODEOWNERS21 # directory at the root of the repository and any of its
31 # anywhere in your repository.
35 # directory in the root of your repository and any of its
HDCONTRIBUTING.md42 1. Fork the repository.
50 GitHub provides additional document on [forking a repository](https://help.github.com/articles/fork…
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/
HDREADME.md6 pull request posted to the repository against these proofs, and developers can
12 ([GitHub repository](https://github.com/diffblue/cbmc)). This README describes
72 - Clone the [CBMC repository](https://github.com/diffblue/cbmc).
76 file in the CBMC repository; we reproduce the most important steps for
/FreeRTOS-Plus-TCP-v3.1.0/test/build-combination/
HDREADME.md8 All the CMake commands are to be run from the root of the repository.
30 All the CMake commands are to be run from the root of the repository.
HDCMakeLists.txt20 set(MODULE_ROOT_DIR ${__MODULE_ROOT_DIR} CACHE INTERNAL "FreeRTOS-Plus-TCP repository root.")
/FreeRTOS-Plus-TCP-v3.1.0/.github/workflows/
HDuncrustify.yml35 repository: ${{ steps.upstreamrepo.outputs.RemoteRepo }}
44 - name: Push changes to upstream repository
HDci.yml49 repository: aws/aws-iot-device-sdk-embedded-C
172 repository: awslabs/git-secrets
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/cmock/
HDproject.yml1 # Taken from amazon-freertos repository
HDcoverage.cmake1 # Taken from amazon-freertos repository
HDcreate_test.cmake1 # Taken from amazon-freertos repository
/FreeRTOS-Plus-TCP-v3.1.0/test/Coverity/
HDCMakeLists.txt24 set( MODULE_ROOT_DIR ${__MODULE_ROOT_DIR} CACHE INTERNAL "FreeRTOS-Plus-TCP repository root." )
HDREADME.md62 …If you find a way around it, please help us fix this by creating a pull-request in this repository.
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/
HDprepare.py70 repository. This assumption is violated if header files live in
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/
HDCMakeLists.txt23 set( MODULE_ROOT_DIR ${__MODULE_ROOT_DIR} CACHE INTERNAL "FreeRTOS-Plus-TCP repository root." )