Code

NonZero (clamp) Proof#200

Code

Closed

lang280 wants to merge 6 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

lang280:nonezero_clamplang280/PR-verify-rust-std:nonezero_clampCopy head branch name to clipboard

Commits

Commits on Dec 1, 2024

• clamp

  lang280

  committed
  5d800ef

  Copy full SHA for 5d800ef

Commits on Dec 4, 2024

• directly use nonezero type for kani::any instead of using primitive integers

  lang280

  authored
  8e81c29

  Copy full SHA for 8e81c29

• macro for clamp in case it should panic

  lang280

  authored
  24f90a2

  Copy full SHA for 24f90a2

Commits on Dec 5, 2024

• no -> not

  Show description for 33e0316
  

  lang280

  and

  tautschnig

  authored
  33e0316

  Copy full SHA for 33e0316

• delete the checking on clamp result in panic case

  lang280

  authored
  cdaaa9e

  Copy full SHA for cdaaa9e

• Merge branch 'main' into nonezero_clamp

  carolynzech

  authored
  899c0d8

  Copy full SHA for 899c0d8