Search results

Fragmentation in SparseBytes caused by replaceAtZ rule

enhancement

Status: Open.

#742 In runtimeverification/wasm-semantics;

· bbyalcinkaya opened on Nov 24, 2025

Excluded Proof Tests from CI Due to Failures

bug

Status: Open.

#718 In runtimeverification/wasm-semantics;

· bbyalcinkaya opened on Mar 14, 2025

Lost stack values when entering a loop

Status: Open.

#678 In runtimeverification/wasm-semantics;

· gtrepta opened on Jul 16, 2024

Function signatures aren't available during Text2Abstract on function definitions

Status: Open.

#663 In runtimeverification/wasm-semantics;

· gtrepta opened on Jun 27, 2024

Improve tokenisation support

Status: Open.

#662 In runtimeverification/wasm-semantics;

· gtrepta opened on Jun 26, 2024

Handle global.get in element segments

Status: Open.

#660 In runtimeverification/wasm-semantics;

· gtrepta opened on Jun 26, 2024

Upstream WebAssembly specific features from Kasmer

Status: Open.

#646 In runtimeverification/wasm-semantics;

· ehildenb opened on Jun 12, 2024

Seeking Alternatives for Outdated py-wasm Package

Status: Open.

#524 In runtimeverification/wasm-semantics;

· bbyalcinkaya opened on Nov 13, 2023

Build abstract Wasm as a separate subdefinition from text+test Wasm

enhancement

Status: Open.

#385 In runtimeverification/wasm-semantics;

· hjorthjort opened on Nov 17, 2020

Give native support to host function imports

Status: Open.

#344 In runtimeverification/wasm-semantics;

· hjorthjort opened on May 26, 2020

Unsupported test files

Status: Open.

#323 In runtimeverification/wasm-semantics;

· ehildenb opened on Apr 21, 2020

Function #set is not actually total

bug

Status: Open.

#318 In runtimeverification/wasm-semantics;

· ehildenb opened on Apr 21, 2020