Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Challenge 14: Safety of Primitive Conversions #220

Closed
cvick32 opened this issue Dec 10, 2024 · 0 comments · Fixed by #247
Closed

Challenge 14: Safety of Primitive Conversions #220

cvick32 opened this issue Dec 10, 2024 · 0 comments · Fixed by #247
Assignees
@cvick32
Labels
Challenge Used to tag a challenge

Comments

@cvick32
Copy link

cvick32 commented Dec 10, 2024 •
edited by tautschnig
Loading

This issue is a tracking issue for Challenge 14: Safety of Primitive Conversions.

Challenge link: https://model-checking.github.io/verify-rust-std/challenges/0014-convert-num.html
@cvick32 cvick32 added the Challenge Used to tag a challenge label Dec 10, 2024
@cvick32 cvick32 mentioned this issue Dec 10, 2024
Merged
@ShoyuVanilla ShoyuVanilla mentioned this issue Dec 21, 2024
Merged
github-merge-queue bot pushed a commit that referenced this issue Feb 11, 2025
@ShoyuVanilla
Add harnesses for safety of primitive conversions (#233)
ff0b5bf 
Towards #220

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
@thanhnguyen-aws thanhnguyen-aws mentioned this issue Mar 17, 2025
Merged
github-merge-queue bot pushed a commit that referenced this issue Mar 21, 2025
@thanhnguyen-aws @carolynzech
Close Challenges 6 & 14; remove optional correctness work in Challeng…
00169b7 
…e 12 (#247)

In this PR, I refined the existing challenges by:
- Added the missing contracts and harnesses for 3 functions write,
write_bytes, write_unaligned for the NonNull challenge, then changed the
status of this challenge to "resolved".
- Edited some descriptions of smallsort 
- Removed the (optional) correctness checking in NonZero challenge.
- Resolved the Safety of Primitive Conversions challenge.
I don't add more functions to existing challenge to keep each challenge
under manageable size. I will create other challenges for functions
inside the same modules as the existing ones.

Resolves #53
Resolves #220

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: Carolyn Zech <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@cvick32 cvick32

Labels
Challenge Used to tag a challenge
Projects
None yet
Milestone
No milestone
1 participant
@cvick32