Skip to content

Pull requests: Aurel300/prusti-dev

New pull request New
12 Open 105 Closed
12 Open 105 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

Add support for Reals
#119 opened Nov 17, 2025 by ThomasMayerl Loading…
Array/slice encoding
#117 opened Nov 13, 2025 by Aurel300 Loading…
14
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
Suggested edits to x.py
#73 opened Jun 14, 2025 by alexanderjsummers Loading…
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! Type g p on any issue or pull request to go back to the pull request listing page.