12 commits

Author	SHA1	Message	Date
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