Skip to content

Tags: conrad-watt/spec

Tags

opam-1.1.1

Toggle opam-1.1.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Add a test for non-treelike behavior of stack (WebAssembly#961)

We've recently found a bug in a WebAssembly library we've been working
with where we're mapping WebAssembly to a tree-like IR internally. The
way we parse into this representation, however, has a bug when the
function isn't itself tree-like but rather exibits properties that
exploit a stack machine. For example this isn't so straightforward to
represent in a tree-like fashion:

    (import "" "a" (func $foo))
    (import "" "b" (func $foo (result i32)))
    (func (result i32)
      call $b
      call $b
      call $a
      i32.xor)

The extra `call $a` in the middle is valid `WebAssembly` but needs
special treatment when converting to a more tree-like IR format. I
figured it'd be good to ensure there's a spec test covering this case as
we currently pass the suite of spec tests but still contain this bug!

list

Toggle list's commit message
[interpreter] Don't suppress deprecation warnings

opam-1.0.1

Toggle opam-1.0.1's commit message
[interpreter] Make deprecation warning non-fatal

opam-1.1

Toggle opam-1.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
[interpreter] Unify assert_result* assertions (WebAssembly#1104)

wg-1.0

Toggle wg-1.0's commit message
[spec] Fix header level (WebAssembly#1047)

wg-1.0.draft2

Toggle wg-1.0.draft2's commit message
Add commands to generate Working Draft

* `make WD-tar`: Generate the Working Draft tar file to submit
* `make WD-echidna`: Publish the Working Draft via Echidna

fpwd-gh-pages

Toggle fpwd-gh-pages's commit message
Marking gh-pages used for fPWD

master-fpwd

Toggle master-fpwd's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Fix a typo on landing page. (WebAssembly#692)

wg-1.0.draft1

Toggle wg-1.0.draft1's commit message
WebAssembly JS and Web integration spec in Bikeshed (WebAssembly#591)

* WebAssembly JS integraton spec in Bikeshed

Initial checkin, JS.bs is converted from JS.md with
updates to reference the current Wasm specification.

* Various cleanups/fixes:

- Ensure that not passing a maximum Memory size in the object will not
  create a maximum in Wasm.
- Clean up notes about object deduplication in instantiate.
- Refer to Promises guide everywhere.
- Remove duplicate buffer cloning.

* Improve threading

* Initial checkin of web interface

* Name WebAssembly CG as the editor (I'm not sure who should be editor)

* Fix formatting and queue instantiate(module) tasks appropriately

* Changes based on review from @domenic, @rossberg and @binji

* More changes from review by @domenic and @rossberg

* More changes from review

* Move

* More changes from review

- Formalize the process of getting a name for exported functions (including
  passing on the name of re-exported host functions)
- Link to ECMAScript bug for Memory detach behavior
- Some wording clarifications
- Extract out creation of a host function for clarity

* More precise wording for decoding success assertion

* Move specs to index.bs

* Respond to review feedback

* Respond to review from @annevk

* Respond to review from @lukewagner

opam-1.0

Toggle opam-1.0's commit message
[interpreter] Add missing dependency to install target (WebAssembly#588)