Labels
Labels
96 labels
- Pull requests that update .NET code
- Support for dependencies in Dafny, generation of target language build files
- Support for caching parts of Dafny's verification pipeline
- Clarity of the error reporting
- The {:extern} attribute and otherwise interfacing with code in other languages
- Getting new users started
- Support for reasoning about nonlinear arithmetic
- Performance issues
- Dafny's module-refinement machinery
- For issues that are created by CI automation
- Any change that will cause existing Dafny codebases to break (excluding verification instability)
- Dafny crashes on this input, or generates malformed code that can not be executed
- Pull requests that update a dependency file
- Issues that should take a few days at most to fix
- Good first issues
- Issues that will take more than a week to fix
- Issues that should take a few days to a week to fix
- Bad error message or documentation; IDE bug; crash compiling invalid program
- Dafny rejects a valid program during compilation
- An bug in the verifier that allows Dafny to run a program that does not correctly implement its spec
- A bug in the Dafny compiler that causes a correct Dafny program to execute incorrectly
- Pull requests that update GitHub Actions code
- There are no known workarounds
- There is a known workaround
- Things that Dafny should be able to prove, but can't