Code

Add --depth option to kmir run#440

Code

Merged

automergerpr-permission-manager[bot] merged 4 commits intomasterruntimeverification/mir-semantics:masterfrom kmir-run-depthruntimeverification/mir-semantics:kmir-run-depthCopy head branch name to clipboardJan 31, 2025

+7-5

Commits

Commits on Jan 30, 2025

• Add --depth option to kmir run

  gtrepta

  committed
  c084815

  Copy full SHA for c084815

• Set Version: 0.3.65

  

  devops

  committed
  f92d1db

  Copy full SHA for f92d1db

Commits on Jan 31, 2025

• Merge branch 'master' into kmir-run-depth

  automergerpr-permission-manager[bot]

  authored
  f51a270

  Copy full SHA for f51a270

• Set Version: 0.3.66

  

  devops

  committed
  6f89ea1

  Copy full SHA for 6f89ea1