Skip to content

Pull requests: Aurel300/prusti-dev

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

Pull requests list

[WIP] Concrete trait impl checks
#137 opened Feb 15, 2026 by Trzyq0712 Loading…
8 tasks done
3
Fix using assert_eq
#136 opened Feb 13, 2026 by ThomasMayerl Loading…
1
7
[WIP] Update PCG
#135 opened Feb 9, 2026 by zgrannan • Draft
Implement specification refinement using trait bounds
#133 opened Jan 30, 2026 by Trzyq0712 Loading…
Fix wands
#132 opened Jan 30, 2026 by JonasAlaif • Draft
(WIP) Trait specs
#127 opened Jan 26, 2026 by Aurel300 • Draft
14 of 17 tasks
4
[WIP] Fix for pure-fn/complex-fn.rs
#126 opened Jan 20, 2026 by zgrannan Loading…
Revert testing setup changes
#108 opened Oct 3, 2025 by JonasAlaif Loading…
Create testing setup
#103 opened Sep 19, 2025 by JonasAlaif • Draft
2
Add generic params to snapshot constructors
#91 opened Aug 7, 2025 by JonasAlaif • Draft
Loop Invariant Encoding
#78 opened Jul 3, 2025 by paaassscccaaalll Loading…
1
Add basic optimisations
#65 opened Apr 24, 2025 by JonasAlaif • Draft
Experimental Suppport for async code
#59 opened Sep 6, 2024 by erdmannc • Draft
Collect postconditions for async fns
#53 opened May 29, 2024 by erdmannc • Draft
3
Encode domains and axioms for traits
#52 opened May 23, 2024 by zgrannan • Draft
5
Optimization for expressions
#37 opened Jan 15, 2024 by tillarnold • Draft
ProTip! Adding no:label will show everything without a label.