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

#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

#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

#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

#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

#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

#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

#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

#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

#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