Skip to content

Pull requests: viperproject/prusti-dev

New pull request New
Clear current search query, filters, and sorts
27 Open 1,025 Closed
27 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Provide Specs for the Standard Library
#1249 opened Nov 24, 2022 by juliand665 Loading…
15 of 26 tasks
@Aurel300
28 ❤️ 4
Enforce no unwrap in proc macro implementations
#1174 opened Sep 29, 2022 by JonasAlaif Loading…
@JonasAlaif
❤️ 1
Credit Specification Parsing & Encoding
#559 opened Jun 15, 2021 by ELowis • Draft
@Aurel300
Add TimSort rewritten code
#932 opened Mar 29, 2022 by Omar0Tarek Loading…
@vakaras
6
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 Loading…
@JonasAlaif
1
WIP: Iterator tracking issues
#980 opened Apr 27, 2022 by vl0w Loading…
@Aurel300
12
Other BST and AVL examples
#1016 opened May 22, 2022 by JonasAlaif • Draft
@JonasAlaif
Handle Unconstrained Lifetimes in Loops
#1094 opened Jul 19, 2022 by pascal-huber • Draft
@vakaras
Owned non aliased generics 2 - [showcase/attempt]
#1098 opened Jul 21, 2022 by pascal-huber • Draft
@vakaras
Refactoring
#1192 opened Oct 12, 2022 by vakaras • Draft
@vakaras
Try disabling function unfolding triggers.
#1231 opened Nov 6, 2022 by vakaras Loading…
@vakaras
2
Ghost Type Encodings
#181 opened Sep 23, 2020 by aakp10 Loading…
@Aurel300
37
Lithium: a Rust-native back end
#1321 opened Feb 13, 2023 by JakuJ Loading…
25
[WIP] Various IDE improvements and new features
#1334 opened Feb 22, 2023 by cedihegi • Draft
@Aurel300
59
Unreachable code detection
#1385 opened Apr 3, 2023 by simon-hrabec Loading…
@JonasAlaif
6
Prusti 2.0: Free PCS
#1398 opened Apr 18, 2023 by JonasAlaif Loading…
3 tasks
@JonasAlaif
Sif extension
#1403 opened May 16, 2023 by Pialex99 Loading…
@Aurel300
Resources, Obligations, Time Reasoning
#1408 opened Jun 5, 2023 by vfukala Loading…
@Aurel300
Prusti 2.0: Coupling Graph
#1449 opened Aug 22, 2023 by JonasAlaif • Draft
2 tasks
@JonasAlaif
Runtime checks
#1452 opened Sep 6, 2023 by cedihegi • Draft
Update dependencies (rustc nightly-2023-11-01, viper v-2023-09-27-0729)
#1470 opened Nov 1, 2023 by viper-admin Loading…
2 of 5 tasks
@Aurel300 @JonasAlaif
2
Viper Data Collection changes
#1510 opened Mar 24, 2024 by Simon-Hostettler Loading…
@Dspil
python script: import error
#1514 opened May 8, 2024 by cospectrum Loading…
add verify_errors_as_warnings
#1525 opened Aug 7, 2024 by seanrion Loading…
Just checking CI
#1282 opened Jan 19, 2023 by vakaras • Draft
@vakaras
ProTip! Exclude everything labeled bug with -label:bug.