Skip to content

fix(verifier,codegen): obligate + guard @Int->@Nat narrowing at function return position (#758) - #983

Merged
aallan merged 4 commits into
release/v0.1.4from
fix/758-nat-return-obligation
Jul 10, 2026
Merged

fix(verifier,codegen): obligate + guard @Int->@Nat narrowing at function return position (#758)#983
aallan merged 4 commits into
release/v0.1.4from
fix/758-nat-return-obligation

review(983): WasmTrapError catches, boundary-safe WAT lookup, doc pre…

95b0820
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar