Tobias Reinhard
95440b41be
Added preprocessing log directory to .gitignore.
2022-10-14 15:25:17 -04:00
Tobias Reinhard
cf9b1e9aae
Preprocessing script replaces comments out line/file pragmas.
2022-10-14 15:22:57 -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
Tobias Reinhard
7d029778bf
Added scripts to build kernel and to preprocess tasks.c.
...
The scripts use the demo configuration for RP2040.
2022-10-14 13:23:37 -04:00
Tobias Reinhard
d7fff36a2b
Update SMP demo submodule.
2022-10-14 13:10:53 -04:00
Tobias Reinhard
a1a16c7dba
Dumped new version of pico sdk submodule.
2022-10-13 10:02:31 -04:00
Tobias Reinhard
21f9a95a10
Fixed proof setup include path
...
The include path contained some directories within the SMP demos FreeRTOS source tree (which is the official unaltered FreeRTOS repo). Updated the include path such that it points to our forked version of the FreeRTOS kernel repo.
2022-10-13 09:48:11 -04:00
Tobias Reinhard
c71025fda0
Added minimal example for VF bug involving testing for macro defines in headers.
2022-10-13 09:16:54 -04:00
Tobias Reinhard
8ef03612b5
Update pico sdk submodule to resolve VF parse errors.
2022-10-12 11:07:19 -04:00
Tobias Reinhard
497a23d2eb
Renamed VERIFAST_PROOF define into VERIFAST.
2022-10-11 15:32:57 -04:00
Tobias Reinhard
7f69232893
Resolved VF parse error in pico sdk's platform.h and deleted stub.
2022-10-11 15:26:00 -04:00
Tobias Reinhard
e652475628
vf start script now now uses pico sdk submodule for includes instead of system-wider pico sdk installation.
2022-10-11 15:14:03 -04:00
Tobias Reinhard
21457b6611
Added missing include flag in vf start script.
2022-10-11 15:10:20 -04:00
Tobias Reinhard
5995eb2ac4
Added Pico SDK repo as submodule.
2022-10-11 14:34:41 -04:00
Tobias Reinhard
bcde498313
Added FreeRTOS-SMP-Demos repo as submodule.
2022-10-11 14:32:14 -04:00
Tobias Reinhard
0c3f65d8ad
Setup environment for VeriFast proof and start script for vfide.
2022-10-11 12:20:41 -04:00
