Issues

• [spectec] Wasm 1.0: CVTOP typing accepts illegal conversion/operator combinations

  WebAssembly/spec#2302 · Filter by author lzy0505 opened on Oct 23, 2026
  1

• [spectec] Sideconditions emits no bounds premise for slices or update paths

  WebAssembly/spec#2301 · Filter by author davidads-Humanis-AIs opened on Oct 22, 2026
  3

• fmul is missing zero × finite nonzero cases

  WebAssembly/spec#2300 · by Filter by author davidads-Humanis-AIs was closed on Oct 22, 2026
  1

• SpecTec: Bi32/Bi64 use BuN; $cont excludes 0x80

  WebAssembly/spec#2298 · by Filter by author davidads-Humanis-AIs was closed on Oct 22, 2026
  1

• [spectec] Should Il.Eval reduce $utf8 calls?

  WebAssembly/spec#2297 · by Filter by author davidads-Humanis-AIs was closed on Oct 22, 2026
  1

• [interpreter] Binary decoder rejects heap type indices >= 2^31 as malformed

  WebAssembly/spec#2289 · by Filter by author kiranandcode was closed on Oct 21, 2026

• [interpreter] (memory 65536) aborts the interpreter with an uncaught SizeOverflow

  WebAssembly/spec#2288 · by Filter by author kiranandcode was closed on Oct 21, 2026

• [interpreter] Text lexer accepts surrogate escapes and crashes on escapes past U+10FFFF

  WebAssembly/spec#2287 · by Filter by author kiranandcode was closed on Oct 21, 2026

• [interpreter] exnref values get their tag's type, so casts give wrong results and stores crash

  WebAssembly/spec#2286 · by Filter by author kiranandcode was closed on Oct 21, 2026

• [spectec] SpecTec interpreter: array.new_data and array.init_data fail on arrays of v128

  WebAssembly/spec#2285 · by Filter by author kiranandcode was closed on Oct 22, 2026

• [spectec] Tstringchar excludes \u{E000}..\u{E7FF}

  WebAssembly/spec#2284 · by Filter by author kiranandcode was closed on Oct 21, 2026

• [interpreter] f32x4.relaxed_madd double-rounds through an f64 fma

  WebAssembly/spec#2283 · by Filter by author kiranandcode was closed on Oct 21, 2026

• [interpreter] f32 literals just above half the smallest subnormal round to zero

  WebAssembly/spec#2282 · by Filter by author kiranandcode was closed on Oct 21, 2026 · Duplicate
  1

• [interpreter] memory.grow on an i64 memory past 2^48 pages succeeds but allocates wrong amount (or crashes)

  WebAssembly/spec#2281 · by Filter by author kiranandcode was closed on Oct 21, 2026

• il2al: host function rules become two independent conditionals and ignore the new store s'

  WebAssembly/spec#2279 · Filter by author tamaroning opened on Oct 14, 2026
  6

• relaxed_trunc: the symbol R is not defined

  WebAssembly/spec#2269 · by Filter by author tamaroning was closed on Oct 9, 2026
  2

• NaN propagation: nans_N side condition and deterministic-profile sentence regressed

  WebAssembly/spec#2265 · by Filter by author tamaroning was closed on Oct 9, 2026
  2

• Spec interpreter/implementation discrepancy - a local with an invalid type and 0 count

  WebAssembly/spec#2258 · Filter by author alexcrichton opened on Oct 2, 2026
  4

• [js-api] A mutable global import allocates a const global before LinkError

  WebAssembly/spec#2253 · Filter by author chicoxyzzy opened on Sep 28, 2026

• [spectec] Wasm 1.0: $instantiate missing premises

  WebAssembly/spec#2245 · by Filter by author lzy0505 was closed on Oct 22, 2026

• [spec] Bugs / questions about VLOAD in Wasm 2.0

  WebAssembly/spec#2244 · by Filter by author zilinc was closed on Sep 8, 2026
  4

• Incorrect implementations of unreachable ref.as_non_null validation

  WebAssembly/spec#2235 · Filter by author tlively opened on Aug 28, 2026
  9

• العائله

  WebAssembly/spec#2230 · by Filter by author farajwahed11-alt was closed on Aug 21, 2026 · Duplicate
  2

• [spectec] Incorrect front-end elaboration

  WebAssembly/spec#2227 · by Filter by author zilinc was closed on Sep 3, 2026

• [spectec] Wasm 1.0: Missing bounds check on successful store rules

  WebAssembly/spec#2222 · by Filter by author lzy0505 was closed on Sep 1, 2026
  2