Skip to content

Pull requests: verus-lang/verus

New pull request New
52 Open 1,385 Closed
52 Open 1,385 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

deprecate the set function for arrays/slices
#2423 opened May 6, 2026 by tjhance Collaborator Loading…
Bot/crate updates 20260506 38
#2422 opened May 6, 2026 by bsdinis Collaborator Loading…
Add specs for HashMap entry API
#2420 opened May 6, 2026 by tjhance Collaborator Loading…
Changes for slice::from_raw_parts, SliceIndex
#2419 opened May 5, 2026 by zero-to-nat Collaborator Loading…
[cargo-verus] fix: import .vir for transitive verified deps
#2403 opened May 3, 2026 by Kab1r Loading…
5
resource: update examples to make use of new Resource Algebra interface
#2396 opened May 1, 2026 by bsdinis Collaborator Loading…
vstd: add cmp specs for tuples
#2389 opened Apr 29, 2026 by bsdinis Collaborator Loading…
4
Add trait bound to spec == operator to improve type inference
#2377 opened Apr 25, 2026 by Chris-Hawblitzel Collaborator Loading…
5
fix: handle panics for Structural
#2371 opened Apr 24, 2026 by nuczyc Loading…
3
Override target and build directory
#2368 opened Apr 23, 2026 by slerpyyy Collaborator Loading…
fix: handle panics for bit_vector
#2334 opened Apr 15, 2026 by Marsman1996 Contributor Loading…
10
Extend Verus with Logical Atomicity
#2326 opened Apr 14, 2026 by slerpyyy Collaborator Loading…
12
vir: sanitize non-SMT identifiers at AIR ident construction time (fix #2221)
#2325 opened Apr 14, 2026 by sunmy2019 Contributor Loading…
doc: Add guide chapter on async/await
#2322 opened Apr 13, 2026 by dschoepe Collaborator Loading…
air: mangle invalid SMT atoms (fixes #2221)
#2312 opened Apr 8, 2026 by sunmy2019 Contributor Loading…
1
4
Add a flag for vacuity check
#2307 opened Apr 7, 2026 by pennyannn Loading…
2
Add mut ref APIs
#2304 opened Apr 6, 2026 by elanortang Collaborator Loading…
Add #[verifier::allow(...)] to suppress warnings
#2284 opened Mar 29, 2026 by Chris-Hawblitzel Collaborator Loading…
5
vstd: add specification to Vec::retain
#2265 opened Mar 23, 2026 by bsdinis Collaborator Loading…
4
rust_verify: improve error reporting on autoderive Clone
#2263 opened Mar 23, 2026 by bsdinis Collaborator Loading…
2
Use jemalloc as global allocator on unix
#2252 opened Mar 19, 2026 by briangmilnes Loading…
3 tasks done
1
Allow proof blocks inside proof fn (fixes #2061)
#2249 opened Mar 16, 2026 by nitrotap Loading…
3 tasks done
1
Add assume_ieee_float
#2232 opened Mar 7, 2026 by Chris-Hawblitzel Collaborator • Draft
2
fix: handle verusdoc fail caused by assert_by_compute_only
#2217 opened Feb 28, 2026 by Marsman1996 Contributor Loading…
2
New approach to specifying iterators via a prophetic sequence encoding
#2163 opened Feb 10, 2026 by parno Collaborator Loading…
63
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.