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
20 Open 15 Closed
20 Open 15 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

Standard libraries should enforce a minimum testing coverage threshold kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny misc: tests New tests or tutorials part: standard libraries Standard libraries packaged in the Dafny distribution
#6159 opened Mar 19, 2025 by robin-aws
Unstable test SlowlyTypeFile kind: language development speed Slows down development of Dafny the language, flaky tests misc: tests New tests or tutorials
#5905 opened Nov 7, 2024 by keyboardDrummer
Add regression tests for all signatures created by code generators misc: tests New tests or tutorials part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag
#5715 opened Aug 22, 2024 by keyboardDrummer
2
Unstable test: System.NullReferenceException at Microsoft.Boogie.ReadOnlyVisitor.VisitVariable 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 kind: language development speed Slows down development of Dafny the language, flaky tests misc: tests New tests or tutorials part: boogie Happens after passing the program to Boogie priority: next Will consider working on this after in progress work is done
#4387 opened Aug 4, 2023 by keyboardDrummer
3
xUnit lit test runner: generalize interface for executing commands in process kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny misc: tests New tests or tutorials
#3982 opened May 9, 2023 by robin-aws
b4.dfy integration test often times out on OSX kind: language development speed Slows down development of Dafny the language, flaky tests misc: tests New tests or tutorials
#3844 opened Apr 5, 2023 by keyboardDrummer
xUnit lit runner: execute %dafny in-process kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny misc: tests New tests or tutorials part: ci Issue is with Dafny's CI infrastructure
#3699 opened Mar 7, 2023 by robin-aws
@keyboardDrummer
EnsuresManyDocumentsCanBeVerifiedAtOnce is unstable misc: tests New tests or tutorials
#3403 opened Jan 25, 2023 by keyboardDrummer
1
Failure to download gradle during nightly kind: language development speed Slows down development of Dafny the language, flaky tests misc: tests New tests or tutorials part: ci Issue is with Dafny's CI infrastructure
#3247 opened Dec 22, 2022 by keyboardDrummer
1
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 status: fixed Issue cannot be reproduced with latest Dafny release
#3237 opened Dec 21, 2022 by keyboardDrummer
@alex-chew
1
Nightly test may time out kind: language development speed Slows down development of Dafny the language, flaky tests misc: tests New tests or tutorials
#3171 opened Dec 9, 2022 by keyboardDrummer
Implement broader use of %testDafnyForEachCompiler misc: tests New tests or tutorials
#3147 opened Dec 1, 2022 by davidcok
@davidcok
1
Let unit tests completely finish before starting new ones kind: language development speed Slows down development of Dafny the language, flaky tests misc: tests New tests or tutorials
#3118 opened Nov 28, 2022 by keyboardDrummer
Guarantee same diagnostics between verify and server commands kind: language development speed Slows down development of Dafny the language, flaky tests misc: tests New tests or tutorials part: language server Support for LSP in Dafny (server part; client is in ide-vscode repo)
#3109 opened Nov 24, 2022 by keyboardDrummer
@keyboardDrummer
3
Timeout on EnsureCachingDoesNotHideErrors in Windows CI misc: tests New tests or tutorials
#2898 opened Oct 17, 2022 by keyboardDrummer
Distinguish good Dafny examples from regression tests area: new users Getting new users started kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny misc: tests New tests or tutorials part: documentation Dafny's reference manual, tutorial, and other materials
#2788 opened Sep 22, 2022 by robin-aws
1
Unstable BetterMessageWhenOneAssertPerBatch test kind: language development speed Slows down development of Dafny the language, flaky tests misc: tests New tests or tutorials
#2720 opened Sep 9, 2022 by keyboardDrummer
2
Unstable test VerificationStatusTest.ManualRunCancelCancelRunRun misc: tests New tests or tutorials
#2316 opened Jun 29, 2022 by keyboardDrummer
4
Unstable test VerificationDiagnosticsCanBeMigratedAcrossMultipleResolutions misc: tests New tests or tutorials
#2309 opened Jun 28, 2022 by keyboardDrummer
ReorderingVerificationGutterStatusTester.TestPriorities test is unstable misc: tests New tests or tutorials
#2285 opened Jun 22, 2022 by keyboardDrummer
2
ProTip! no:milestone will show everything without a milestone.