Code

Update dependency: deps/kwasm_release#51

Code

Merged

automergerpr-permission-manager[bot] merged 15 commits intomasterruntimeverification/komet:masterfrom _update-deps/runtimeverification/wasm-semanticsruntimeverification/komet:_update-deps/runtimeverification/wasm-semanticsCopy head branch name to clipboardJan 10, 2025

+241-165

Commits

Commits on Dec 4, 2024

• deps/kwasm_release: Set Version 0.1.116

  

  devops

  committed
  44dbc70

  Copy full SHA for 44dbc70

• Set Version: 0.1.46

  

  devops

  committed
  1636b0b

  Copy full SHA for 1636b0b

• Sync Poetry files 0.1.116

  

  devops

  committed
  a960d6b

  Copy full SHA for a960d6b

• deps/k_release: sync release file version 7.1.182

  

  devops

  committed
  fa5656b

  Copy full SHA for fa5656b

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

  

  devops

  committed
  6a6d194

  Copy full SHA for 6a6d194

• Sync Poetry files 0.1.116

  

  devops

  committed
  1051dec

  Copy full SHA for 1051dec

• Sync Poetry files 0.1.116

  

  devops

  committed
  8b97a48

  Copy full SHA for 8b97a48

Commits on Dec 11, 2024

• deps/kwasm_release: Set Version 0.1.117

  

  devops

  committed
  5bf3571

  Copy full SHA for 5bf3571

• Sync Poetry files 0.1.117

  

  devops

  committed
  2e181ec

  Copy full SHA for 2e181ec

• deps/k_release: sync release file version 7.1.186

  

  devops

  committed
  9b5102e

  Copy full SHA for 9b5102e

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

  

  devops

  committed
  e79d0fb

  Copy full SHA for e79d0fb

Commits on Jan 10, 2025

• Merge branch 'master' into _update-deps/runtimeverification/wasm-semantics

  bbyalcinkaya

  authored
  5415c57

  Copy full SHA for 5415c57

• Set Version: 0.1.50

  

  devops

  committed
  f1a1fe0

  Copy full SHA for f1a1fe0

• Sync Poetry files 0.1.117

  

  devops

  committed
  0184686

  Copy full SHA for 0184686

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

  

  devops

  committed
  d31cf23

  Copy full SHA for d31cf23