len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-20 10:35:14 -05:00
Code Issues Projects Releases Packages Wiki Activity
FreeRTOS-Kernel/verification/verifast
History
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
..
custom_build_scripts_RP2040 Added VF startup script for preprocessed tasks.c. 2022-10-14 13:37:30 -04:00
demos Update SMP demo submodule. 2022-10-14 13:10:53 -04:00
preprocessed_files Added VF startup script for preprocessed tasks.c. 2022-10-14 13:37:30 -04:00
problems Added minimal example for VF bug involving testing for macro defines in headers. 2022-10-13 09:16:54 -04:00
proof_setup Renamed VERIFAST_PROOF define into VERIFAST. 2022-10-11 15:32:57 -04:00
sdks Dumped new version of pico sdk submodule. 2022-10-13 10:02:31 -04:00
start-vfide--original.sh Added VF startup script for preprocessed tasks.c. 2022-10-14 13:37:30 -04:00
start-vfide--preprocessed.sh Added VF startup script for preprocessed tasks.c. 2022-10-14 13:37:30 -04:00