diff options
| author | Luke Wagner <mail@lukewagner.name> | 2015-04-30 21:48:25 -0500 |
|---|---|---|
| committer | Luke Wagner <mail@lukewagner.name> | 2015-05-01 16:16:52 -0500 |
| commit | f7114571dae9cd265a57258955e7e883d6a67f09 (patch) | |
| tree | de8c68a957b648851f1791ca6e00a015e9a2b812 | |
| parent | 05436f1359a3d16559ee4032c9fb5bc98ab7ded4 (diff) | |
| download | nanowasm-design-f7114571dae9cd265a57258955e7e883d6a67f09.tar.gz | |
Add links to new docs in v1 doc
| -rw-r--r-- | V1.md | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -5,11 +5,10 @@ Minimum Viable Product, basically on par with [asm.js](http://asmjs.org/) in ter of functionality. This means that there are important features we *know* we want and need, but are post-v.1; these are in a separate [essential post-v.1 features doc](EssentialPostV1Features.md). -This document explains the contents of v.1 at a high-level. There are also separate docs for -low-level and precise descriptions of: - * [binary encoding](TODO.md) - * [text assembly language](TODO.md) - * [opcode semantics](TODO.md) +This document explains the contents of v.1 at a high-level. There are also separate docs with more +precise descriptions of: + * the [AST semantics](AstSemantics.md) + * the [binary encoding](BinaryEncoding.md) ## Module structure * At the top level, a module is ELF-like: a squence of sections which declare their type and byte-length. @@ -38,7 +37,7 @@ low-level and precise descriptions of: [relooping](http://mozakai.blogspot.com/2012/05/reloop-all-blocks.html) algorithm. * The [signature-restricted proper tail-call](https://github.com/WebAssembly/spec/blob/master/EssentialPostV1Features.md#signature-restricted-proper-tail-calls) feature would allow efficient compilation of irreducible control flow. - * For specific details about the nodes of the AST, see the [opcode semantics](TODO.md). + * See the [AST Semantics](AstSemantics.md) for descriptions of individual AST nodes. ## Binary format * This is the format natively decoded by the browser. @@ -55,6 +54,7 @@ low-level and precise descriptions of: decoding the binary format is about 23x faster than parsing the corresponding asm.js source (using [this demo](https://github.com/lukewagner/AngryBotsPacked), comparing *just* parsing in SpiderMonkey (no validation, IR generation) to *just* decoding in the polyfill (no asm.js code generation). +* See the [Binary Encoding](BinaryEncoding.md) for more precise description. ## Text format * The purpose of this format is to support: |