-
Notifications
You must be signed in to change notification settings - Fork 220
Pull requests: verus-lang/verus
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Restore tuple Clone and Copy impls in the trait-conflict checker
#2931
opened Sep 12, 2026 by
Avi-D-coder
Loading…
attribute for automatic revealing string and bytestring literals
#2928
opened Sep 11, 2026 by
wood-ghost
Contributor
•
Draft
fix: normalize projections before filtering external trait impls
#2921
opened Sep 10, 2026 by
Marsman1996
Contributor
Loading…
Fix recommends-checking incompleteness for let-bound spec calls (#912, #1060, #692)
#2905
opened Sep 5, 2026 by
Marti2203
Contributor
Loading…
vstd: add IteratorSpec for core::iter::Enumerate
#2904
opened Sep 4, 2026 by
arxgy
Contributor
Loading…
support pattern matching in closure parameters
#2899
opened Sep 4, 2026 by
wood-ghost
Contributor
•
Draft
Encode unique
TypeTag for each type, to support reasoning about Any-style type identity and downcasts
#2892
opened Sep 3, 2026 by
SNoAnd
Loading…
add spec to all ascii related methods to
std::char
#2877
opened Sep 1, 2026 by
wood-ghost
Contributor
Loading…
builtin_macros: don't force
mut on exec-level tracked/ghost let bindings
#2864
opened Aug 29, 2026 by
Marti2203
Contributor
Loading…
builtin_macros: skip VERUS_SPEC__ trait-method splitting for external traits
#2863
opened Aug 29, 2026 by
Marti2203
Contributor
Loading…
Fix
global size_of/global layout facts not usable outside their declaring module
#2862
opened Aug 29, 2026 by
Marti2203
Contributor
Loading…
Add spec to
Iterator::position and Iterator::find_map methods
#2849
opened Aug 24, 2026 by
wood-ghost
Contributor
Loading…
Add specifications for vstd::slice (ascii, iter, and lossy)
#2840
opened Aug 22, 2026 by
q5438722
Loading…
Add specifications for vstd::slice (access and chunk)
#2839
opened Aug 22, 2026 by
q5438722
Loading…
Previous Next
ProTip!
Updated in the last three days: updated:>2026-09-10.