Loreon
Labs
Platform
Docs
Home
Ecosystems
Rust
verify-rust-std
Verifying the Rust standard library
Rust
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
8mo ago
Recent commits
Latest commits.
Merge subtree update for toolchain nightly-2025-05-22 (#364)
b4f59e8
github-actions[bot]
13mo ago
Update Kani Metrics (#365)
afb5c2c
github-actions[bot]
13mo ago
Add preconditions for disjoint_bitor (#347)
13014d9
Michael Tautschnig
13mo ago
Move autoharness_analyzer to `scripts/` (#350)
9414fee
Carolyn Zech
13mo ago
Merge subtree update for toolchain nightly-2025-05-20 (#361)
1eb9a53
github-actions[bot]
13mo ago
Challenge 7: make panicking part optional; remove mention of verifying intrinsics (#357)
9b57573
Carolyn Zech
13mo ago
Add safety preconditions to std/src/alloc.rs (#330)
07b7465
Michael Tautschnig
13mo ago
Add Challenge 19: Safety of RawVec (#314)
d37c183
thanhnguyen-aws
13mo ago
Top contributors
Builders behind this project.
github-actions[bot]
31 commits
celinval
29 commits
tautschnig
27 commits
jaisnan
26 commits
qinheping
12 commits
Yenyun035
8 commits
thanhnguyen-aws
8 commits
rajathkotyal
6 commits
