Skip to content

Pull requests: verus-lang/verus

New pull request New
55 Open 1,340 Closed
55 Open 1,340 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

new-mut-ref: add test postcondition_missing_old_async_fn
#2376 opened Apr 24, 2026 by tjhance Collaborator Loading…
new-mut-ref: make has_resolved pure in mode-checking
#2375 opened Apr 24, 2026 by tjhance Collaborator Loading…
fix: handle panics for Structural
#2371 opened Apr 24, 2026 by nuczyc Loading…
Override target and build directory
#2368 opened Apr 23, 2026 by slerpyyy Collaborator Loading…
1
Gate btree specs on alloc instead of alloc + std
#2365 opened Apr 23, 2026 by tangruize Loading…
6
Support nested items (functions, consts, structs, enums) inside functions
#2364 opened Apr 22, 2026 by Chris-Hawblitzel Collaborator Loading…
3
Add wrapping shift to vstd
#2359 opened Apr 22, 2026 by JakeGinesin Collaborator Loading…
1
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…
11
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
vstd: add tracked Set methods
#2264 opened Mar 23, 2026 by bsdinis Collaborator Loading…
3
rust_verify: improve error reporting on autoderive Clone
#2263 opened Mar 23, 2026 by bsdinis Collaborator Loading…
vstd: add some documentation to tracked methods on map
#2262 opened Mar 23, 2026 by bsdinis Collaborator Loading…
6
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
vstd: strengthen postcondition on len0 <==> empty lemma
#2200 opened Feb 20, 2026 by bsdinis Collaborator Loading…
4
New approach to specifying iterators via a prophetic sequence encoding
#2163 opened Feb 10, 2026 by parno Collaborator Loading…
63
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.