Labels

• bug

  Something isn't working
• dependencies

  Pull requests that update a dependency file
• documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• error-reporting

  Something needs to be fixed in the error reporting
• examples

  A pull request that adds additional examples.
• fold-unfold

  This is an issue with the fold-unfold algorithm in Prusti
• generics-hack

  See #187
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• incompleteness

  Something should not generate a verification error
• new-encoding
• pending-on-external

  Issues that we cannot resolve due to factors outside of our control (e.g. in rustc).
• performance
• question
• refs-in-structs

  Prusti currently doesn't support references inside ADTs (structs, enums)
• snapshots
• to-check
• unsoundness

  Unsoudness in Prusti
• viper-issue

  Something needs to be fixed in Viper
• wontfix

  This will not be worked on