Issues

• Fragmentation in SparseBytes caused by replaceAtZ rule

  enhancement
  runtimeverification/wasm-semantics#742 · Filter by author bbyalcinkaya opened on Nov 24, 2025

• Excluded Proof Tests from CI Due to Failures

  bug
  runtimeverification/wasm-semantics#718 · Filter by author bbyalcinkaya opened on Mar 14, 2025

• Lost stack values when entering a loop

  runtimeverification/wasm-semantics#678 · Filter by author gtrepta opened on Jul 16, 2024

• Function signatures aren't available during Text2Abstract on function definitions

  runtimeverification/wasm-semantics#663 · Filter by author gtrepta opened on Jun 27, 2024

• Improve tokenisation support

  runtimeverification/wasm-semantics#662 · Filter by author gtrepta opened on Jun 26, 2024

• Handle global.get in element segments

  runtimeverification/wasm-semantics#660 · Filter by author gtrepta opened on Jun 26, 2024

• Upstream WebAssembly specific features from Kasmer

  runtimeverification/wasm-semantics#646 · Filter by author ehildenb opened on Jun 12, 2024
  

• Seeking Alternatives for Outdated py-wasm Package

  runtimeverification/wasm-semantics#524 · Filter by author bbyalcinkaya opened on Nov 13, 2023

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

  enhancement
  runtimeverification/wasm-semantics#385 · Filter by author hjorthjort opened on Nov 17, 2020

• Give native support to host function imports

  runtimeverification/wasm-semantics#344 · Filter by author hjorthjort opened on May 26, 2020
  2

• Unsupported test files

  runtimeverification/wasm-semantics#323 · Filter by author ehildenb opened on Apr 21, 2020

• Function #set is not actually total

  bug
  runtimeverification/wasm-semantics#318 · Filter by author ehildenb opened on Apr 21, 2020

• Make functions in numeric.md total functional

  runtimeverification/wasm-semantics#317 · Filter by author ehildenb opened on Apr 21, 2020
  3

• Get rid of duplicated lemmas for commutative operations

  enhancementgood first issue
  runtimeverification/wasm-semantics#315 · Filter by author hjorthjort opened on Apr 20, 2020

• Error parsing a wat file generated by wasm2wat

  bug
  runtimeverification/wasm-semantics#288 · Filter by author ehildenb opened on Jan 23, 2020

• call causes state splitting

  runtimeverification/wasm-semantics#273 · Filter by author hjorthjort opened on Dec 19, 2019
  8

• Upstream generic Int arithmetic lemmas to domains.k module INT-SYMBOLIC

  runtimeverification/wasm-semantics#262 · Filter by author ehildenb opened on Nov 20, 2019

• Project Proposal

  runtimeverification/wasm-semantics#234 · Filter by author ehildenb opened on Oct 23, 2019

• Meeting Notes

  notes
  runtimeverification/wasm-semantics#231 · Filter by author ehildenb opened on Oct 23, 2019
  12

• Interesting properties to prove

  runtimeverification/wasm-semantics#219 · Filter by author hjorthjort opened on Sep 24, 2019

• Number support; hex format, underscore separation

  runtimeverification/wasm-semantics#186 · Filter by author MrChico opened on Aug 15, 2019

• Machine integers or "True" integers?

  runtimeverification/wasm-semantics#184 · Filter by author MrChico opened on Aug 15, 2019
  2

• List of unimplemented functionality for conformance tests

  runtimeverification/wasm-semantics#150 · Filter by author ehildenb opened on Jul 16, 2019
  9

• Program fail with a large list.

  Not Urgent
  runtimeverification/wasm-semantics#145 · Filter by author QianyangPeng opened on Jul 12, 2019

• Valstack Bug

  bug
  runtimeverification/wasm-semantics#140 · Filter by author QianyangPeng opened on Jul 10, 2019
  5