3 Commits

Include renames

Author	SHA1	Message	Date
mlemanczyk	5fbd5bc20c	Small optimizations. Branches which we don't visit in runtime disabled. TODOs added.	2025-10-18 14:20:46 +02:00
mlemanczyk	43cf4a978f	Smaller optimizations. Division by zero fixed?	2025-10-17 14:18:49 +02:00
Marek Lemańczyk	70637c3fba	Add unbounded task scheduler for divisor testing	2025-10-17 11:26:28 +02:00