Skip to content

Restore reduction size predictions with source-based upper bounds - #1185

Draft
isPANN wants to merge 2 commits into
fix/remaining-ilp-overheadfrom
fix/remaining-parameter-contracts
Draft

isPANN wants to merge 2 commits into
fix/remaining-ilp-overheadfrom
fix/remaining-parameter-contracts

Propagate numeric bit bounds and preserve meaningful parameters

09b70f2
Select commit
Loading
Failed to load commit list.