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,021 Open 1,591 Closed
1,021 Open 1,591 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

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
[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
Translation records should not include options for empty models kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny release-blocker Must be resolved before the next release
#5459 by robin-aws was closed May 22, 2024
1
@robin-aws
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5458 by aws-crypto-tools-ci-bot was closed May 17, 2024
1
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5453 by aws-crypto-tools-ci-bot was closed May 17, 2024
1
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-cryptographic-material-providers-library
#5452 by aws-crypto-tools-ci-bot was closed May 16, 2024
1
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5451 by aws-crypto-tools-ci-bot was closed May 15, 2024
1
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5450 by aws-crypto-tools-ci-bot was closed May 15, 2024
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.