Skip to content

Pull requests: viperproject/prusti-dev

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

Ghost Type Encodings
#181 opened Sep 23, 2020 by aakp10 Loading…
Verify segment tree examples A pull request that adds additional examples.
#450 opened Apr 6, 2021 by kammola Loading…
Add TimSort rewritten code
#932 opened Mar 29, 2022 by Omar0Tarek Loading…
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…
WIP: Iterator tracking issues
#980 opened Apr 27, 2022 by vl0w Loading…
Other BST and AVL examples
#1016 opened May 22, 2022 by JonasAlaif Draft
Enforce no unwrap in proc macro implementations
#1174 opened Sep 29, 2022 by JonasAlaif Loading…
Refactoring
#1192 opened Oct 12, 2022 by vakaras Draft
Try disabling function unfolding triggers.
#1231 opened Nov 6, 2022 by vakaras Loading…
Provide Specs for the Standard Library
#1249 opened Nov 24, 2022 by juliand665 Loading…
15 of 26 tasks
Just checking CI
#1282 opened Jan 19, 2023 by vakaras Draft
Lithium: a Rust-native back end
#1321 opened Feb 13, 2023 by JakuJ Loading…
Unreachable code detection
#1385 opened Apr 3, 2023 by simon-hrabec Loading…
Prusti 2.0: Free PCS
#1398 opened Apr 18, 2023 by JonasAlaif Loading…
3 tasks
Sif extension
#1403 opened May 16, 2023 by Pialex99 Loading…
Resources, Obligations, Time Reasoning
#1408 opened Jun 5, 2023 by vfukala Loading…
Prusti 2.0: Coupling Graph
#1449 opened Aug 22, 2023 by JonasAlaif Draft
2 tasks
Runtime checks
#1452 opened Sep 6, 2023 by cedihegi Draft
Viper Data Collection changes
#1510 opened Mar 24, 2024 by Simon-Hostettler Loading…
fix python script: import error
#1514 opened May 8, 2024 by cospectrum Loading…
ProTip! Adding no:label will show everything without a label.