Skip to content

Pull requests: Aurel300/prusti-dev

New pull request New
21 Open 141 Closed
21 Open 141 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

Unique constant names
#177 opened May 21, 2026 by rgwohlbold Loading…
Fix missing caller substitution in apply_wands
#176 opened May 16, 2026 by rgwohlbold Loading…
Spec blocks
#175 opened May 13, 2026 by Aurel300 Owner • Draft
3 of 5 tasks
ReVars from outer InferCtxt crash try_normalize
#169 opened Apr 29, 2026 by rgwohlbold Loading…
7
Integrate doctests pipeline into CI
#168 opened Apr 28, 2026 by rgwohlbold Loading…
1 task done
3
New Pure Function Encoding
#163 opened Mar 28, 2026 by jaspergeer Loading…
2
Change the encoding of the closure macro
#160 opened Mar 20, 2026 by Trzyq0712 Loading…
Disambiguate adt names
#156 opened Mar 19, 2026 by Trzyq0712 Loading…
2
[BLOCKED] Builtin trait encoder
#154 opened Mar 16, 2026 by Trzyq0712 Loading…
9
Unsafe: Raw pointers
#148 opened Mar 12, 2026 by ThomasMayerl • Draft
18
(WIP) Encode spec items as methods
#138 opened Feb 24, 2026 by Aurel300 Owner • Draft
2 tasks
Concrete trait impl checks
#137 opened Feb 15, 2026 by Trzyq0712 Loading…
5 tasks done
69
Specification refinement
#133 opened Jan 30, 2026 by Trzyq0712 Loading…
19
Revert testing setup changes
#108 opened Oct 3, 2025 by JonasAlaif Collaborator Loading…
Create testing setup
#103 opened Sep 19, 2025 by JonasAlaif Collaborator • Draft
2
Add generic params to snapshot constructors
#91 opened Aug 7, 2025 by JonasAlaif Collaborator • Draft
Loop Invariant Encoding
#78 opened Jul 3, 2025 by paaassscccaaalll Loading…
1
Add basic optimisations
#65 opened Apr 24, 2025 by JonasAlaif Collaborator • 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
Optimization for expressions
#37 opened Jan 15, 2024 by tillarnold • Draft
ProTip! Updated in the last three days: updated:>2026-06-10.