Code

Update dependency: deps/k_release#55

Code

Merged

automergerpr-permission-manager[bot] merged 62 commits intomasterruntimeverification/riscv-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/riscv-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardFeb 14, 2025

+686-279

Commits

Commits on Nov 27, 2024

• deps/k_release: Set Version 7.1.178

  

  devops

  committed
  a47d8d2

  Copy full SHA for a47d8d2

• Set Version: 0.1.46

  

  devops

  committed
  2e4a5df

  Copy full SHA for 2e4a5df

• pyproject.toml: sync pyk version 7.1.178

  

  devops

  committed
  938aed2

  Copy full SHA for 938aed2

• deps/k_release: Set Version 7.1.179

  

  devops

  committed
  aeb38b2

  Copy full SHA for aeb38b2

• pyproject.toml: sync pyk version 7.1.179

  

  devops

  committed
  7021997

  Copy full SHA for 7021997

Commits on Nov 28, 2024

• deps/k_release: Set Version 7.1.180

  

  devops

  committed
  f052f60

  Copy full SHA for f052f60

• pyproject.toml: sync pyk version 7.1.180

  

  devops

  committed
  51e48f7

  Copy full SHA for 51e48f7

Commits on Dec 3, 2024

• deps/k_release: Set Version 7.1.181

  

  devops

  committed
  29cf73c

  Copy full SHA for 29cf73c

• pyproject.toml: sync pyk version 7.1.181

  

  devops

  committed
  24081c9

  Copy full SHA for 24081c9

Commits on Dec 4, 2024

• deps/k_release: Set Version 7.1.182

  

  devops

  committed
  0ebe3a6

  Copy full SHA for 0ebe3a6

• pyproject.toml: sync pyk version 7.1.182

  

  devops

  committed
  4542d30

  Copy full SHA for 4542d30

• deps/k_release: Set Version 7.1.183

  

  devops

  committed
  5597c8b

  Copy full SHA for 5597c8b

• pyproject.toml: sync pyk version 7.1.183

  

  devops

  committed
  beabf78

  Copy full SHA for beabf78

Commits on Dec 5, 2024

• deps/k_release: Set Version 7.1.184

  

  devops

  committed
  fe91a09

  Copy full SHA for fe91a09

Commits on Dec 10, 2024

• deps/k_release: Set Version 7.1.186

  

  devops

  committed
  7d1c228

  Copy full SHA for 7d1c228

• pyproject.toml: sync pyk version 7.1.186

  

  devops

  committed
  70878fe

  Copy full SHA for 70878fe

Commits on Dec 11, 2024

• deps/k_release: Set Version 7.1.187

  

  devops

  committed
  3089f18

  Copy full SHA for 3089f18

• pyproject.toml: sync pyk version 7.1.187

  

  devops

  committed
  77461fd

  Copy full SHA for 77461fd

Commits on Dec 17, 2024

• deps/k_release: Set Version 7.1.191

  

  devops

  committed
  e51a5b6

  Copy full SHA for e51a5b6

• pyproject.toml: sync pyk version 7.1.191

  

  devops

  committed
  a0af44c

  Copy full SHA for a0af44c

Commits on Dec 29, 2024

• deps/k_release: Set Version 7.1.193

  

  devops

  committed
  7c85fba

  Copy full SHA for 7c85fba

• pyproject.toml: sync pyk version 7.1.193

  

  devops

  committed
  56e150e

  Copy full SHA for 56e150e

Commits on Jan 7, 2025

• deps/k_release: Set Version 7.1.194

  

  devops

  committed
  6cfd05e

  Copy full SHA for 6cfd05e

• pyproject.toml: sync pyk version 7.1.194

  

  devops

  committed
  205e300

  Copy full SHA for 205e300

• pyproject.toml: sync pyk version 7.1.194

  

  devops

  committed
  3851414

  Copy full SHA for 3851414

• deps/k_release: Set Version 7.1.195

  

  devops

  committed
  0d4dff6

  Copy full SHA for 0d4dff6

• pyproject.toml: sync pyk version 7.1.195

  

  devops

  committed
  dbff7d8

  Copy full SHA for dbff7d8

• pyproject.toml: sync pyk version 7.1.195

  

  devops

  committed
  b50958e

  Copy full SHA for b50958e

• pyproject.toml: sync pyk version 7.1.195

  

  devops

  committed
  7ac4893

  Copy full SHA for 7ac4893

Commits on Jan 14, 2025

• deps/k_release: Set Version 7.1.198

  

  devops

  committed
  dc1a260

  Copy full SHA for dc1a260

