Skip to content

Pull requests: verus-lang/verus

New pull request New
26 Open 809 Closed
26 Open 809 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

Add DeepView impl for str and String
#1497 opened Mar 6, 2025 by txiang61 Loading…
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…
5
Proof of concept for erasure-by-THIR modification.
#1489 opened Feb 28, 2025 by tjhance • Draft
1
Start handling derived trait impls
#1488 opened Feb 28, 2025 by tjhance Loading…
3
Leverage Cargo (continued)
#1475 opened Feb 25, 2025 by Chris-Hawblitzel Loading…
1
[wip] uninterp marker on uniterpreted spec fns
#1473 opened Feb 25, 2025 by utaal • Draft
2
Support operator
#1465 opened Feb 21, 2025 by ziqiaozhou Loading…
5
invariant mask checking using std::Set
#1462 opened Feb 20, 2025 by zeldovich Loading…
10
Support broadcast groups in traits
#1442 opened Feb 10, 2025 by utaal • Draft
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
1
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
Leverage Cargo
#1138 opened May 23, 2024 by nspin • Draft
@Chris-Hawblitzel
17
Support a module mode that verifies the contained proofs are in EPR and if so, enables the mbqi quant. instantiation strategy
#1000 opened Feb 19, 2024 by GenericMonkey • Draft
2
Change Seq to an enum and verify its axioms
#988 opened Feb 15, 2024 by tchajed • Draft
1
@tchajed
10
vargo: Decouple from rustup
#877 opened Nov 2, 2023 by zhaofengli Loading…
6
Support for ensures in spec fns
#744 opened Aug 13, 2023 by jonhnet • Draft
1
Generate our own impl block names for consistency between ghost/erased runs of rustc
#709 opened Jul 25, 2023 by Chris-Hawblitzel • Draft
22
ProTip! no:milestone will show everything without a milestone.