len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-14 07:35:11 -05:00
Code Issues Projects Releases Packages Wiki Activity
2988 commits 3 branches 99 tags 215 MiB
Commit graph

5 commits

Author SHA1 Message Date
Tobias Reinhard
6af1321b43 VF rewrite: Delete attributes. 2022-10-21 12:27:58 -04:00
Tobias Reinhard
da0c8ffb76 Replaced problematic system headers by VeriFast headers. 2022-10-21 11:44:53 -04:00
Tobias Reinhard
dfce64bd18 Dump preprocessed tasks.c file. 2022-10-21 11:18:28 -04:00
Tobias Reinhard
8ca47345d4 Added script to rewrite preprocessed source file into a format VeriFast understands. 2022-10-14 16:19:50 -04:00
Tobias Reinhard
24130f5334 Added VF startup script for preprocessed tasks.c. 
The script preprocesses task.c according to the RP2040 configuration and launches verifast.
 2022-10-14 13:37:30 -04:00