This repository is a clone of WebAssembly/spec. It is meant for discussion, prototype specification, and implementation of a proposal to add support for wide arithmetic instructions for WebAssembly. This proposal is currently at phase 3 in the proposals process.

• See the overview for a high-level summary and rationale of the proposal.

• See the modified spec for the formalization of this proposal. Notably...

  • new abstract syntax
  • new binary opcodes (scroll down)
  • new text opcodes (scroll down)
  • new validation
  • new execution
  • new helper functions

• See the diff from the upstream spec for a diff-style view of this proposal.