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
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
Loop invariant might not hold, but there is none
bug
Something isn't working
error-reporting
Something needs to be fixed in the error reporting
#1465
opened Oct 24, 2023 by
fpoli
Prusti encounters unexpected internal error on return types containing references
refs-in-structs
Prusti currently doesn't support references inside ADTs (structs, enums)
#1457
opened Sep 21, 2023 by
benjaminflin
Evaluate Profile-Guided Optimization (PGO) and LLVM BOLT
enhancement
New feature or request
#1454
opened Sep 13, 2023 by
zamazan4ik
Termination checks of mutually recursive functions
unsoundness
Unsoudness in Prusti
#1443
opened Aug 14, 2023 by
fpoli
Internal error: Viper doesn't support Something isn't working
folding .. in .. expressions
bug
#1441
opened Aug 14, 2023 by
fpoli
Cannot use PartialOrd in specifications despite marking them as #[pure] using external spec feature
bug
Something isn't working
#1436
opened Aug 9, 2023 by
Ramla-I
Compiler shows Something isn't working
good first issue
Good for newcomers
non_snake_case warnings for internal prusti_extern_spec_... functions
bug
#1429
opened Jul 18, 2023 by
vfukala
Issues with verifying the result is None
bug
Something isn't working
#1427
opened Jul 13, 2023 by
nokunish
Stack overflow for mutually recursive specifications
bug
Something isn't working
#1426
opened Jul 11, 2023 by
vfukala
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.