Skip to content
Switch branches/tags

Latest commit

* Addressed the minor review comments.
* Minor corrections, notation readability, "control" prose in block contexts.
  - Switching to "S ⊢ ..." notation for premises of typing rules for administrative instructions, to match the spec document.
  - Readability: Changing quotes to number indices, and removing unnecessary explicit exponent variables.
  - Suggesting prose for the new constructs in block contexts, connoting the new structured administrative instructions with control frame opcodes.

Git stats


Failed to load latest commit information.

Build Status

Exception Handling Proposal for WebAssembly

This repository holds a proposal for adding exception handling to WebAssembly.

Original README from upstream repository follows...


This repository holds a prototypical reference implementation for WebAssembly, which is currently serving as the official specification. Eventually, we expect to produce a specification either written in human-readable prose or in a formal specification language.

It also holds the WebAssembly testsuite, which tests numerous aspects of conformance to the spec.

View the work-in-progress spec at

At this time, the contents of this repository are under development and known to be "incomplet and inkorrect".

Participation is welcome. Discussions about new features, significant semantic changes, or any specification change likely to generate substantial discussion should take place in the WebAssembly design repository first, so that this spec repository can remain focused. And please follow the guidelines for contributing.


For citing WebAssembly in LaTeX, use this bibtex file.