forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 48
Issues: model-checking/verify-rust-std
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Challenge 7: make panicking part optional; remove mention of verifying intrinsics
#357
opened May 13, 2025 by
carolynzech
•
Draft
Merge subtree update for toolchain nightly-2025-05-06
#354
opened May 10, 2025 by
github-actions
bot
Loading…
NonZero (unchecked_mul & unchecked_add) Proof for Contracts
#338
opened Apr 23, 2025 by
tautschnig
•
Draft
Parse log file of multi-threaded Kani run (terse output) into JSON
#324
opened Apr 14, 2025 by
tautschnig
•
Draft
Add Tool: KMIR by Runtime Verification
Tool Application
Used to tag tool application
#296
opened Mar 24, 2025 by
gregorymakodzeba
6 tasks done
Challenge 25: Verify the safety of Used to tag a challenge
VecDeque
functions
Challenge
#286
opened Mar 18, 2025 by
thanhnguyen-aws
Challenge 24: Verify the safety of Used to tag a challenge
Vec
functions part 2
Challenge
#285
opened Mar 18, 2025 by
thanhnguyen-aws
Challenge 23: Verify the safety of Used to tag a challenge
Vec
functions part 1
Challenge
#284
opened Mar 18, 2025 by
thanhnguyen-aws
Challenge 19: Verify the safety of RawVec
Challenge
Used to tag a challenge
#283
opened Mar 18, 2025 by
thanhnguyen-aws
Challenge 18: Verify the safety of Used to tag a challenge
slice
iter functions - part 1
Challenge
#282
opened Mar 18, 2025 by
thanhnguyen-aws
Challenge 17: Verify the safety of Used to tag a challenge
slice
functions
Challenge
#281
opened Mar 18, 2025 by
thanhnguyen-aws
Challenge 16: Verify the safety of Iterator functions
Challenge
Used to tag a challenge
#280
opened Mar 18, 2025 by
thanhnguyen-aws
Challenge 22: Verify the safety of Used to tag a challenge
str
iter functions
Challenge
#279
opened Mar 18, 2025 by
thanhnguyen-aws
Challenge 21: Verify the safety of substring-related functions in str::pattern
Challenge
Used to tag a challenge
#278
opened Mar 18, 2025 by
thanhnguyen-aws
Challenge 20: Verify the safety of char-related functions in str::pattern
Challenge
Used to tag a challenge
#277
opened Mar 18, 2025 by
thanhnguyen-aws
Previous Next
ProTip!
no:milestone will show everything without a milestone.