Code

NonZero (max & min) Proof#199

Code

Closed

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

lang280:Nonezero_max_minlang280/PR-verify-rust-std:Nonezero_max_minCopy head branch name to clipboard

Commits

Commits on Dec 1, 2024

• max_min

  lang280

  committed
  1812ba9

  Copy full SHA for 1812ba9

Commits on Dec 3, 2024

• Merge branch 'model-checking:main' into Nonezero_max_min

  lang280

  authored
  c9e1c21

  Copy full SHA for c9e1c21

• avoid name reused in min and max

  lang280

  authored
  2af75f9

  Copy full SHA for 2af75f9

Commits on Dec 4, 2024

• avoid use of unsafe code block by generate nonezero from any() directly

  lang280

  authored
  afc4d5f

  Copy full SHA for afc4d5f

Commits on Dec 5, 2024

• Merge branch 'main' into Nonezero_max_min

  carolynzech

  authored
  1cc63fc

  Copy full SHA for 1cc63fc