-
Notifications
You must be signed in to change notification settings - Fork 109
Issues: viperproject/prusti-dev
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
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
Internal error: Location bb6[1] has not yet been encoded
#1521
opened Jun 20, 2024 by
nishanthkarthik
unsupported feature: determining the region of a dereferentiation is not supported
#1519
opened Jun 19, 2024 by
nishanthkarthik
len()
implementation without overflow errors
enhancement
#1516
opened May 28, 2024 by
fpoli
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
Error for missing model lifetime specifier recommends invalid syntax, has unclear fix
bug
Something isn't working
#1509
opened Mar 21, 2024 by
csgordon
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
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
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
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 New feature or request
read$
enhancement
#1468
opened Oct 27, 2023 by
fpoli
Prusti doesn’t run for the Something isn't working
thumbv7em-none-eabihf
target
bug
#1466
opened Oct 26, 2023 by
pwnorbitals
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.