Code

Update Kani Metrics#12

Code

Closed

github-actions[bot] wants to merge 13 commits intomaintautschnig/verify-rust-std:mainfrom update-kani-metricstautschnig/verify-rust-std:update-kani-metricsCopy head branch name to clipboard

Commits

Commits on Feb 24, 2025

• Track metrics for core and std crates

  Show description for 8bfdd7c
  tautschnig

  committed
  8bfdd7c

  Copy full SHA for 8bfdd7c

Commits on Feb 25, 2025

• Fix and require --metrics-file argument use

  tautschnig

  committed
  7e724d4

  Copy full SHA for 7e724d4

• Track loop stats for functions

  tautschnig

  committed
  057ed6b

  Copy full SHA for 057ed6b

• Fix syntax

  tautschnig

  committed
  109a18a

  Copy full SHA for 109a18a

• Init to 0

  tautschnig

  committed
  b15a9b3

  Copy full SHA for b15a9b3

Commits on Feb 26, 2025

• Debug output

  tautschnig

  committed
  4c88768

  Copy full SHA for 4c88768

• Patch Kani analysis script

  tautschnig

  committed
  ce935c0

  Copy full SHA for ce935c0

Commits on Mar 4, 2025

• Merge remote-tracking branch 'origin/main' into metrics-std

  tautschnig

  committed
  2a98dd9

  Copy full SHA for 2a98dd9

• Revert "Debug output"

  Show description for bc5d2a7
  tautschnig

  committed
  bc5d2a7

  Copy full SHA for bc5d2a7

Commits on Mar 20, 2025

• Merge remote-tracking branch 'origin/main' into metrics-std

  tautschnig

  committed
  447cecf

  Copy full SHA for 447cecf

• Hack no longer required

  tautschnig

  committed
  9c5e56a

  Copy full SHA for 9c5e56a

• Fix var names

  tautschnig

  committed
  97125e5

  Copy full SHA for 97125e5

Commits on Mar 23, 2025

• Update Kani metrics

  

  tautschnig

  authored and

  github-actions[bot]

  committed
  12bce68

  Copy full SHA for 12bce68