Skip to content

Pull requests: viperproject/prusti-dev

New pull request New
28 Open 1,025 Closed
28 Open 1,025 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

Prototype extension for translating foreign function specs to VeriFast.
#1533 opened Jun 16, 2025 by Herddex Loading…
@Aurel300
add verify_errors_as_warnings
#1525 opened Aug 7, 2024 by seanrion Loading…
Fix incorrect environment variable name
#1522 opened Jul 10, 2024 by thederekkaplan Loading…
1
fix python script: import error
#1514 opened May 8, 2024 by cospectrum Loading…
Viper Data Collection changes
#1510 opened Mar 24, 2024 by Simon-Hostettler Loading…
@Dspil
Update dependencies (rustc nightly-2023-11-01, viper v-2023-09-27-0729)
#1470 opened Nov 1, 2023 by viper-admin Member Loading…
2 of 5 tasks
@Aurel300 @JonasAlaif
2
Runtime checks
#1452 opened Sep 6, 2023 by cedihegi • Draft
Prusti 2.0: Coupling Graph
#1449 opened Aug 22, 2023 by JonasAlaif Contributor • Draft
2 tasks
@JonasAlaif
Resources, Obligations, Time Reasoning
#1408 opened Jun 5, 2023 by vfukala Loading…
@Aurel300
Sif extension
#1403 opened May 16, 2023 by Pialex99 Loading…
@Aurel300
Prusti 2.0: Free PCS
#1398 opened Apr 18, 2023 by JonasAlaif Contributor Loading…
3 tasks
@JonasAlaif
Unreachable code detection
#1385 opened Apr 3, 2023 by simon-hrabec Contributor Loading…
@JonasAlaif
6
[WIP] Various IDE improvements and new features
#1334 opened Feb 22, 2023 by cedihegi • Draft
@Aurel300
59
Lithium: a Rust-native back end
#1321 opened Feb 13, 2023 by JakuJ Contributor Loading…
25
Just checking CI
#1282 opened Jan 19, 2023 by vakaras Contributor • Draft
@vakaras
Provide Specs for the Standard Library
#1249 opened Nov 24, 2022 by juliand665 Contributor Loading…
15 of 26 tasks
@Aurel300
29
Try disabling function unfolding triggers.
#1231 opened Nov 6, 2022 by vakaras Contributor Loading…
@vakaras
2
Refactoring
#1192 opened Oct 12, 2022 by vakaras Contributor • Draft
@vakaras
Enforce no unwrap in proc macro implementations
#1174 opened Sep 29, 2022 by JonasAlaif Contributor Loading…
@JonasAlaif
Owned non aliased generics 2 - [showcase/attempt]
#1098 opened Jul 21, 2022 by pascal-huber Contributor • Draft
@vakaras
Handle Unconstrained Lifetimes in Loops
#1094 opened Jul 19, 2022 by pascal-huber Contributor • Draft
@vakaras
Other BST and AVL examples
#1016 opened May 22, 2022 by JonasAlaif Contributor • Draft
@JonasAlaif
WIP: Iterator tracking issues
#980 opened Apr 27, 2022 by vl0w Contributor Loading…
@Aurel300
12
Add Caching Documentation pending-on-external Issues that we cannot resolve due to factors outside of our control (e.g. in rustc).
#973 opened Apr 22, 2022 by JonasAlaif Contributor Loading…
@JonasAlaif
1
Add TimSort rewritten code
#932 opened Mar 29, 2022 by Omar0Tarek Loading…
@vakaras
6
ProTip! Type g i on any issue or pull request to go back to the issue listing page.