Skip to content

Compile proven unsigned addition and validate target bounds - #259

Merged
flyingrobots merged 4 commits into
mainfrom
feat/proven-unsigned-addition
Oct 19, 2026
Merged

Compile proven unsigned addition and validate target bounds#259
flyingrobots merged 4 commits into
mainfrom
feat/proven-unsigned-addition

Preserve unsigned widths through nested literal arithmetic

561981d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar