Skip to content

Issues: viperproject/prusti-dev

Disabled tests
#543 opened Jun 8, 2021 by Aurel300
Open 2
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

250 Open 225 Closed
250 Open 225 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Prusti server stopped working
#1527 opened Aug 12, 2024 by cdstanford
1
linux-aarch64: "cargo-prusti: cannot execute binary file: Exec format error"
#1526 opened Aug 12, 2024 by ValarMorghulisMaiDou
Feature Request: Add Configuration Flag to Lower Verify Errors to Warnings
#1524 opened Aug 7, 2024 by seanrion
1
Internal error: Location bb6[1] has not yet been encoded
#1521 opened Jun 20, 2024 by nishanthkarthik
cannot generate fold-unfold Viper statements
#1520 opened Jun 19, 2024 by nishanthkarthik
unsupported feature: determining the region of a dereferentiation is not supported
#1519 opened Jun 19, 2024 by nishanthkarthik
Assert(false) passing with Shared References
#1518 opened Jun 15, 2024 by cliu369
1
Error: cannot generate fold-unfold Viper statements
#1517 opened Jun 14, 2024 by nishanthkarthik
len() implementation without overflow errors enhancement New feature or request
#1516 opened May 28, 2024 by fpoli
1
External specification declared on a trait implementation did not resolve to a concrete type
#1515 opened May 27, 2024 by nishanthkarthik
Enum: unsupported statement kind Intrinsic(Assume(move _))
#1513 opened Apr 16, 2024 by nishanthkarthik
Enum discriminant completeness
#1512 opened Apr 10, 2024 by nishanthkarthik
Error for missing model lifetime specifier recommends invalid syntax, has unclear fix bug Something isn't working
#1509 opened Mar 21, 2024 by csgordon
3
ghost seq not implemented bug Something isn't working error-reporting Something needs to be fixed in the error reporting
#1508 opened Mar 9, 2024 by nishanthkarthik
1
Inconsistency in the encoding of Rust addresses as Viper Ref types bug Something isn't working unsoundness Unsoudness in Prusti
#1506 opened Mar 5, 2024 by fpoli
Unsupported constant string in println enhancement New feature or request
#1504 opened Mar 3, 2024 by MathieuSoysal
1
Support for old(..) expressions in loop invariants bug Something isn't working error-reporting Something needs to be fixed in the error reporting
#1500 opened Feb 29, 2024 by fpoli
Unexpected order of verification errors error-reporting Something needs to be fixed in the error reporting
#1489 opened Jan 15, 2024 by fpoli
Failing procedural macro of a contract bug Something isn't working error-reporting Something needs to be fixed in the error reporting
#1480 opened Dec 8, 2023 by fpoli
Update rust nightly to support codegen-backend enhancement New feature or request
#1478 opened Dec 3, 2023 by sigmaSd
1
Internal error when assigning a closure call to a reference bug Something isn't working
#1472 opened Nov 2, 2023 by fpoli
Internal error when assigning to an argument bug Something isn't working
#1471 opened Nov 2, 2023 by fpoli
Help message for x.py enhancement New feature or request good first issue Good for newcomers
#1469 opened Oct 27, 2023 by fpoli
Switch to the domain definition of read$ enhancement New feature or request
#1468 opened Oct 27, 2023 by fpoli
Prusti doesn’t run for the thumbv7em-none-eabihf target bug Something isn't working
#1466 opened Oct 26, 2023 by pwnorbitals
5
ProTip! Exclude everything labeled bug with -label:bug.