Skip to content

Pull requests: verus-lang/verus

New pull request New
32 Open 798 Closed
32 Open 798 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Attr add tracked args
#1492 opened Mar 1, 2025 by ziqiaozhou • Draft
[attr_rewrite] Replace panic with vpanic
#1491 opened Feb 28, 2025 by ziqiaozhou Loading…
Proof of concept for erasure-by-THIR modification.
#1489 opened Feb 28, 2025 by tjhance • Draft
Start handling derived trait impls
#1488 opened Feb 28, 2025 by tjhance Loading…
Specification for std::collections::VecDeque
#1486 opened Feb 28, 2025 by jaylorch Loading…
6
make the spans for loop queries more compact to reduce visual noise in gui-based interfaces
#1483 opened Feb 27, 2025 by utaal Loading…
1
Guide section on proving absence of overflow
#1478 opened Feb 26, 2025 by jaylorch Loading…
A solution to avoid using .set() function by replacing IndexMut with index_set
#1476 opened Feb 25, 2025 by ziqiaozhou Loading…
Leverage Cargo (continued)
#1475 opened Feb 25, 2025 by Chris-Hawblitzel • Draft
1
[wip] uninterp marker on uniterpreted spec fns
#1473 opened Feb 25, 2025 by utaal • Draft
1
Support operator
#1465 opened Feb 21, 2025 by ziqiaozhou Loading…
4
invariant mask checking using std::Set
#1462 opened Feb 20, 2025 by zeldovich Loading…
10
disallow #[trigger <expr>], fixes #1456
#1458 opened Feb 18, 2025 by utaal Loading…
2
Support broadcast groups in traits
#1442 opened Feb 10, 2025 by utaal • Draft
update PCell PointsTo to use MemContents
#1441 opened Feb 10, 2025 by tjhance Loading…
1
Add !is/!has syntax as shorthand for negated is/has
#1435 opened Feb 6, 2025 by matthias-brun • Draft
@matthias-brun
15
Rustc 1.84.0
#1385 opened Jan 11, 2025 by utaal • Draft
3 tasks
@utaal @ziqiaozhou
9
get_impl_paths more exhaustive checks
#1342 opened Nov 13, 2024 by tjhance Loading…
4
update z3 to 4.14.0
#1316 opened Oct 23, 2024 by Catoverflow • Draft
5
Faster interpreter
#1225 opened Jul 14, 2024 by tjhance • Draft
2
Monomorphization
#1218 opened Jul 10, 2024 by lenianiva • Draft
@limpa105 @lenianiva
remove tuples from the pool of potential auto triggers
#1199 opened Jun 28, 2024 by JoPolzin Loading…
1
4
Make broadcast size_of proof functions pub
#1196 opened Jun 27, 2024 by hayley-leblanc Loading…
3
Documentation for arithmetic and mixed triggers
#1192 opened Jun 26, 2024 by matthias-brun • Draft
@utaal @matthias-brun
Add documentation on type sizes
#1188 opened Jun 26, 2024 by hayley-leblanc Loading…
2
ProTip! Filter pull requests by the default branch with base:main.