forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 31
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 14: Safety of Primitive Conversions
Challenge
Used to tag a challenge
#220
opened Dec 10, 2024 by
cvick32
[Challenge 14] High-Assurance SIMD Intrinsics for Rust
Challenge
Used to tag a challenge
#173
opened Nov 20, 2024 by
karthikbhargavan
Draft for tool proposal (goto-transcoder)
Tool Application
Used to tag tool application
#108
opened Oct 9, 2024 by
rafaelsamenezes
6 tasks done
Challenge 7: Safety of Methods for Atomic Types & Atomic Intrinsics
Challenge
Used to tag a challenge
#83
opened Sep 9, 2024 by
carolynzech
Challenge 4: Memory safety of BTreeMap's Used to tag a challenge
btree::node
module
Challenge
#77
opened Sep 5, 2024 by
feliperodri
Challenge 3: Verifying Raw Pointer Arithmetic Operations
Challenge
Used to tag a challenge
#76
opened Sep 5, 2024 by
feliperodri
Challenge 12: Safety of Used to tag a challenge
NonZero
Challenge
#71
opened Aug 23, 2024 by
carolynzech
Challenge 10: Memory safety of String
Challenge
Used to tag a challenge
#61
opened Aug 20, 2024 by
zhassan-aws
Challenge 8: Contracts for Used to tag a challenge
SmallSort
Challenge
#56
opened Aug 17, 2024 by
qinheping
Challenge 6: Safety of Used to tag a challenge
NonNull
Challenge
#53
opened Aug 16, 2024 by
tautschnig
Update contract syntax to include contract forms as proposed in the MCP
Maintenance
Maintenance related issues for the challange
#44
opened Jul 23, 2024 by
celinval
Add format checker and clippy to CI
Maintenance
Maintenance related issues for the challange
#38
opened Jul 16, 2024 by
celinval
Challenge 5: Verify functions iterating over inductive data type: Used to tag a challenge
linked_list
Challenge
#29
opened Jul 2, 2024 by
qinheping
Challenge 1: Verify Used to tag a challenge
core
transmuting methods
Challenge
#19
opened Jun 12, 2024 by
tautschnig
Add runtime implementation of requires and ensures
Maintenance
Maintenance related issues for the challange
#17
opened Jun 12, 2024 by
celinval
Challenge 2: Verify the memory safery of core intrinsics using raw pointers
Challenge
Used to tag a challenge
#16
opened Jun 12, 2024 by
jaisnan
ProTip!
Adding no:label will show everything without a label.