4 Commits

Author	SHA1	Message	Date
Eric-Paul Ickhorn	dd5f43fd7f	Moved auxiliary functions to a new module	2023-11-29 19:17:00 +01:00
Eric-Paul Ickhorn	0b0b1d227f	Changed build.bash as needed due to the directory renaming	2023-11-28 22:27:17 +01:00
Eric-Paul Ickhorn	de80fc7b79	Fixed a bug with compiling more than one check and added another check	2023-11-28 15:35:19 +01:00
Eric-Paul Ickhorn	6e349ea298	A little bit of infrastructure: a build script and a gitignore	2023-11-26 21:00:32 +01:00