Searched refs:main (Results 1 – 21 of 21) sorted by relevance
31 from make_common_makefile import main as make_common_file32 from make_configuration_directories import main as process_configurations33 from make_proof_makefiles import main as make_proof_files
29 def main(): function48 main()
154 def main(): function163 main()
267 def main(): function313 main()
235 def main(): function250 main()
406 def main(): function416 main()
64 def main(): function74 main()
4 …ory provides a [CMake](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/test/Coverity/CMake…5 file and [configuration files](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/tree/main/test/Coverit…12 see the [MISRA.md](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/MISRA.md) file.59 …cation outlined [here](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/MISRA.md#rule-813).…
14 int main() in main() function
44 check_c_source_compiles("int main() { return 0; }" PCAP_LINKS_SOLO)52 check_c_source_compiles("int main() { return 0; }" PCAP_NEEDS_THREADS)
4 …binations, see [History.txt](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/History.txt) .70 The demos can be found on [this page](https://github.com/FreeRTOS/FreeRTOS/tree/main/FreeRTOS-Plus/…75 New IPv6 WinSim Demo can be found on [this page](https://github.com/FreeRTOS/FreeRTOS/tree/main/Fre…
4 …ed Guide (found [here](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/GettingStarted.md))…9 …der [MISRA Deviations](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/MISRA.md). The libr…12 …ted Guide (found [here](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/GettingStarted.md))13 …ject (found in [this directory](https://github.com/FreeRTOS/FreeRTOS/tree/main/FreeRTOS-Plus/Demo/…20 … bugs/feature request](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/.github/CONTRIBUTIN…46 Add the following into your project's main or a subdirectory's `CMakeLists.txt`:
229 GIT_TAG main
9 Additionally, [MISRA configuration file](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/te…
9 …(Reference: https://github.com/FreeRTOS/FreeRTOS/tree/main/FreeRTOS-Plus/Demo/FreeRTOS_Plus_TCP_IP…
4 The main stubs in this proof deal with buffer management, which assume
16 Common/main.c
109 int main( void ) in main() function
82 Common/main.c
66 /* Style of the "Return to main page" link that appears in the header. */
1120 # is part of the input, its contents will be placed on the main page1426 # documentation will contain a main index with vertical navigation menus that1547 # (YES) or that it should be included in the main .chm file (NO).
