Code

Parallelize & Partition Verification#229

Code

Merged

carolynzech merged 10 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom carolynzech:parallel-verificationcarolynzech/verify-rust-std:parallel-verificationCopy head branch name to clipboardDec 19, 2024

+106-18

Commits

Commits on Dec 16, 2024

• first attempt at parallel verification

  carolynzech

  committed
  4e9f6b2

  Copy full SHA for 4e9f6b2

• read from kani-list.json

  carolynzech

  committed
  2bf8392

  Copy full SHA for 2bf8392

• add more debug printing

  carolynzech

  committed
  eabaca1

  Copy full SHA for eabaca1

• documentation

  carolynzech

  committed
  a455bcb

  Copy full SHA for a455bcb

Commits on Dec 18, 2024

• error if file version neq 1; avoid pipefail problem

  carolynzech

  committed
  01cba95

  Copy full SHA for 01cba95

• Pass -j to Kani to spawn multiple verification threads

  carolynzech

  committed
  98447cd

  Copy full SHA for 98447cd

• documentation & clarity cleanups

  carolynzech

  committed
  b38f871

  Copy full SHA for b38f871

• Remove VERIFICATION_THREAD_COUNT

  Show description for e566a24
  carolynzech

  committed
  e566a24

  Copy full SHA for e566a24

Commits on Dec 19, 2024

• address feedback from PR review

  carolynzech

  committed
  cb50364

  Copy full SHA for cb50364

• fix typo

  carolynzech

  committed
  99c960a

  Copy full SHA for 99c960a