-
Notifications
You must be signed in to change notification settings - Fork 256
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
internal error on trait functions taking multiple arguments of trait type parameter
during 2: compilation of correct program
Dafny rejects a valid program during compilation
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
lang: java
Dafny's Java transpiler and its runtime
part: resolver
Resolution and typechecking
priority: next
Will consider working on this after in progress work is done
#5368
opened Apr 26, 2024 by
erniecohen
Incorrectly inferring type as nullable
during 2: compilation of correct program
Dafny rejects a valid program during compilation
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
priority: now
Will work on this now
#5244
opened Mar 22, 2024 by
txiang61
Missing downcast for datatype construction argument
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: c#
Dafny's C# transpiler and its runtime
part: code-generation
Support for transpiling Dafny to another language. If relevant, add a `lang:` tag
priority: next
Will consider working on this after in progress work is done
#5043
opened Feb 2, 2024 by
robin-aws
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.