Skip to content

Pull requests: viperproject/prusti-dev

New pull request New
25 Open 1,025 Closed
25 Open 1,025 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

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 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 • 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 Loading…
3 tasks
@JonasAlaif
Unreachable code detection
#1385 opened Apr 3, 2023 by simon-hrabec 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 Loading…
25
Just checking CI
#1282 opened Jan 19, 2023 by vakaras • Draft
@vakaras
Provide Specs for the Standard Library
#1249 opened Nov 24, 2022 by juliand665 Loading…
15 of 26 tasks
@Aurel300
28
Try disabling function unfolding triggers.
#1231 opened Nov 6, 2022 by vakaras Loading…
@vakaras
2
Refactoring
#1192 opened Oct 12, 2022 by vakaras • Draft
@vakaras
Enforce no unwrap in proc macro implementations
#1174 opened Sep 29, 2022 by JonasAlaif Loading…
@JonasAlaif
Owned non aliased generics 2 - [showcase/attempt]
#1098 opened Jul 21, 2022 by pascal-huber • Draft
@vakaras
Handle Unconstrained Lifetimes in Loops
#1094 opened Jul 19, 2022 by pascal-huber • Draft
@vakaras
Other BST and AVL examples
#1016 opened May 22, 2022 by JonasAlaif • Draft
@JonasAlaif
WIP: Iterator tracking issues
#980 opened Apr 27, 2022 by vl0w 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 Loading…
@JonasAlaif
1
Add TimSort rewritten code
#932 opened Mar 29, 2022 by Omar0Tarek Loading…
@vakaras
6
Credit Specification Parsing & Encoding
#559 opened Jun 15, 2021 by ELowis • Draft
@Aurel300
Verify segment tree
examples A pull request that adds additional examples.
#450 opened Apr 6, 2021 by kammola Loading…
@vakaras
1
Ghost Type Encodings
#181 opened Sep 23, 2020 by aakp10 Loading…
@Aurel300
37
ProTip! Filter pull requests by the default branch with base:master.