NonZero (rotate_left, rotate_right, max, min, clamp, count_ones, cmp) Proofs#202

Merged

tautschnig merged 12 commits intomodel-checking:mainfrom

lang280:Nonezero_rotate_left_rotate_right

Dec 11, 2024

Commits on Dec 1, 2024

rotates
lang280
committed

Commits on Dec 4, 2024

avoid unsafe code block by use any() directly with nonezero
lang280
authored

Commits on Dec 5, 2024

Commits on Dec 10, 2024