This repository is a clone of github.com/WebAssembly/spec/. It is meant for discussion, prototype specification and implementation of a proposal to relax the current dead code validation behaviour.

The overview contains a summary of the proposal.

The tail of the original repository's readme follows...

A formatted version of the spec is available here: webassembly.github.io/spec,

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.