Code

Update Kani Metrics#244

Code

Merged

carolynzech merged 2 commits intomainmodel-checking/verify-rust-std:mainfrom

update-kani-metricsmodel-checking/verify-rust-std:update-kani-metricsCopy head branch name to clipboard

Feb 5, 2025

Commits

Commits on Feb 2, 2025

• Update Kani metrics

  

  github-merge-queue[bot]

  authored and

  github-actions[bot]

  committed
  42cf405

  Copy full SHA for 42cf405

Commits on Feb 4, 2025

• Merge branch 'main' into update-kani-metrics

  carolynzech

  authored
  5bedb1b

  Copy full SHA for 5bedb1b