Code

Update dependency: deps/k_release#444

Code

Merged

dkcumming merged 11 commits intomasterruntimeverification/mir-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/mir-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardFeb 4, 2025

+506-46

Commits

Commits on Feb 3, 2025

• deps/k_release: Set Version 7.1.210

  

  devops

  committed
  59b2aa1

  Copy full SHA for 59b2aa1

• Set Version: 0.3.69

  

  devops

  committed
  8ff3606

  Copy full SHA for 8ff3606

• kmir/{pyproject.toml,poetry.lock}: sync Poetry files

  

  devops

  committed
  7309ad9

  Copy full SHA for 7309ad9

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

  

  devops

  committed
  82e5caa

  Copy full SHA for 82e5caa

• deps/k_release: Set Version 7.1.211

  

  devops

  committed
  0d4a0b2

  Copy full SHA for 0d4a0b2

Commits on Feb 4, 2025

• kmir/{pyproject.toml,poetry.lock}: sync Poetry files

  

  devops

  committed
  1227d7f

  Copy full SHA for 1227d7f

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

  

  devops

  committed
  77f42c4

  Copy full SHA for 77f42c4

• Updated files to reflect new black

  dkcumming

  committed
  65fba59

  Copy full SHA for 65fba59

• kmir/{pyproject.toml,poetry.lock}: sync Poetry files

  

  devops

  committed
  76dd61c

  Copy full SHA for 76dd61c

• Updated stable-mir-json to version without warning

  dkcumming

  committed
  392f93f

  Copy full SHA for 392f93f

• Merge branch '_update-deps/runtimeverification/k' of github.com:runtimeverification/mir-semantics into _update-deps/runtimeverification/k

  dkcumming

  committed
  66ad398

  Copy full SHA for 66ad398