Skip to content

Pull requests: verus-lang/verus

New pull request New
46 Open 1,190 Closed
46 Open 1,190 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: more precise analysis for mut refs with loops
#2143 opened Feb 6, 2026 by tjhance Loading…
resource: implement combinators for RAs
#2142 opened Feb 6, 2026 by bsdinis Loading…
resource: add ResourceAlgebra trait
#2141 opened Feb 6, 2026 by bsdinis Loading…
4
resource: refactor existing PCM code
#2140 opened Feb 6, 2026 by bsdinis Loading…
add support for opaque types defined by assume specification
#2138 opened Feb 4, 2026 by FeizaiYiHao Loading…
6
fix: skip proof code in doc
#2137 opened Feb 3, 2026 by Marsman1996 Loading…
1
1
feat: complex return value patterns
#2134 opened Feb 2, 2026 by mkovaxx • Draft
@mkovaxx
fix: support verus_spec in verusdoc
#2132 opened Feb 2, 2026 by Marsman1996 Loading…
1
1
Check that decreases clauses have compatible types.
#2130 opened Jan 31, 2026 by parno Loading…
1
Add EndianNat for reasoning about representations in different bases and endianness
#2125 opened Jan 30, 2026 by zero-to-nat Loading…
34
add PointsToUnaligned to raw_ptr
#2122 opened Jan 30, 2026 by JakeGinesin Loading…
11
Verus internals updates
#2118 opened Jan 27, 2026 by elanortang Loading…
15
added flag in settings.json.template to prevent error in rust analyzer
#2099 opened Jan 21, 2026 by ahuoguo Loading…
[verus_syn] fix: relax parens around braces constraint
#2098 opened Jan 21, 2026 by mkovaxx Loading…
@mkovaxx
19
Avoid some panics for verusdoc
#2066 opened Jan 4, 2026 by y1ca1 Loading…
1
vstd: add specs for BinaryHeap, BTreeMap, and BTreeSet
#2059 opened Dec 29, 2025 by briangmilnes Loading…
2
Support multiple ghost returning value in #[verus_spec]
#2057 opened Dec 29, 2025 by rikosellic Loading…
Reproducible builds for Verus with Nix
#2054 opened Dec 22, 2025 by JakeGinesin Loading…
10
Implement Sledgehammer-inspired proof search using broadcast
#2048 opened Dec 20, 2025 by dschoepe Loading…
18
Check the when-condition for recursive call of spec fn
#2039 opened Dec 17, 2025 by WeituoDAI Loading…
Add support for const in exec_spec macro
#2011 opened Nov 25, 2025 by zouyonghao Loading…
Use same polymorphic SMT functions to define decreases for both int and datatypes
#2010 opened Nov 25, 2025 by Chris-Hawblitzel Loading…
1
Add more APIs into std_specs
#2009 opened Nov 24, 2025 by hiroki-chen • Draft
2
support async functions
#1993 opened Nov 18, 2025 by FeizaiYiHao Loading…
29
Add verifier::assume(externals_available_without_declaration)
#1988 opened Nov 17, 2025 by Chris-Hawblitzel Loading…
9
ProTip! Adding no:label will show everything without a label.