Issues

• README says unit tests cover all Wasm instructions; 48 of 150 operations have no dedicated unit test (by name)

  nasa/spacewasm#209 · Filter by author sucloudflare opened on Sep 29, 2026

• Differential validator oracle tests never run: no CI job enables the differential feature

  nasa/spacewasm#206 · Filter by author aton-of-data opened on Sep 18, 2026

• Daily Miri gate exits 0 when its test runner is killed: "0 / 3 tests passed" and a green job

  nasa/spacewasm#204 · Filter by author aton-of-data opened on Sep 18, 2026

• get_func_ref / get_global_ref narrow a validated index with as u16

  nasa/spacewasm#201 · Filter by author 0xGeorgii opened on Sep 14, 2026
  5

• C API: reading and writing guest memory outside a host call

  nasa/spacewasm#193 · Filter by author kadircanyildirm-crypto opened on Sep 3, 2026
  13

• SIMD

  Post-v1.0WebAssembly Proposal
  Feature

  nasa/spacewasm#187 · Filter by author Kronos3 opened on Aug 29, 2026
  1

• Multi Memory

  Post-v1.0WebAssembly Proposal
  Feature

  nasa/spacewasm#83 · Filter by author Kronos3 opened on Jul 14, 2026
  1

  

• Performance

  Post-v1.0
  Feature

  nasa/spacewasm#62 · Filter by author Kronos3 opened on Jul 11, 2026
  3

• Integrate Kani into Code Coverage CI

  CIFormal Verification
  Task

  nasa/spacewasm#60 · Filter by author Kronos3 opened on Jul 11, 2026
  4

  

• Bulk Memory Operations

  Post-v1.0WebAssembly Proposal
  Feature

  nasa/spacewasm#54 · Filter by author Kronos3 opened on Jul 10, 2026
  

• Fuzz 32-bit targets

  CIfuzz
  Task

  nasa/spacewasm#39 · Filter by author Kronos3 opened on Jul 10, 2026
  1

• OSS Fuzz

  CIfuzz
  Task

  nasa/spacewasm#9 · Filter by author Kronos3 opened on Jun 24, 2026
  1