Skip to content

Pull requests: verus-lang/verus

New pull request New
22 Open 751 Closed
22 Open 751 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

New documentation page on devising invariants
#1381 opened Jan 9, 2025 by parno Loading…
@jaylorch
Expand docs to illustrate how the modes work together
#1377 opened Jan 9, 2025 by parno Loading…
add better syntax for external_fn_specification
#1368 opened Dec 19, 2024 by tjhance Loading…
2
Strengthen Map axioms
#1367 opened Dec 19, 2024 by matthias-brun Loading…
1
bugfix: interaction between triggers, let, and nested quantifiers, fixes #1347
#1362 opened Dec 10, 2024 by tjhance Loading…
1
get_impl_paths more exhaustive checks
#1342 opened Nov 13, 2024 by tjhance Loading…
3
Rust 1.82.0
#1330 opened Oct 31, 2024 by utaal • Draft
update default z3 version to 4.13.0 and fix the runtime version check
#1316 opened Oct 23, 2024 by Catoverflow Loading…
4
Faster interpreter
#1225 opened Jul 14, 2024 by tjhance • Draft
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
Leverage Cargo
#1138 opened May 23, 2024 by nspin • Draft
@Chris-Hawblitzel
16
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
fix #885 and other ordering related incompleteness
#905 opened Nov 16, 2023 by utaal • Draft
1
1
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
21
Attributes docs
#638 opened Jun 27, 2023 by utaal • Draft
warn when using higher mode types in parameters (and return) with lower modes, #170
#323 opened Nov 16, 2022 by utaal • Draft
1 task done
8
ProTip! Updated in the last three days: updated:>2025-01-07.