Skip to content

Merge PR #53: complete ISLE pipeline coverage #59

@avrabe

Description

@avrabe

Action

Merge PR #53 once CI is fully green (all 20 checks passing as of last check).

PR: #53

Summary of PR #53

9 commits achieving 100% ISLE pipeline coverage for all standard WebAssembly instructions:

  1. Memory index tracking for multi-memory support
  2. Fused optimizer relaxation for same-memory adapters
  3. F32/F64 constants + 8 float arithmetic ops
  4. F64 constant folding tests
  5. All 32 remaining float operations (unary, binary, comparison)
  6. Rust edition 2024 upgrade (MSRV 1.85)
  7. All 30 conversion operations (trunc, convert, demote/promote, reinterpret, trunc_sat)
  8. MemorySize/MemoryGrow + CallIndirect/BrTable (+ CallIndirect stack validation fix)
  9. Bulk memory ops (MemoryFill/MemoryCopy/MemoryInit/DataDrop)

Skip block reduced from 70+ instruction types to only Unknown opcodes.

CI was 20/20 passing at last check.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions