3 Commits

Include renames

Author	SHA1	Message	Date
mlemanczyk	ec69b1c406	Cleanup.	2023-10-21 17:26:35 +02:00
mlemanczyk	c20b252a6c	Cleanup. Hints and warnings either disabled or fixed. Typos fixed.	2023-07-01 17:07:16 +02:00
mlemanczyk	0961dc4f6b	Integral comparison benchmarks added	2023-06-24 00:50:50 +02:00