Small improvements to searchspaces and simulation mode

fjwillemsen commented 7 months ago

This pull request solves various small issues regarding search spaces and simulation mode:

The constraint parser now works correctly when round brackets surround a restriction.
Fixed an issue where the automatically added check that the product of block_sizes does not exceed max_threads was not added back to the restrictions, which were later rechecked for each configuration if check_restrictions is enabled, causing a discrepancy.
Constraints can now also be evaluated from a tuple combination by the check_restrictions function.
An empty tuple is added for unknown parameters of ignored restrictions.
The MinProd constraint was added to the conversion function for backwards compatibility.

sonarcloud[bot] commented 6 months ago

Quality Gate passed

benvanwerkhoven commented 6 months ago

Thanks!