[WASM] PR transition for WebAssembly Core Specification

[ericprud]

Document title, URLs, estimated publication date

target: https://www.w3.org/TR/2019/CR-wasm-core-1-20190919/
source: CR with manual edits.
to be published with: JavaScript Interface and WebAPI

Abstract

This document describes version 1.0 of the core WebAssembly standard, a safe, portable, low-level code format designed for efficient execution and compact representation.

Part of a collection of related documents: the Core WebAssembly Specification, the WebAssembly JS Interface, and the WebAssembly Web API.

Status

At the time of publication, the WebAssembly language was already fully supported in four major browsers. Progress can be monitored in the Web Platform Tests. The WebAssembly Community Group is continuing to add features to WebAssembly.

Link to group's decision to request transition

https://hackmd.io/WTWiMvkRQJ2wkg06E1pywQ (should be echoed elsewhere, will locate)

Changes

• Updated normative reference to IEEE 754-2019

Requirements satisfied

N/A

Dependencies met (or not)

no changes to dependencies
normative reference to IEEE 754-2019 follows publication of that document

Wide Review

Wide implementation and testing preceded publication as CR. See "Wide Review" in CR transition

Issues addressed

• The latest js-api change is present in the CR document
• The Upgrade to IEEE 754-2019 (#1050) just updates the IEE754 reference to the most recent spec -- doesn't change implementation

Formal Objections

None since CR. See "Formal Objections" in CR transition request for earlier disputes that did not result in an objection.

Implementation

exit criteria: 2+ impls of everything in [WPT/wasm])https://wpt.fyi/results/wasm) where an impl passes all positive tests. As anticipated in the CR status, some impls result in different failures that those expected by negative tests.

Patent disclosures

https://www.w3.org/2004/01/pp-impl/101196/status#current-disclosures

[swickr]

Transition approved.