Code

Analyze unsafe code reachability#3546

Code

Open

celinval wants to merge 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom celinval:issue-xxxx-transitive-scancelinval/kani-dev:issue-xxxx-transitive-scanCopy head branch name to clipboard

+198-21

Commits

Commits on Sep 24, 2024

• Analyze unsafe code reachability

  Show description for c3d305f
  celinval

  committed
  c3d305f

  Copy full SHA for c3d305f

Commits on Jan 31, 2025

• Merge remote-tracking branch 'origin/main' into issue-xxxx-transitive-scan

  celinval

  committed
  bb83899

  Copy full SHA for bb83899

• Address PR comments

  celinval

  committed
  a4198ac

  Copy full SHA for a4198ac