Code

Update dependency: deps/k_release#6

Code

Merged

rv-jenkins merged 41 commits intomasterruntimeverification/riscv-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/riscv-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardMay 24, 2024

+23-24

Commits

Commits on May 18, 2024

• deps/k_release: Set Version 7.0.71

  

  devops

  committed
  ce3d9f0

• Set Version: 0.1.5

  

  devops

  committed
  a1e9ff8

• pyproject.toml: sync pyk version 7.0.71

  

  devops

  committed
  ba5207c

Commits on May 21, 2024

• deps/k_release: Set Version 7.0.72

  

  devops

  committed
  f86cf3b

• pyproject.toml: sync pyk version 7.0.72

  

  devops

  committed
  106c659

• deps/k_release: Set Version 7.0.74

  

  devops

  committed
  84b2d50

• pyproject.toml: sync pyk version 7.0.74

  

  devops

  committed
  392d7c0

• deps/k_release: Set Version 7.0.75

  

  devops

  committed
  dedb518

• pyproject.toml: sync pyk version 7.0.75

  

  devops

  committed
  2242237

• deps/k_release: Set Version 7.0.76

  

  devops

  committed
  2278af4

• pyproject.toml: sync pyk version 7.0.76

  

  devops

  committed
  dd77313

• deps/k_release: Set Version 7.0.77

  

  devops

  committed
  9382dee

• pyproject.toml: sync pyk version 7.0.77

  

  devops

  committed
  91de355

• deps/k_release: Set Version 7.0.78

  

  devops

  committed
  20ae12f

• pyproject.toml: sync pyk version 7.0.78

  

  devops

  committed
  4c76edc

• deps/k_release: Set Version 7.0.79

  

  devops

  committed
  9e9dc7e

• pyproject.toml: sync pyk version 7.0.79

  

  devops

  committed
  a4e8417

Commits on May 22, 2024

• deps/k_release: Set Version 7.0.80

  

  devops

  committed
  c3a9872

• pyproject.toml: sync pyk version 7.0.80

  

  devops

  committed
  ea3fda1

• deps/k_release: Set Version 7.0.81

  

  devops

  committed
  665a46d

• pyproject.toml: sync pyk version 7.0.81

  

  devops

  committed
  03b7516

• deps/k_release: Set Version 7.0.82

  

  devops

  committed
  6ce13ed

• pyproject.toml: sync pyk version 7.0.82

  

  devops

  committed
  87b54d9

• deps/k_release: Set Version 7.0.83

  

  devops

  committed
  456ec29

• pyproject.toml: sync pyk version 7.0.83

  

  devops

  committed
  53658db

• deps/k_release: Set Version 7.0.84

  

  devops

  committed
  31f1a4b

• pyproject.toml: sync pyk version 7.0.84

  

  devops

  committed
  051b664

• deps/k_release: Set Version 7.0.85

  

  devops

  committed
  241e6e7

• pyproject.toml: sync pyk version 7.0.85

  

  devops

  committed
  420791f

Commits on May 23, 2024

• deps/k_release: Set Version 7.0.86

  

  devops

  committed
  be2c5af

• pyproject.toml: sync pyk version 7.0.86

  

  devops

  committed
  5334f86

• deps/k_release: Set Version 7.0.87

  

  devops

  committed
  aef85d8

• pyproject.toml: sync pyk version 7.0.87

  

  devops

  committed
  789349c

• deps/k_release: Set Version 7.0.88

  

  devops

  committed
  56d59b6

• pyproject.toml: sync pyk version 7.0.88

  

  devops

  committed
  4997ca4

• deps/k_release: Set Version 7.0.89

  

  devops

  committed
  f0007c4

• pyproject.toml: sync pyk version 7.0.89

  

  devops

  committed
  1626c57

Commits on May 24, 2024

• deps/k_release: Set Version 7.0.90

  

  devops

  committed
  9ba6872

• pyproject.toml: sync pyk version 7.0.90

  

  devops

  committed
  b46b103

• deps/k_release: Set Version 7.0.91

  

  devops

  committed
  67225cf

• pyproject.toml: sync pyk version 7.0.91

  

  devops

  committed
  f737e6d