WebAssembly spec diffs

2.4.4. Rename current_memory -> memory.size 2.4.4. Rename grow_memory -> memory.grow 2.5.10. Mutable globals may be exported 2.5.11. Clarification that import names need not be unique 3.3.4.5. Rename current_memory -> memory.size 3.3.4.6. Rename grow_memory -> memory.grow 3.3.7.2. Clarification that get_global in a constant expression can only refer to imported globals 3.4.8.5. An exported global can be mutable 3.4.9.5. An imported global can be mutable 3.4.10. typo "For each data_i in module.data, the segment data_i must be valid" typo "For each export_i in module.exports, the segment export_i must be valid..." Some clarification of English spec text 4.3.2.9. typo in formal spec text. changed to "j_1 * j_2 - trunc(j_1 / j_2)" 4.3.3.6. typo in english text: "else return the result of dividing z_1 by z_2..." 4.3.3.18. fne returns 1 if either operand is NaN 4.4.1.2. typo: "unop_t" 4.4.1.3. typo: "binop_t(c_1, c_2)" 4.4.1.6. typo: "t_1.const c_1" 4.4.4.3. Rename current_memory -> memory.size 4.4.4.4. Rename grow_memory -> memory.grow 4.4.7.3. Allow host function divergence 4.5.3.2. typo: "s ⊕ { funcs funcinst }" 5.2.4. Fix utf8 encoding/decoding for 3- and 4-byte cases ("b_1 - 0xE0" and "b_1 - 0xF0", respectively) 5.4.4. Rename current_memory -> memory.size, Rename grow_memory -> memory.grow 6.5.5. Rename current_memory -> memory.size, Rename grow_memory -> memory.grow 6.3.3. typo: "c ≠ '"' ∧ c ≠ ''" 6.6.3. typo: "{locals id(param)} well-formed" 6.6.6.1. Clarify offset is set to 0 in abbreviation 6.6.7.1. Clarify offset is set to 0 in abbreviation 6.6.11. Move optional table index to abbreviation (6.6.11.1) 6.6.12. Move optional memory index to abbreviation (6.6.12.1) A.1.module_exports. typo: "...equals the length of externtype'" A.3.pop_ctrl. changed to pop ctrl stack after pop_opds (since pop_opd accesses ctrl[0]) A.3.validate. "case (if t) pop_opd(I32) ..." A.5. "every function invocation always evaluates to a result of the right type (if it does not trap or diverge)" A.5."Host Function Instances". Allow for host function divergence. Added A.6. Index of Types Added A.7. Index of Instructions Added A.8. Index of Semantic Rules