spec
https://github.com/webassembly/spec
WebAssembly
WebAssembly specification, reference interpreter, and test suite.
Triage Issues!
When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.
Triage Docs!
Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.
WebAssembly not yet supported3 Subscribers
Add a CodeTriage badge to spec
Help out
- Issues
- [spectec] Backport missing instantiation checks to Wasm 1.0/2.0 specs
- [spectec] Wasm 1.0: `$instantiate` missing premises
- Remove pop_num from the validation algorithm
- [js-api] Accept anyref and funcref in ValueType and TableKind
- Incorrect implementations of unreachable `ref.as_non_null` validation
- test/relaxed_dot: add i16-intermediate overflow boundary cases
- [soundness] fix the frame rule again in instr_ok2
- Merge wide-arithmetic proposal into the specification
- [test] Add support for generating .any.js versions of the core tests
- [spectec] Missing and wrong side conditions in the middle-end
- Docs
- WebAssembly not yet supported