-
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
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5423
by aws-crypto-tools-ci-bot
was closed May 15, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5451
by aws-crypto-tools-ci-bot
was closed May 15, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5450
by aws-crypto-tools-ci-bot
was closed May 15, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5449
by aws-crypto-tools-ci-bot
was closed May 24, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
#5448
by dafny-lang-bot
was closed May 15, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5439
by aws-crypto-tools-ci-bot
was closed May 15, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
#5438
by dafny-lang-bot
was closed May 15, 2024
Nighty failed because a MacOS node timed out
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
#5432
by keyboardDrummer
was closed Jun 6, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5431
by aws-crypto-tools-ci-bot
was closed May 15, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
#5430
by dafny-lang-bot
was closed May 15, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny
#5426
by aws-crypto-tools-ci-bot
was closed May 15, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
#5425
by dafny-lang-bot
was closed May 15, 2024
Are verify and measure-complexity different?
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
part: documentation
Dafny's reference manual, tutorial, and other materials
priority: not yet
Will reconsider working on this when we're looking for work
#5424
by hmijail
was closed May 15, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
#5422
by dafny-lang-bot
was closed May 15, 2024
Resolution errors do not get migrated / do not disappear when there are parse errors
#5428
by MikaelMayer
was closed May 14, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
#5416
by dafny-lang-bot
was closed May 9, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
#5413
by dafny-lang-bot
was closed May 9, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
#5411
by dafny-lang-bot
was closed May 9, 2024
Unstable test ProjectFileDoesNotOwnAllSourceFilesItUses
kind: language development speed
Slows down development of Dafny the language, flaky tests
#5410
by keyboardDrummer
was closed May 15, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
#5408
by dafny-lang-bot
was closed May 9, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
#5401
by dafny-lang-bot
was closed May 6, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
#5400
by dafny-lang-bot
was closed May 6, 2024
[PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
#5398
by dafny-lang-bot
was closed May 6, 2024
Flaky test failure: dafny0/snapshots/Snapshots9.run.legacy.dfy
kind: language development speed
Slows down development of Dafny the language, flaky tests
#5396
by MikaelMayer
was closed May 3, 2024
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.