transmute_unchecked contracts and harnesses#185

Draft

AlexLB99 wants to merge 8 commits intomodel-checking:mainfrom AlexLB99:transmute_unchecked

+108

Commits on Dec 20, 2024

Commits on Jan 15, 2025

Merge branch 'model-checking:main' into transmute_unchecked
AlexLB99
authored
moved wrapper into module + moved validity check to precondition
AlexLB99
committed
fixed spacing
AlexLB99
committed
other formatting fixes
AlexLB99
committed

Commits on Jan 20, 2025

added comment clarifying potential Kani bug
AlexLB99
committed