Code

RFC for Rust UB checks#3092

Code

Closed

celinval wants to merge 4 commits intomodel-checking:mainmodel-checking/kani:mainfrom celinval:issue-2998-ub-rfccelinval/kani-dev:issue-2998-ub-rfcCopy head branch name to clipboard

+188

Commits

Commits on Mar 19, 2024

• RFC for Rust UB checks

  celinval

  committed
  aef9cb8

  Copy full SHA for aef9cb8

Commits on Jun 28, 2024

• Merge remote-tracking branch 'origin/main' into issue-2998-ub-rfc

  Show description for 5185c04
  celinval

  committed
  5185c04

  Copy full SHA for 5185c04

• Address some of the feedback

  Show description for 96f50da
  celinval

  committed
  96f50da

  Copy full SHA for 96f50da

Commits on Jan 29, 2025

• Merge remote-tracking branch 'origin/main' into issue-2998-ub-rfc

  celinval

  committed
  deae5cd

  Copy full SHA for deae5cd