Repository navigation

NonZero (count_one & cmp) Proof - #201

Closed

lang280 wants to merge 6 commits into

model-checking:mainfrom

lang280:nonezero_count_ones_cmp

Closed

NonZero (count_one & cmp) Proof#201
lang280 wants to merge 6 commits into
model-checking:mainfrom
lang280:nonezero_count_ones_cmp

Commits on Dec 1, 2024
- harness for countone and cmp
  lang280
  committed
  50bbf81
Commits on Dec 3, 2024
- Merge branch 'model-checking:main' into nonezero_count_ones_cmp
  lang280
  authored
  c3a161b
- resolve reused name in count_ones
  lang280
  authored
  45a5385
- resolve name reused problem in cmp
  lang280
  authored
  46e3d16
Commits on Dec 4, 2024
- avoid unsafe code block for cmp by using kani::any directly with Nonezero
  lang280
  authored
  480a5fb
- avoid unsafe code block for check count one
  lang280
  authored
  4b90e7c