Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dafny-lang/dafny issues and pull requests
#5445 - Turn on more logging for `ProjectFileDoesNotOwnAllSourceFilesItUses`
Pull Request -
State: closed - Opened by keyboardDrummer 5 months ago
#5444 - Fix bugs that could lead to an unresponsive IDE when working with project files
Pull Request -
State: closed - Opened by keyboardDrummer 5 months ago
#5443 - Flaky Test: LanguageServer.IntegrationTest.Lookup.DocumentSymbolTest.CanResolveSymbolsForMultiFileProjects
Issue -
State: open - Opened by MikaelMayer 5 months ago
- 2 comments
Labels: kind: language development speed, priority: next
#5442 - Fix: Optional pre-type won't cause a crash anymore
Pull Request -
State: closed - Opened by MikaelMayer 5 months ago
- 2 comments
#5441 - Fix: Support for user-defined module fmt for all compilers
Pull Request -
State: closed - Opened by MikaelMayer 5 months ago
- 1 comment
#5440 - Fix: No new resolver crash with partially resolved datatype update expressions
Pull Request -
State: closed - Opened by MikaelMayer 5 months ago
#5436 - Unstable test ChangingTheDocumentStopsOnChangeVerification
Issue -
State: open - Opened by keyboardDrummer 5 months ago
- 2 comments
Labels: kind: language development speed, priority: next
#5435 - strange assertion failure
Issue -
State: open - Opened by toNanjingnan 5 months ago
- 2 comments
Labels: incompleteness
#5434 - Flaky LSP test: DocumentAddedToExistingProjectDoesNotCrash
Issue -
State: open - Opened by MikaelMayer 5 months ago
- 7 comments
Labels: part: language server, kind: language development speed, priority: next
#5433 - chore-rust-operators-followup
Pull Request -
State: closed - Opened by MikaelMayer 5 months ago
#5432 - Nighty failed because a MacOS node timed out
Issue -
State: closed - Opened by keyboardDrummer 5 months ago
- 2 comments
Labels: kind: language development speed, priority: next
#5420 - Flaky CI Test: LanguageServer.IntegrationTest.ProjectFiles.CompetingProjectFilesTest.ProjectFileDoesNotOwnAllSourceFilesItUses
Issue -
State: open - Opened by MikaelMayer 5 months ago
- 11 comments
Labels: kind: language development speed, priority: next
#5419 - Improve code navigation
Pull Request -
State: closed - Opened by keyboardDrummer 5 months ago
#5412 - fix: Ignore values not in a multiset when computing its hash in C#
Pull Request -
State: closed - Opened by fabiomadge 5 months ago
#5407 - Add `dafny migrate` to support migration and reduce backwards compatibility requirements
Issue -
State: open - Opened by keyboardDrummer 5 months ago
- 2 comments
Labels: kind: enhancement, kind: language development speed
#5402 - fix: Unguarded enumeration of bound variables in set and map comprehensions
Pull Request -
State: closed - Opened by fabiomadge 5 months ago
#5395 - Support (!new) on trait
Issue -
State: open - Opened by txiang61 5 months ago
- 1 comment
Labels: kind: enhancement, priority: not yet
#5393 - Timeout reporting
Pull Request -
State: closed - Opened by keyboardDrummer 5 months ago
#5392 - Report configured instead of actual runtime after a timeout.
Pull Request -
State: open - Opened by keyboardDrummer 5 months ago
#5391 - TEST ISSUE PLEASE IGNORE
Issue -
State: closed - Opened by aws-crypto-tools-ci-bot 5 months ago
#5390 - Feat: Rust operators
Pull Request -
State: open - Opened by MikaelMayer 5 months ago
Labels: run-deep-tests
#5389 - Flaky test: git-issue-3855.dfy
Issue -
State: closed - Opened by robin-aws 5 months ago
- 7 comments
Labels: kind: bug
#5388 - Unstable test NoExtraThreadAfterEachChange
Issue -
State: open - Opened by keyboardDrummer 5 months ago
- 1 comment
Labels: kind: language development speed
#5387 - Add more logging to QuickEditsInLargeFile
Pull Request -
State: closed - Opened by keyboardDrummer 5 months ago
#5386 - Fix a bug in AwaitNextNotificationAsync that prevented the 'Waited fo…
Pull Request -
State: open - Opened by keyboardDrummer 5 months ago
#5385 - Type checking sometimes doesn't terminate when using `--type-system-refresh`
Issue -
State: open - Opened by dschoepe 5 months ago
- 1 comment
Labels: kind: bug, part: resolver, priority: next, during 2: compilation of correct program
#5384 - Flaky test failure: Microsoft.Dafny.LanguageServer.IntegrationTest.ProjectFiles.StandardLibrary.EditWhenUsingStandardLibrary
Issue -
State: open - Opened by robin-aws 5 months ago
- 4 comments
Labels: kind: language development speed
#5383 - Revert "Feat rust operators (#5380)" (again)
Pull Request -
State: closed - Opened by robin-aws 5 months ago
- 1 comment
Labels: run-deep-tests
#5382 - ci: Daily CI to soak flaky tests
Pull Request -
State: closed - Opened by robin-aws 5 months ago
#5381 - `fresh` doesn't imply inequality with `--general-traits=datatype`
Issue -
State: open - Opened by dschoepe 5 months ago
- 4 comments
Labels: kind: bug, priority: not yet, during 1: program development
#5380 - Feat rust operators
Pull Request -
State: closed - Opened by MikaelMayer 5 months ago
Labels: run-deep-tests
#5379 - Missing autocut step from some downstream customer nightly tests
Issue -
State: closed - Opened by robin-aws 5 months ago
- 1 comment
Labels: release-blocker, priority: next
#5378 - Remove 'note,' at the start of some warnings
Pull Request -
State: closed - Opened by keyboardDrummer 5 months ago
#5377 - Revert "Feat: Rust operators and immutable collections (#5081)"
Pull Request -
State: closed - Opened by keyboardDrummer 5 months ago
Labels: run-deep-tests
#5376 - Dafny language server does not clean up z3 child processes
Issue -
State: open - Opened by mitchellholt 5 months ago
- 3 comments
Labels: kind: bug, priority: not yet
#5375 - Dafny verify with verification-time-limit internal error
Issue -
State: closed - Opened by anymeyer 5 months ago
- 1 comment
Labels: kind: bug
#5373 - Chore rust operators followup
Pull Request -
State: open - Opened by MikaelMayer 5 months ago
#5372 - Add dedicated content on determinism and methods vs. functions to the reference manual
Issue -
State: open - Opened by robin-aws 5 months ago
Labels: part: documentation, priority: next
#5372 - Add dedicated content on determinism and methods vs. functions to the reference manual
Issue -
State: open - Opened by robin-aws 5 months ago
Labels: part: documentation, priority: next
#5371 - internal error on static constants in newtypes based on bitvectors
Issue -
State: open - Opened by erniecohen 5 months ago
Labels: kind: bug
#5371 - internal error on static constants in newtypes based on bitvectors
Issue -
State: open - Opened by erniecohen 5 months ago
- 4 comments
Labels: kind: bug, part: resolver, during 2: compilation of correct program
#5370 - Surprising Verification Failures with Nested Datatypes + Classes
Issue -
State: open - Opened by whonore 5 months ago
Labels: kind: bug
#5370 - Surprising Verification Failures with Nested Datatypes + Classes
Issue -
State: open - Opened by whonore 5 months ago
- 2 comments
Labels: kind: bug, part: verifier, priority: next, during 2: compilation of correct program
#5369 - Crash in new resolver
Issue -
State: closed - Opened by keyboardDrummer 5 months ago
Labels: kind: bug, part: resolver, priority: next, during 2: compilation of correct program
#5369 - Crash in new resolver
Issue -
State: closed - Opened by keyboardDrummer 5 months ago
Labels: kind: bug, part: resolver, priority: next, during 2: compilation of correct program
#5368 - internal error on trait functions taking multiple arguments of trait type parameter
Issue -
State: open - Opened by erniecohen 5 months ago
- 2 comments
Labels: kind: bug, priority: next, during 2: compilation of correct program
#5368 - internal error on trait functions taking multiple arguments of trait type parameter
Issue -
State: open - Opened by erniecohen 5 months ago
- 2 comments
Labels: kind: bug, part: resolver, priority: next, during 2: compilation of correct program
#5367 - Implement `decreases to` expressions
Pull Request -
State: open - Opened by atomb 5 months ago
#5367 - Implement `decreases to` expressions
Pull Request -
State: closed - Opened by atomb 5 months ago
- 1 comment
#5366 - function refinement broken
Issue -
State: open - Opened by erniecohen 5 months ago
- 2 comments
Labels: kind: bug, part: resolver, area: refinement, priority: next, during 2: compilation of correct program
#5366 - function refinement broken
Issue -
State: open - Opened by erniecohen 5 months ago
- 1 comment
Labels: kind: bug, priority: next, during 2: compilation of correct program
#5365 - internal error: function call on datatype with updated member
Issue -
State: closed - Opened by erniecohen 5 months ago
Labels: kind: bug, part: resolver, priority: next, during 2: compilation of correct program
#5365 - internal error: function call on datatype with updated member
Issue -
State: closed - Opened by erniecohen 5 months ago
Labels: kind: bug, part: resolver, priority: next, during 2: compilation of correct program
#5364 - Clarify handling of strings in print statement
Issue -
State: open - Opened by robin-aws 5 months ago
Labels: kind: enhancement, part: documentation, priority: not yet
#5364 - Clarify handling of strings in print statement
Issue -
State: open - Opened by robin-aws 5 months ago
Labels: part: documentation
#5362 - Behavior of havoc operator in combination with definite assignment is not well explained in error messages
Issue -
State: open - Opened by keyboardDrummer 5 months ago
Labels: kind: enhancement, during 1: program development
#5361 - Revert "Retry LSP tests in case of error (#5342)"
Pull Request -
State: closed - Opened by keyboardDrummer 5 months ago
- 3 comments
#5361 - Revert "Retry LSP tests in case of error (#5342)"
Pull Request -
State: open - Opened by keyboardDrummer 5 months ago
- 2 comments
#5360 - Turning on doofiles/Test4.dfy
Pull Request -
State: closed - Opened by keyboardDrummer 5 months ago
#5360 - Turning on doofiles/Test4.dfy
Pull Request -
State: closed - Opened by keyboardDrummer 5 months ago
#5359 - Add support for base field in project files
Pull Request -
State: open - Opened by keyboardDrummer 5 months ago
#5359 - Add support for base field in project files
Pull Request -
State: closed - Opened by keyboardDrummer 5 months ago
#5358 - [PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
Issue -
State: closed - Opened by dafny-lang-bot 5 months ago
- 1 comment
#5358 - [PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
Issue -
State: closed - Opened by dafny-lang-bot 5 months ago
- 1 comment
#5357 - Request textDocument/completion failed in IDE
Issue -
State: closed - Opened by keyboardDrummer 5 months ago
Labels: kind: bug, part: language server, priority: next, during 1: program development
#5357 - Request textDocument/completion failed in IDE
Issue -
State: closed - Opened by keyboardDrummer 5 months ago
Labels: kind: bug, part: language server, priority: next, during 1: program development
#5356 - Spurious Cyclic Datatype Dependency Warning
Issue -
State: open - Opened by whonore 5 months ago
- 1 comment
Labels: kind: bug, part: resolver, priority: not yet, during 1: program development
#5356 - Spurious Cyclic Datatype Dependency Warning
Issue -
State: open - Opened by whonore 5 months ago
Labels: kind: bug, priority: next, during 2: compilation of correct program
#5355 - IDE throws exception related to code actions
Issue -
State: closed - Opened by keyboardDrummer 5 months ago
- 1 comment
Labels: kind: bug, part: language server, during 1: program development
#5353 - [PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
Issue -
State: closed - Opened by dafny-lang-bot 5 months ago
- 1 comment
#5353 - [PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
Issue -
State: closed - Opened by dafny-lang-bot 5 months ago
- 1 comment
#5351 - map display vs map update
Issue -
State: open - Opened by kjx 5 months ago
- 3 comments
Labels: kind: enhancement, part: language definition
#5351 - map display vs map update
Issue -
State: open - Opened by kjx 5 months ago
- 3 comments
Labels: kind: enhancement, part: language definition
#5350 - Build against a newer GoLang
Pull Request -
State: closed - Opened by keyboardDrummer 5 months ago
- 2 comments
Labels: run-deep-tests
#5350 - Build against a newer GoLang
Pull Request -
State: closed - Opened by keyboardDrummer 5 months ago
- 2 comments
Labels: run-deep-tests
#5347 - Fix: Standard libraries compatibility with general newtypes
Pull Request -
State: closed - Opened by MikaelMayer 5 months ago
- 1 comment
#5347 - Fix: Standard libraries to be compatible with general newtypes
Pull Request -
State: open - Opened by MikaelMayer 5 months ago
- 1 comment
#5346 - feat: Translation records
Pull Request -
State: open - Opened by robin-aws 5 months ago
- 1 comment
#5346 - feat: Translation records
Pull Request -
State: closed - Opened by robin-aws 5 months ago
- 2 comments
#5345 - Standard libraries not working with general-newtypes=true
Issue -
State: closed - Opened by MikaelMayer 5 months ago
- 1 comment
Labels: kind: bug, priority: now, during 2: compilation of correct program
#5337 - Enable reusing the specification of options in a dfyconfig.toml
Issue -
State: closed - Opened by keyboardDrummer 6 months ago
- 2 comments
Labels: kind: enhancement, area: build-system
#5335 - Enable safely using doo files that were verified against other doo files
Issue -
State: open - Opened by keyboardDrummer 6 months ago
- 4 comments
Labels: kind: bug, priority: not yet, during 3: execution of incorrect program
#5333 - Test ResolutionErrors[45679] with new resolver
Pull Request -
State: closed - Opened by RustanLeino 6 months ago
#5333 - Test ResolutionErrors[45679] with new resolver
Pull Request -
State: closed - Opened by RustanLeino 6 months ago
#5331 - Internal Error: System.NullReferenceException
Issue -
State: closed - Opened by erniecohen 6 months ago
- 1 comment
Labels: kind: bug, part: resolver, crash, priority: next, during 2: compilation of correct program
#5329 - Do not refer to auditor code when building a Dafny library
Pull Request -
State: closed - Opened by keyboardDrummer 6 months ago
#5329 - Do not refer to auditor code when building a Dafny library
Pull Request -
State: closed - Opened by keyboardDrummer 6 months ago
#5327 - [PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
Issue -
State: closed - Opened by dafny-lang-bot 6 months ago
- 2 comments
Labels: release-blocker
#5327 - [PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny
Issue -
State: closed - Opened by dafny-lang-bot 6 months ago
- 2 comments
Labels: release-blocker
#5322 - Try building with .NET 8.0
Pull Request -
State: open - Opened by atomb 6 months ago
- 2 comments
#5321 - Unstable test due to timeout when executing Rust back-end
Issue -
State: open - Opened by keyboardDrummer 6 months ago
- 1 comment
Labels: kind: language development speed, priority: next
#5319 - Unstable test 'VerificationDiagnosticsCanBeMigratedAcrossMultipleResolutions
Issue -
State: closed - Opened by keyboardDrummer 6 months ago
- 2 comments
Labels: kind: language development speed, priority: next
#5318 - Add retries to NoExtraThreadAfterEachChange
Pull Request -
State: closed - Opened by keyboardDrummer 6 months ago
- 1 comment
#5317 - Add first pass of proof obligation description expressions
Pull Request -
State: closed - Opened by alex-chew 6 months ago
#5316 - When running many iterations, they get progressively slower until one gets stuck
Issue -
State: open - Opened by hmijail 6 months ago
- 5 comments
Labels: kind: bug
#5315 - [WIP] Refactoring to support `decreases to`
Pull Request -
State: open - Opened by atomb 6 months ago
#5314 - Exception in TestNotificationReceiver due to race condition
Issue -
State: closed - Opened by keyboardDrummer 6 months ago
Labels: kind: language development speed
#5313 - Warn when using non doo file as a library
Pull Request -
State: closed - Opened by keyboardDrummer 6 months ago
#5312 - Update Z3 to 4.12.6
Pull Request -
State: open - Opened by atomb 6 months ago
#5311 - Support members for the new newtypes
Pull Request -
State: open - Opened by RustanLeino 6 months ago