add challenge for safety of primitive conversions#217

Merged

carolynzech merged 12 commits intomodel-checking:mainfrom

sgpthomas:new_challenge_convert_num

Dec 18, 2024

Commits on Nov 25, 2024

add challenge for safety of primitive conversions
sgpthomas
committed

Commits on Dec 10, 2024

Commits on Dec 11, 2024

Commits on Dec 13, 2024

move list of contracts up to Success Criteria
cvick32
committed