4 Commits

Include renames

Author	SHA1	Message	Date
mlemanczyk	39d63d1d65	<< protected with "checked", where needed.	2023-10-07 14:04:33 +02:00
mlemanczyk	c20b252a6c	Cleanup. Hints and warnings either disabled or fixed. Typos fixed.	2023-07-01 17:07:16 +02:00
mlemanczyk	52dc663ada	Several hints removed & code cleaned up.	2023-05-01 17:45:03 +02:00
mlemanczyk	2d7e62df72	Benchmarks mostly reorganized & cleaned up. Simplified for re-runs.	2023-04-11 16:42:06 +02:00