Code

Add loop scanner to tool-scanner#3443

Code

Merged

qinheping merged 8 commits intomodel-checking:mainmodel-checking/kani:mainfrom qinheping:features/loop-scannerqinheping/kani:features/loop-scannerCopy head branch name to clipboardAug 20, 2024

+132-12

Commits

Commits on Aug 16, 2024

• Add loop scanner to tool-scanner

  qinheping

  committed
  267bbb9

  Copy full SHA for 267bbb9

Commits on Aug 17, 2024

• Change the way of identifying loops

  qinheping

  committed
  40e58a1

  Copy full SHA for 40e58a1

• Identify loops for terminator beyond goto

  qinheping

  committed
  5aa08b7

  Copy full SHA for 5aa08b7

• Fix format

  qinheping

  committed
  b59205a

  Copy full SHA for b59205a

Commits on Aug 20, 2024

• Use successors to simplify match

  qinheping

  committed
  c329e5a

  Copy full SHA for c329e5a

• Merge branch 'main' into features/loop-scanner

  qinheping

  authored
  d5acbe5

  Copy full SHA for d5acbe5

• Use graph algorithm to identify loops instead

  qinheping

  committed
  0de9681

  Copy full SHA for 0de9681

• Cargo.lock

  qinheping

  committed
  3415712

  Copy full SHA for 3415712