Update dependency: deps/kwasm_release - #118

Open

rv-jenkins wants to merge 5 commits into

_update-deps/runtimeverification/wasm-semantics

Commits on Aug 12, 2026

deps/kwasm_release: Set Version 0.1.159

rv-auditor
authored and
bbyalcinkaya
committed
71a105d
pyproject.toml, uv.lock: Update pykwasm version 0.1.156

rv-auditor
authored and
bbyalcinkaya
committed
14d3d08
deps/k_release: sync release file version 7.1.329

rv-auditor
authored and
bbyalcinkaya
committed
80ace98
flake.{nix,lock}: update Nix derivations

rv-auditor
authored and
bbyalcinkaya
committed
d77ff39
fix src/komet/proof.py:86: error: Too many values to unpack (2 expected, 3 provided)
bbyalcinkaya
committed
6cf18b1