Skip to content

Pull requests: verus-lang/verus

New pull request New
30 Open 867 Closed
30 Open 867 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

Prove instead of admit a multiset lemma
#1614 opened Apr 30, 2025 by ahuoguo Loading…
@utaal
add no_unwind to vec index and vec len
#1613 opened Apr 30, 2025 by tjhance Loading…
1
When sorting messages, call from_raw_span from original rustc thread
#1610 opened Apr 27, 2025 by Chris-Hawblitzel Loading…
1
1
Unambiguous View
#1598 opened Apr 17, 2025 by jaybosamiya-ms • Draft
7
print function mode in expanded time json
#1595 opened Apr 16, 2025 by ahuoguo • Draft
3
update syntax for broadcast use needs-tooling-updates Needs changes to Verusfmt and/or Verus-Analyzer
#1571 opened Apr 5, 2025 by ahuoguo • Draft
6
Add specifications and laws for PartialEq, Eq, PartialOrd, Ord
#1569 opened Apr 4, 2025 by Chris-Hawblitzel Loading…
1
strong_call_ensures attribute
#1568 opened Apr 4, 2025 by Chris-Hawblitzel Loading…
change the encoding for consts and const fns
#1563 opened Apr 3, 2025 by tjhance Loading…
3
Add syntax for default_ensures needs-tooling-updates Needs changes to Verusfmt and/or Verus-Analyzer
#1551 opened Apr 1, 2025 by Chris-Hawblitzel Loading…
2
Add default_ensures for declaring ensures clauses of default trait functions
#1548 opened Mar 28, 2025 by Chris-Hawblitzel Loading…
10
Add an 'axiom' keyword
#1518 opened Mar 18, 2025 by tjhance Loading…
4
Add DeepView impl for str and String
#1497 opened Mar 6, 2025 by txiang61 Loading…
Proof of concept for erasure-by-THIR modification.
#1489 opened Feb 28, 2025 by tjhance • Draft
1
Support operator
#1465 opened Feb 21, 2025 by ziqiaozhou Loading…
22
Support broadcast groups in traits
#1442 opened Feb 10, 2025 by utaal • Draft
Rustc 1.85.0
#1385 opened Jan 11, 2025 by utaal • Draft
2 tasks
@utaal @ziqiaozhou
10
get_impl_paths more exhaustive checks
#1342 opened Nov 13, 2024 by tjhance Loading…
6
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
1
Add documentation on type sizes
#1188 opened Jun 26, 2024 by hayley-leblanc Loading…
2
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
ProTip! Follow long discussions with comments:>50.