-
Notifications
You must be signed in to change notification settings - Fork 257
Issues: dafny-lang/dafny
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
--warn-missing-constructor-parentheses doesn't warn when missing constructor arguments
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
part: resolver
Resolution and typechecking
priority: next
Will consider working on this after in progress work is done
#5409
opened May 6, 2024 by
robin-aws
Add VERSIONING.md
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
#5212
opened Mar 19, 2024 by
robin-aws
Building DafnyRuntime fails on compiling Java
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
misc: tests
New tests or tutorials
#3237
opened Dec 21, 2022 by
keyboardDrummer
[Bug]: Default values of nested arrays broken in Java
crash
Dafny crashes on this input, or generates malformed code that can not be executed
during 2: compilation of correct program
Dafny rejects a valid program during compilation
invalid translated code
The compiler generates invalid code, making the the target language infrastructure crash
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
lang: java
Dafny's Java transpiler and its runtime
part: code-generation
Support for transpiling Dafny to another language. If relevant, add a `lang:` tag
testing-method: uniform-backend-testing
Issues found by ensuring uniform testing across backends
#3055
opened Nov 14, 2022 by
RustanLeino
[Feature request]: Generate explicit assertions
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
part: language server
Support for LSP in Dafny (server part; client is in ide-vscode repo)
Dafny Java runtime should be published as a Maven artifact
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
lang: java
Dafny's Java transpiler and its runtime
part: runtime
Happens in Dafny's runtime (Add a `lang` tag if relevant)
#492
opened Jan 10, 2020 by
robin-aws
ProTip!
Mix and match filters to narrow down what you’re looking for.