Skip to content

A proposal for introducing freezable GC/global values.

License

Notifications You must be signed in to change notification settings

WebAssembly/frozen-values

Repository files navigation

CI for specs CI for interpreter & tests

Frozen Values Proposal for WebAssembly

This repository is a clone of github.com/WebAssembly/spec/. It is meant for discussion, prototype specification and implementation of a proposal to add frozen values support to WebAssembly.

  • See the overview for a high-level summary and rationale of the proposal. Note: the concrete details here are out of date.

  • See the modified spec for the completed spec for the first-stage proposal described in MVP.md.

This repository is based on the GC proposal as a baseline and includes all respective changes.

Original README from upstream repository follows...

spec

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 webassembly.github.io/spec.

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.

citing

For citing WebAssembly in LaTeX, use this bibtex file.