Code

Add preconditions for disjoint_bitor#347

Code

Merged

carolynzech merged 4 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:contracts-uint_macrostautschnig/verify-rust-std:contracts-uint_macrosCopy head branch name to clipboard

May 22, 2025

Commits

Commits on Apr 30, 2025

• Add preconditions for disjoint_bitor

  Show description for 87919ce
  tautschnig

  committed
  87919ce

  Copy full SHA for 87919ce

• Add note

  tautschnig

  committed
  2d17c9c

  Copy full SHA for 2d17c9c

Commits on May 20, 2025

• Merge branch 'main' into contracts-uint_macros

  tautschnig

  authored
  9588fa8

  Copy full SHA for 9588fa8

Commits on May 22, 2025

• Merge branch 'main' into contracts-uint_macros

  carolynzech

  authored
  88cfe84

  Copy full SHA for 88cfe84