Keith Winstein

Results 185 comments of Keith Winstein

The documentation seems relatively clear about which proposals are supported (https://github.com/WebAssembly/wabt/?tab=readme-ov-file#supported-proposals). GC is not in there. The `--enable-gc` flag enables the in-development GC support which is currently partial... but there...

I don't use Windows myself, but I think this libcrypto stuff has been causing us enough trouble (on platforms that are maybe not as strong at versioning/managing dependencies) that we...

I'm a little confused by this -- the GCC manual says that 'r' is ["A register operand is allowed provided that it is in a general register."](https://gcc.gnu.org/onlinedocs/gcc/Simple-Constraints.html). The size of...

Sorry, I still don't understand this. Why is FORCE_READ relevant on a platform that clearly must use explicit software bounds-checks to enforce the memory bounds? That seems like the real...

Short answer: WABT's wasm2wat and wat2wasm generally enforce validitiy (they both assemble an IR in RAM, attempt to validate it, and fail the whole operation if validation fails). The `--no-check`...

The basic reason is to permit single-pass validation of the binary format. The DataCount section was added by the bulk-memory-operations proposal; it comes before the code section, which comes before...

WABT does not support the component model yet. You can use wasm-tools which also has a "wasm2wat" mode. On Sun, Sep 21, 2025, 7:33 PM novohool ***@***.***> wrote: > *novohool*...

Here is the previous discussion: https://github.com/WebAssembly/spec/issues/646

Cool! Can you add a test to https://github.com/WebAssembly/wabt/tree/main/test/wasm2c/spec-multi-output that exercises this please? I'm not sure we have anything that uses data segments, much less multiple ones.

I don't know if my piping up here is helpful, so please feel free to ignore, but it seems like maybe all parties could live with a compromise where `wit-component`...