Contracts & Harnesses for `non_null::new` and `non_null::new_unchecked`#88

Merged

feliperodri merged 13 commits intomodel-checking:mainfrom

danielhumanmod:new-unchecked

Sep 27, 2024

Commits on Sep 12, 2024

added contract and proof for new_unchecked

OwO
authored and
OwO
committed
add use safety

OwO
authored and
OwO
committed
verification result

OwO
authored and
OwO
committed

Commits on Sep 13, 2024

make harness function name unique
QinyuanWu
committed

Commits on Sep 14, 2024

add new_unchcked result and remove the old one
QinyuanWu
committed

Commits on Sep 18, 2024

Commits on Sep 25, 2024