Skip to content

docs: SPEC for checked integer arithmetic in fallible bodies, and Q17 for the input encoding contract - #333

Merged
xzawed merged 2 commits into
mainfrom
docs/spec-checked-arithmetic
Sep 26, 2026
Merged

xzawed merged 2 commits into
mainfrom
docs/spec-checked-arithmetic

docs: SPEC-checked-arithmetic says literal-only overflow fails at run…

5b20fd3
Select commit
Loading
Failed to load commit list.