Code

Update dependency: deps/k_release#568

Code

Merged

rv-jenkins merged 28 commits intomasterruntimeverification/wasm-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/wasm-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardFeb 5, 2024

+91-91

Commits

Commits on Jan 26, 2024

• deps/k_release: Set Version 6.1.98

  

  devops

  committed
  aa6b275

  Copy full SHA for aa6b275

• deps/k: sync submodule v6.1.98

  

  devops

  committed
  e5c989a

  Copy full SHA for e5c989a

Commits on Jan 29, 2024

• deps/k_release: Set Version 6.1.100

  

  devops

  committed
  ed87fb5

  Copy full SHA for ed87fb5

• deps/k: sync submodule v6.1.100

  

  devops

  committed
  16596f7

  Copy full SHA for 16596f7

• pykwasm/: sync poetry files v0.1.599

  

  devops

  committed
  6aaf19e

  Copy full SHA for 6aaf19e

Commits on Jan 30, 2024

• deps/k_release: Set Version 6.1.101

  

  devops

  committed
  7e0ab50

  Copy full SHA for 7e0ab50

• deps/k: sync submodule v6.1.101

  

  devops

  committed
  c8c2671

  Copy full SHA for c8c2671

• deps/k_release: Set Version 6.1.103

  

  devops

  committed
  d730fa8

  Copy full SHA for d730fa8

• deps/k: sync submodule v6.1.103

  

  devops

  committed
  a2e9f47

  Copy full SHA for a2e9f47

• deps/k_release: Set Version 6.1.104

  

  devops

  committed
  d506a96

  Copy full SHA for d506a96

• deps/k: sync submodule v6.1.104

  

  devops

  committed
  5b265ee

  Copy full SHA for 5b265ee

Commits on Jan 31, 2024

• deps/k_release: Set Version 6.1.105

  

  devops

  committed
  05f5a58

  Copy full SHA for 05f5a58

• deps/k: sync submodule v6.1.105

  

  devops

  committed
  b30afa7

  Copy full SHA for b30afa7

• pykwasm/: sync poetry files v0.1.599

  

  devops

  committed
  5af63ef

  Copy full SHA for 5af63ef

• deps/k_release: Set Version 6.1.106

  

  devops

  committed
  03b9aba

  Copy full SHA for 03b9aba

• deps/k: sync submodule v6.1.106

  

  devops

  committed
  4aea7ef

  Copy full SHA for 4aea7ef

• deps/k_release: Set Version 6.2.0

  

  devops

  committed
  2b80f51

  Copy full SHA for 2b80f51

• deps/k: sync submodule v6.2.0

  

  devops

  committed
  f83fcfa

  Copy full SHA for f83fcfa

Commits on Feb 1, 2024

• deps/k_release: Set Version 6.2.1

  

  devops

  committed
  f19a349

  Copy full SHA for f19a349

• deps/k: sync submodule v6.2.1

  

  devops

  committed
  b5960f9

  Copy full SHA for b5960f9

• deps/k_release: Set Version 6.2.2

  

  devops

  committed
  1062f15

  Copy full SHA for 1062f15

• deps/k: sync submodule v6.2.2

  

  devops

  committed
  1d8b72c

  Copy full SHA for 1d8b72c

Commits on Feb 4, 2024

• deps/k_release: Set Version 6.2.3

  

  devops

  committed
  4afce87

  Copy full SHA for 4afce87

• deps/k: sync submodule v6.2.3

  

  devops

  committed
  06fb246

  Copy full SHA for 06fb246

• pykwasm/: sync poetry files v0.1.599

  

  devops

  committed
  89b3cc2

  Copy full SHA for 89b3cc2

Commits on Feb 5, 2024

• deps/k_release: Set Version 6.2.4

  

  devops

  committed
  dd73b00

  Copy full SHA for dd73b00

• deps/k: sync submodule v6.2.4

  

  devops

  committed
  bfe0c3f

  Copy full SHA for bfe0c3f

• Merge branch 'master' into _update-deps/runtimeverification/k

  virgil-serbanuta

  authored
  543b6bd

  Copy full SHA for 543b6bd