7 commits

Author	SHA1	Message	Date
Tobias Reinhard	c11a401b1b	Startup and preprocessing scripts don't rely on the current working directory anymore.	2022-12-10 17:36:49 -05:00
Tobias Reinhard	d945764528	Grouped preprocessor flags to make preprocessing command easier to read.	2022-12-09 15:43:14 -05:00
Tobias Reinhard	deee4a4141	Sorted include paths to make them easier readable.	2022-12-09 15:18:52 -05:00
Tobias Reinhard	4f71cead4a	Moved preprocessing step to separate shell script.	2022-12-09 15:13:47 -05:00
Tobias Reinhard	21992b6c34	Startup script expects paths to relevant directories as arguments instead of computing them itself.	2022-12-09 14:51:00 -05:00
Tobias Reinhard	dcbaf3863b	Preprocessing script prefers modified files in proof subdirectory over files in main source and header dir.	2022-12-09 10:35:20 -05:00
Tobias Reinhard	2e78ed5884	Renamed VeriFast proof direcotry to comply with structure of main FreeRTOS repository.	2022-12-09 09:47:27 -05:00