Skip to content

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.

Sign up for GitHub

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

Clear current search query, filters, and sorts
1,034 Open 1,599 Closed
1,034 Open 1,599 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Test generation produces sequence with elements of wrong type kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label part: test generation Relates to the dafny generate-tests command
#5608 by stefan-aws was closed Jul 9, 2024
1
Missing downcasts 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
#5597 by RustanLeino was closed Jul 10, 2024
1
@RustanLeino
Bad related error location for inlined conjunct area: error-reporting Clarity of the error reporting kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
#5586 by RustanLeino was closed Jul 10, 2024
1
@RustanLeino
internal error on assert/assume (... decreases to ...) crash Dafny crashes on this input, or generates malformed code that can not be executed kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label part: resolver Resolution and typechecking
#5585 by erniecohen was closed Jul 8, 2024
1
@atomb
Disjunctive pattern matching not correctly handled during 4: bad execution of correct program A bug in the Dafny compiler that causes a correct Dafny program to execute incorrectly kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
#5572 by MikaelMayer was closed Jun 26, 2024
1
Helpers.unsignedLongToBigInteger removed from Java runtime release-blocker Must be resolved before the next release
#5553 by robin-aws was closed Jun 17, 2024
1
@robin-aws
Flaky test Microsoft.Dafny.LanguageServer.IntegrationTest.Synchronization.ProjectManagerDatabaseTest.ChangeAndUndoProjectWithMultipleFile kind: language development speed Slows down development of Dafny the language, flaky tests
#5550 by MikaelMayer was closed Jun 10, 2024
1
Flaky test: DafnyTestGeneration kind: language development speed Slows down development of Dafny the language, flaky tests
#5549 by MikaelMayer was closed Jun 11, 2024
3
textDocument/codeAction failed during 1: program development Bad error message or documentation; IDE bug; crash compiling invalid program part: language server Support for LSP in Dafny (server part; client is in ide-vscode repo)
#5541 by keyboardDrummer was closed Jun 7, 2024
1
@keyboardDrummer
Flaky CI cancelled before completing
#5530 by MikaelMayer was closed Jun 5, 2024
1
Error when guarding nonexistent this 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: c# Dafny's C# transpiler and its runtime release-blocker Must be resolved before the next release
#5523 by fabiomadge was closed Jun 4, 2024
1
Flaky test: ConcurrentCompilationDoesNotBreakCaching kind: language development speed Slows down development of Dafny the language, flaky tests priority: next Will consider working on this after in progress work is done
#5515 by MikaelMayer was closed Jun 26, 2024
1
3
[PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny breaking-change Any change that will cause existing Dafny codebases to break (excluding verification instability)
#5485 by dafny-lang-bot was closed Jun 11, 2024
14
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5481 by fabiomadge was closed May 23, 2024
2
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5480 by aws-crypto-tools-ci-bot was closed May 23, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5479 by aws-crypto-tools-ci-bot was closed May 23, 2024
1
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5478 by aws-crypto-tools-ci-bot was closed May 24, 2024
New Failure
#5477 by fabiomadge was closed May 22, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-cryptographic-material-providers-library breaking-change Any change that will cause existing Dafny codebases to break (excluding verification instability)
#5473 by aws-crypto-tools-ci-bot was closed Jun 11, 2024
18
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5472 by aws-crypto-tools-ci-bot was closed May 24, 2024
[Python] Incorrect reserved word escaping for dependency modules kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label lang: python Dafny's Python transpiler and its runtime
#5469 by lucasmcdonald3 was closed May 22, 2024
1
Z3 installation link might need an update part: documentation Dafny's reference manual, tutorial, and other materials
#5468 by rishav-karanjit was closed May 22, 2024
1
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5466 by aws-crypto-tools-ci-bot was closed May 24, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5464 by aws-crypto-tools-ci-bot was closed May 24, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5463 by aws-crypto-tools-ci-bot was closed May 24, 2024
ProTip! What’s not been updated in a month: updated:<2024-06-11.