• pyproject.toml: sync pyk version 7.1.198

  

  devops

  committed
  3ff6489

  Copy full SHA for 3ff6489

• pyproject.toml: sync pyk version 7.1.198

  

  devops

  committed
  1ea932f

  Copy full SHA for 1ea932f

Commits on Jan 16, 2025

• deps/k_release: Set Version 7.1.199

  

  devops

  committed
  7f29814

  Copy full SHA for 7f29814

• pyproject.toml: sync pyk version 7.1.199

  

  devops

  committed
  c53db92

  Copy full SHA for c53db92

Commits on Jan 17, 2025

• deps/k_release: Set Version 7.1.201

  

  devops

  committed
  e4e6ead

  Copy full SHA for e4e6ead

• pyproject.toml: sync pyk version 7.1.201

  

  devops

  committed
  0c38327

  Copy full SHA for 0c38327

Commits on Jan 20, 2025

• deps/k_release: Set Version 7.1.202

  

  devops

  committed
  c3f7623

  Copy full SHA for c3f7623

• pyproject.toml: sync pyk version 7.1.202

  

  devops

  committed
  9e721de

  Copy full SHA for 9e721de

• deps/k_release: Set Version 7.1.203

  

  devops

  committed
  979e53f

  Copy full SHA for 979e53f

• pyproject.toml: sync pyk version 7.1.203

  

  devops

  committed
  71cd469

  Copy full SHA for 71cd469

• pyproject.toml: sync pyk version 7.1.203

  

  devops

  committed
  6111c27

  Copy full SHA for 6111c27

• deps/k_release: Set Version 7.1.204

  

  devops

  committed
  6524993

  Copy full SHA for 6524993

• pyproject.toml: sync pyk version 7.1.204

  

  devops

  committed
  f4c5abc

  Copy full SHA for f4c5abc

• pyproject.toml: sync pyk version 7.1.204

  

  devops

  committed
  fcd7da8

  Copy full SHA for fcd7da8

• deps/k_release: Set Version 7.1.205

  

  devops

  committed
  73ea96a

  Copy full SHA for 73ea96a

• pyproject.toml: sync pyk version 7.1.205

  

  devops

  committed
  1e7ed25

  Copy full SHA for 1e7ed25

Commits on Jan 23, 2025

• deps/k_release: Set Version 7.1.207

  

  devops

  committed
  2fc2f55

  Copy full SHA for 2fc2f55

• pyproject.toml: sync pyk version 7.1.207

  

  devops

  committed
  bae98b4

  Copy full SHA for bae98b4

Commits on Jan 27, 2025

• deps/k_release: Set Version 7.1.208

  

  devops

  committed
  ef52cbc

  Copy full SHA for ef52cbc

• pyproject.toml: sync pyk version 7.1.208

  

  devops

  committed
  1f75249

  Copy full SHA for 1f75249

• pyproject.toml: sync pyk version 7.1.208

  

  devops

  committed
  9536aa8

  Copy full SHA for 9536aa8

Commits on Feb 3, 2025

• deps/k_release: Set Version 7.1.211

  

  devops

  committed
  59cd017

  Copy full SHA for 59cd017

• pyproject.toml: sync pyk version 7.1.211

  

  devops

  committed
  730002f

  Copy full SHA for 730002f

Commits on Feb 5, 2025

• deps/k_release: Set Version 7.1.212

  

  devops

  committed
  200cb89

  Copy full SHA for 200cb89

• pyproject.toml: sync pyk version 7.1.212

  

  devops

  committed
  d900f78

  Copy full SHA for d900f78

Commits on Feb 14, 2025

• test_unit.py: Update byte representation in memory test data

  Stevengre

  committed
  bb75203

  Copy full SHA for bb75203

• pyproject.toml: sync pyk version 7.1.212

  

  devops

  committed
  9732265

  Copy full SHA for 9732265

• tools.py: Improve error handling for krun pattern execution

  Show description for f06872a
  Stevengre

  committed
  f06872a

  Copy full SHA for f06872a

• riscv-semantics: Improve memory byte handling and error logging

  Show description for e0eed85
  Stevengre

  committed
  e0eed85

  Copy full SHA for e0eed85

• tools.py: Refactor debug file generation and import order

  Show description for d704300
  Stevengre

  committed
  d704300

  Copy full SHA for d704300

• Update src/kriscv/tools.py

  Show description for 7118341
  

  Stevengre

  and

  tothtamas28

  authored
  7118341

  Copy full SHA for 7118341

• Update src/kriscv/kdist/riscv-semantics/sparse-bytes.md

  Show description for 577a641
  

  Stevengre

  and

  tothtamas28

  authored
  577a641

  Copy full SHA for 577a641