15 commits

Author	SHA1	Message	Date
Tobias Reinhard	47e6fa7398	Resolved VF parse errors: const pointers.	2022-10-22 14:02:04 -04:00
Tobias Reinhard	663ea1fb77	Resolved VF parse errors. ... - const pointers - inline assembler - statements blocks consisting of multiple elements used in expression contexts, e.g., `({e1 e2;})` - multiple pointer declarations to user-defined types in single line, i.e., `A *p1, *p2;`	2022-10-22 13:52:12 -04:00
Tobias Reinhard	55cfee8798	Resolved VF parse error: VF does not support const pointers.	2022-10-22 13:28:40 -04:00
Tobias Reinhard	785723ff45	Replaced asm macros by failing assertion.	2022-10-22 13:25:53 -04:00
Tobias Reinhard	342ab6463c	Resolved VF parse error: VF does not support const pointers.	2022-10-22 13:00:58 -04:00
Tobias Reinhard	eeae596776	Replaced asm macro by failing assertion.	2022-10-22 12:39:54 -04:00
Tobias Reinhard	75fa197ac9	Fixed include paths to submodules in preprocessing script.	2022-10-22 12:01:17 -04:00
Tobias Reinhard	ea00b82275	Simplified paths in preprocessing script	2022-10-22 11:56:03 -04:00
Tobias Reinhard	83d8831729	Updated include paths in preprocessing script to ensure that only direct submodules as referenced.	2022-10-22 11:05:09 -04:00
Tobias Reinhard	81bb9d6b1b	Delete inline directives	2022-10-21 12:31:19 -04:00
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