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

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…
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…
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
Resources, Obligations, Time Reasoning
#1408 opened Jun 5, 2023 by vfukala Loading…
Sif extension
#1403 opened May 16, 2023 by Pialex99 Loading…
Prusti 2.0: Free PCS
#1398 opened Apr 18, 2023 by JonasAlaif Loading…
3 tasks
Unreachable code detection
#1385 opened Apr 3, 2023 by simon-hrabec Loading…
Lithium: a Rust-native back end
#1321 opened Feb 13, 2023 by JakuJ Loading…
Just checking CI
#1282 opened Jan 19, 2023 by vakaras Draft
Provide Specs for the Standard Library
#1249 opened Nov 24, 2022 by juliand665 Loading…
15 of 26 tasks
Try disabling function unfolding triggers.
#1231 opened Nov 6, 2022 by vakaras Loading…
Refactoring
#1192 opened Oct 12, 2022 by vakaras Draft
Enforce no unwrap in proc macro implementations
#1174 opened Sep 29, 2022 by JonasAlaif Loading…
Other BST and AVL examples
#1016 opened May 22, 2022 by JonasAlaif Draft
WIP: Iterator tracking issues
#980 opened Apr 27, 2022 by vl0w 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…
Add TimSort rewritten code
#932 opened Mar 29, 2022 by Omar0Tarek Loading…
ProTip! Follow long discussions with comments:>50.