Code

Update dependency: deps/k_release#722

Code

Merged

automergerpr-permission-manager[bot] merged 19 commits intomasterruntimeverification/wasm-semantics:masterfrom

_update-deps/runtimeverification/kruntimeverification/wasm-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboard

Apr 17, 2025

Commits

Commits on Mar 24, 2025

• deps/k_release: Set Version 7.1.232

  rv-auditor

  committed
  978e711

  Copy full SHA for 978e711

• Set Version: 0.1.125

  rv-auditor

  committed
  990a8c6

  Copy full SHA for 990a8c6

• pykwasm/: sync poetry files 7.1.232

  rv-auditor

  committed
  0355ed0

  Copy full SHA for 0355ed0

• flake.{nix,lock}: update Nix derivations

  rv-auditor

  committed
  9f9a24a

  Copy full SHA for 9f9a24a

Commits on Apr 3, 2025

• deps/k_release: Set Version 7.1.235

  rv-auditor

  committed
  1049e14

  Copy full SHA for 1049e14

• pykwasm/: sync poetry files 7.1.235

  rv-auditor

  committed
  e207bd9

  Copy full SHA for e207bd9

• flake.{nix,lock}: update Nix derivations

  rv-auditor

  committed
  b0ff069

  Copy full SHA for b0ff069

Commits on Apr 7, 2025

• deps/k_release: Set Version 7.1.236

  rv-auditor

  committed
  299ff42

  Copy full SHA for 299ff42

• pykwasm/: sync poetry files 7.1.236

  rv-auditor

  committed
  e73cb83

  Copy full SHA for e73cb83

• flake.{nix,lock}: update Nix derivations

  rv-auditor

  committed
  04bb83a

  Copy full SHA for 04bb83a

Commits on Apr 16, 2025

• deps/k_release: Set Version 7.1.237

  rv-auditor

  committed
  730bb59

  Copy full SHA for 730bb59

• pykwasm/: sync poetry files 7.1.237

  rv-auditor

  committed
  4b4f51d

  Copy full SHA for 4b4f51d

• flake.{nix,lock}: update Nix derivations

  rv-auditor

  committed
  330b269

  Copy full SHA for 330b269

• deps/k_release: Set Version 7.1.238

  rv-auditor

  committed
  542d200

  Copy full SHA for 542d200

• pykwasm/: sync poetry files 7.1.238

  rv-auditor

  committed
  5e4a20f

  Copy full SHA for 5e4a20f

• flake.{nix,lock}: update Nix derivations

  rv-auditor

  committed
  af1276e

  Copy full SHA for af1276e

Commits on Apr 17, 2025

• deps/k_release: Set Version 7.1.240

  rv-auditor

  committed
  f6e972d

  Copy full SHA for f6e972d

• pykwasm/: sync poetry files 7.1.240

  rv-auditor

  committed
  5ad3894

  Copy full SHA for 5ad3894

• flake.{nix,lock}: update Nix derivations

  rv-auditor

  committed
  6d6d514

  Copy full SHA for 6d6d514