Code

Update dependency: deps/k_release#4104

Code

Merged

automergerpr-permission-manager[bot] merged 18 commits intomasterruntimeverification/haskell-backend:masterfrom

_update-deps/runtimeverification/kruntimeverification/haskell-backend:_update-deps/runtimeverification/kCopy head branch name to clipboard

May 14, 2025

Commits

Commits on Apr 16, 2025

• deps/k_release: Set Version 7.1.238

  rv-auditor

  committed
  b430e54

  Copy full SHA for b430e54

Commits on Apr 17, 2025

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

  rv-auditor

  committed
  34ecef4

  Copy full SHA for 34ecef4

• deps/k_release: Set Version 7.1.240

  rv-auditor

  committed
  9a87c64

  Copy full SHA for 9a87c64

• deps/k_release: Set Version 7.1.241

  rv-auditor

  committed
  82d9c09

  Copy full SHA for 82d9c09

Commits on Apr 28, 2025

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

  rv-auditor

  committed
  2959fec

  Copy full SHA for 2959fec

• deps/k_release: Set Version 7.1.242

  rv-auditor

  committed
  ebc87f0

  Copy full SHA for ebc87f0

• deps/k_release: Set Version 7.1.243

  rv-auditor

  committed
  8c21f61

  Copy full SHA for 8c21f61

• deps/k_release: Set Version 7.1.244

  rv-auditor

  committed
  8ae68ac

  Copy full SHA for 8ae68ac

Commits on Apr 29, 2025

• deps/k_release: Set Version 7.1.245

  rv-auditor

  committed
  7a25c62

  Copy full SHA for 7a25c62

• deps/k_release: Set Version 7.1.246

  rv-auditor

  committed
  2a3472f

  Copy full SHA for 2a3472f

Commits on Apr 30, 2025

• deps/k_release: Set Version 7.1.247

  rv-auditor

  committed
  7241ff5

  Copy full SHA for 7241ff5

• deps/k_release: Set Version 7.1.248

  rv-auditor

  committed
  4510330

  Copy full SHA for 4510330

Commits on May 4, 2025

• deps/k_release: Set Version 7.1.249

  rv-auditor

  committed
  bcee260

  Copy full SHA for bcee260

Commits on May 12, 2025

• deps/k_release: Set Version 7.1.251

  rv-auditor

  committed
  ccd66ae

  Copy full SHA for ccd66ae

• deps/k_release: Set Version 7.1.252

  rv-auditor

  committed
  577160e

  Copy full SHA for 577160e

• deps/k_release: Set Version 7.1.253

  rv-auditor

  committed
  0b57573

  Copy full SHA for 0b57573

Commits on May 14, 2025

• deps/k_release: Set Version 7.1.254

  rv-auditor

  committed
  89f8392

  Copy full SHA for 89f8392

• Use std=c++20 flag for LLVM compilations in tests, remove some old files

  jberthold

  committed
  fa6030d

  Copy full SHA for fa6030d