Skip to content

Pull requests: Aurel300/prusti-dev

New pull request New
18 Open 128 Closed
18 Open 128 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

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
Draft: Unsizing for trait objects
#150 opened Mar 13, 2026 by rgwohlbold • Draft
3
Unsafe: Raw pointers
#148 opened Mar 12, 2026 by ThomasMayerl • Draft
2
Fix ConstEnc
#144 opened Mar 2, 2026 by ThomasMayerl Loading…
34
(WIP) Encode spec items as methods
#138 opened Feb 24, 2026 by Aurel300 • Draft
2 tasks
Concrete trait impl checks
#137 opened Feb 15, 2026 by Trzyq0712 Loading…
5 tasks done
68
Specification refinement
#133 opened Jan 30, 2026 by Trzyq0712 Loading…
18
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! What’s not been updated in a month: updated:<2026-02-25.