Skip to content

Fix bounded integer encoding with overflow checking - #1015

Draft
jcp19 wants to merge 82 commits into
claude/improve-int-type-inference-UFkBefrom
claude/integer-type-semantics-RUVTQ
Draft

Fix bounded integer encoding with overflow checking#1015
jcp19 wants to merge 82 commits into
claude/improve-int-type-inference-UFkBefrom
claude/integer-type-semantics-RUVTQ

Merge branch 'claude/improve-int-type-inference-UFkBe' (PR #1083) int…

761f626
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar