Code

Generate Kani Metrics#235

Code

Merged

carolynzech merged 17 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom carolynzech:metricscarolynzech/verify-rust-std:metricsCopy head branch name to clipboardJan 21, 2025

+518-5

Commits

Commits on Jan 8, 2025

• Add metrics collection to run-kani script

  carolynzech

  committed
  5a04e6e

  Copy full SHA for 5a04e6e

• fix file not found in workflow

  carolynzech

  committed
  b86fd5c

  Copy full SHA for b86fd5c

• try passing --path to fix tool_config file not found

  carolynzech

  committed
  648e6ed

  Copy full SHA for 648e6ed

• try removing path: head to fix PR creation job

  carolynzech

  committed
  320f668

  Copy full SHA for 320f668

• ignore kani-list.json

  carolynzech

  committed
  93676cd

  Copy full SHA for 93676cd

• only run on Ubuntu

  carolynzech

  committed
  f5a4899

  Copy full SHA for f5a4899

• Plot safe functions (which includes safe abstractions)

  carolynzech

  committed
  df2e643

  Copy full SHA for df2e643

• add clarifying documentation about totals

  carolynzech

  committed
  2397e53

  Copy full SHA for 2397e53

Commits on Jan 9, 2025

• pass results_directory on the command line

  carolynzech

  committed
  6ff6275

  Copy full SHA for 6ff6275

• delete kani-list.json instead of ignoring it

  carolynzech

  committed
  d518e96

  Copy full SHA for d518e96

Commits on Jan 14, 2025

• update comment

  carolynzech

  authored
  679eaff

  Copy full SHA for 679eaff

• run cronjob weekly instead

  carolynzech

  committed
  65bb370

  Copy full SHA for 65bb370

• split script into computing metrics xor plotting

  carolynzech

  committed
  098c031

  Copy full SHA for 098c031

Commits on Jan 16, 2025

• add metrics to the book

  carolynzech

  committed
  31aed2a

  Copy full SHA for 31aed2a

Commits on Jan 17, 2025

• make metrics a mdbook preprocessor instead

  carolynzech

  committed
  864be39

  Copy full SHA for 864be39

• fix mdbook build error

  carolynzech

  committed
  de59547

  Copy full SHA for de59547

• delete metrics chapter from book

  carolynzech

  committed
  7ecb200

  Copy full SHA for 7ecb200