Skip to content

Close Challenges 6 & 14; remove optional correctness work in Challenge 12 #247

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

Merged
merged 23 commits into from
Mar 21, 2025
Merged

Close Challenges 6 & 14; remove optional correctness work in Challenge 12 #247

Show file tree
Hide file tree
Changes from 11 commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
3590903
refine challenges
thanhnguyen-aws Feb 17, 2025
6c640a3
add missing haenesses for nonnull
thanhnguyen-aws Feb 19, 2025
d58fe26
add correctness check for write_bytes
thanhnguyen-aws Feb 19, 2025
717de12
Merge branch 'main' into refinechallenges
thanhnguyen-aws Feb 19, 2025
1e662dc
remove correctness for NonZero challenge
thanhnguyen-aws Feb 19, 2025
00ba598
add contributors for NonNull
thanhnguyen-aws Feb 19, 2025
cedd00c
add contributors for Primitive conversions
thanhnguyen-aws Feb 19, 2025
69031dc
fix write_bytes contract for unit
thanhnguyen-aws Feb 19, 2025
e03cf73
Merge branch 'main' into refinechallenges
thanhnguyen-aws Mar 3, 2025
972bcb2
update contributor name
thanhnguyen-aws Mar 4, 2025
aa5dd30
update write functions contracts and harnesses
thanhnguyen-aws Mar 4, 2025
fe53955
Merge branch 'main' into refinechallenges
thanhnguyen-aws Mar 4, 2025
ecef1bf
close linked-list challenge
thanhnguyen-aws Mar 4, 2025
bf328b2
fix some typos
thanhnguyen-aws Mar 4, 2025
31ea852
close nonzero challenge
thanhnguyen-aws Mar 4, 2025
9c685f4
delete file
thanhnguyen-aws Mar 4, 2025
0ca03a8
re-add file
thanhnguyen-aws Mar 4, 2025
d21014a
reduce ARR_SIZE write_bytes harness
thanhnguyen-aws Mar 4, 2025
21b54b0
Merge branch 'main' into refinechallenges
thanhnguyen-aws Mar 5, 2025
1af7483
Update library/core/src/ptr/non_null.rs
thanhnguyen-aws Mar 17, 2025
a6b4590
Merge branch 'main' into refinechallenges
thanhnguyen-aws Mar 17, 2025
ae10478
change NonZero back to Open
thanhnguyen-aws Mar 17, 2025
c320681
change the Status of Linklist back to open
thanhnguyen-aws Mar 20, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion doc/src/challenges/0005-linked-list.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,10 +1,11 @@
# Challenge 5: Verify functions iterating over inductive data type: `linked_list`

- **Status:** Open
- **Status:** Resolved
- **Tracking Issue:** [#29](https://github.com/model-checking/verify-rust-std/issues/29)
- **Start date:** *2024/07/01*
- **End date:** *2025/04/10*
- **Reward:** *5,000 USD*
- **Contributors**: [Bart Jacobs](https://github.com/btj)

-------------------

Expand Down
2 changes: 1 addition & 1 deletion doc/src/challenges/0006-nonnull.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
- **Start date:** *2024/08/16*
- **End date:** *2025/04/10*
- **Reward:** *N/A*
- **Contributors**: [Quinyuan Wu](https://github.com/QinyuanWu), [Daniel Tu](https://github.com/danielhumanmod), Dhvani Kapadia(https://github.com/Dhvani-Kapadia) and JY(https://github.com/Jimmycreative)
- **Contributors**: [Quinyuan Wu](https://github.com/QinyuanWu), [Daniel Tu](https://github.com/danielhumanmod), [Dhvani Kapadia](https://github.com/Dhvani-Kapadia) and [Jiun Chi Yang](https://github.com/Jimmycreative)
-------------------


Expand Down
3 changes: 2 additions & 1 deletion doc/src/challenges/0012-nonzero.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,10 +1,11 @@
# Challenge 12: Safety of `NonZero`

- **Status:** Open
- **Status:** Resolved
- **Tracking Issue:** [#71](https://github.com/model-checking/verify-rust-std/issues/71)
- **Start date:** *2024/08/23*
- **End date:** *2025/04/10*
- **Reward:** *N/A*
- **Contributors**: [Aaron Lang](https://github.com/lang280), [Shivani Ghuge](https://github.com/SahithiMV) and [Alvaro Luna](https://github.com/aa-luna)

-------------------

Expand Down
88 changes: 0 additions & 88 deletions library/Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading