Tobias Reinhard 1e2acf6139 Linked const pointer rewrite to filed VeriFast issue 333.		2022-11-13 14:35:02 -05:00
..
custom_build_scripts_RP2040	Linked const pointer rewrite to filed VeriFast issue 333.	2022-11-13 14:35:02 -05:00
demos	Update SMP demo submodule.	2022-10-14 13:10:53 -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	Added missing task-ISR lock invariant to post condition of acquision lemma.	2022-11-11 15:07:01 -05:00
proof_setup	Altered config to ensure that we don't accidentally rely on a concrete small number of cores.	2022-11-07 14:34:54 -05:00
sdks	Dumped new version of pico sdk submodule.	2022-10-13 10:02:31 -04:00
.gitignore	Added preprocessing out dir to .gitignore.	2022-11-11 15:11:44 -05: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	Made config macros from FreeRTOSConfig.h available to VeriFast proof.	2022-11-04 16:16:08 -04:00