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

#5471 - Stack overflow with long-ish seq

Issue - State: open - Opened by hmijail about 1 month ago - 5 comments
Labels: kind: bug, part: verifier

#5470 - Guidance on z3 versions?

Issue - State: open - Opened by hmijail about 1 month ago - 1 comment
Labels: kind: enhancement, part: documentation

#5469 - [Python] Incorrect reserved word escaping for dependency modules

Issue - State: closed - Opened by lucasmcdonald3 about 1 month ago
Labels: kind: bug, lang: python

#5468 - Z3 installation link might need an update

Issue - State: closed - Opened by rishav-karanjit about 1 month ago - 1 comment
Labels: part: documentation

#5467 - Add yet more ProofObligationDescription expressions

Pull Request - State: closed - Opened by alex-chew about 1 month ago

#5465 - Compiled code has useless duplicate membership test

Issue - State: open - Opened by MikaelMayer about 1 month ago
Labels: kind: enhancement, part: code-generation, area: performance

#5462 - [PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-database-encryption-sdk-dynamodb

Issue - State: open - Opened by robin-aws about 2 months ago - 2 comments
Labels: breaking-change

#5461 - feat: python-module-name

Pull Request - State: closed - Opened by lucasmcdonald3 about 2 months ago - 5 comments

#5460 - Flaky test: LanguageServer.IntegrationTest.Lookup.SignatureHelpTest.SignatureHelpOnOpeningParenthesesReturnsSignatureOfClosestFunction

Issue - State: open - Opened by MikaelMayer about 2 months ago - 2 comments
Labels: kind: language development speed, priority: next

#5459 - Translation records should not include options for empty models

Issue - State: closed - Opened by robin-aws about 2 months ago
Labels: kind: enhancement, release-blocker

#5457 - Improve stability of RedundantAssumptionsGetWarnings

Pull Request - State: closed - Opened by keyboardDrummer about 2 months ago

#5455 - Add more ProofObligationDescription expressions

Pull Request - State: closed - Opened by alex-chew about 2 months ago

#5454 - chore(deps): bump rexml from 3.2.6 to 3.2.8 in /docs

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, ruby

#5447 - Fix crash and add test

Pull Request - State: closed - Opened by keyboardDrummer about 2 months ago

#5446 - Do not let 'null' children slip into the AST

Pull Request - State: closed - Opened by keyboardDrummer about 2 months ago - 4 comments

#5443 - Flaky Test: LanguageServer.IntegrationTest.Lookup.DocumentSymbolTest.CanResolveSymbolsForMultiFileProjects

Issue - State: open - Opened by MikaelMayer about 2 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 about 2 months ago - 2 comments

#5441 - Fix: Support for user-defined module fmt for all compilers

Pull Request - State: closed - Opened by MikaelMayer about 2 months ago - 1 comment

#5436 - Unstable test ChangingTheDocumentStopsOnChangeVerification

Issue - State: open - Opened by keyboardDrummer about 2 months ago - 2 comments
Labels: kind: language development speed, priority: next

#5435 - strange assertion failure

Issue - State: open - Opened by toNanjingnan about 2 months ago - 2 comments
Labels: incompleteness

#5434 - Flaky LSP test: DocumentAddedToExistingProjectDoesNotCrash

Issue - State: open - Opened by MikaelMayer about 2 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 about 2 months ago

#5432 - Nighty failed because a MacOS node timed out

Issue - State: closed - Opened by keyboardDrummer about 2 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 about 2 months ago - 11 comments
Labels: kind: language development speed, priority: next

#5419 - Improve code navigation

Pull Request - State: closed - Opened by keyboardDrummer about 2 months ago

#5412 - fix: Ignore values not in a multiset when computing its hash in C#

Pull Request - State: closed - Opened by fabiomadge about 2 months ago

#5407 - Add `dafny migrate` to support migration and reduce backwards compatibility requirements

Issue - State: open - Opened by keyboardDrummer about 2 months ago - 2 comments
Labels: kind: enhancement, kind: language development speed

#5395 - Support (!new) on trait

Issue - State: open - Opened by txiang61 2 months ago - 1 comment
Labels: kind: enhancement, priority: not yet

#5393 - Timeout reporting

Pull Request - State: closed - Opened by keyboardDrummer 2 months ago

#5391 - TEST ISSUE PLEASE IGNORE

Issue - State: closed - Opened by aws-crypto-tools-ci-bot 2 months ago

#5390 - Feat: Rust operators

Pull Request - State: open - Opened by MikaelMayer 2 months ago
Labels: run-deep-tests

#5389 - Flaky test: git-issue-3855.dfy

Issue - State: closed - Opened by robin-aws 2 months ago - 7 comments
Labels: kind: bug

#5388 - Unstable test NoExtraThreadAfterEachChange

Issue - State: open - Opened by keyboardDrummer 2 months ago - 1 comment
Labels: kind: language development speed

#5387 - Add more logging to QuickEditsInLargeFile

Pull Request - State: closed - Opened by keyboardDrummer 2 months ago

#5385 - Type checking sometimes doesn't terminate when using `--type-system-refresh`

Issue - State: open - Opened by dschoepe 2 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 2 months ago - 4 comments
Labels: kind: language development speed

#5383 - Revert "Feat rust operators (#5380)" (again)

Pull Request - State: closed - Opened by robin-aws 2 months ago - 1 comment
Labels: run-deep-tests

#5382 - ci: Daily CI to soak flaky tests

Pull Request - State: closed - Opened by robin-aws 2 months ago

#5381 - `fresh` doesn't imply inequality with `--general-traits=datatype`

Issue - State: open - Opened by dschoepe 2 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 2 months ago
Labels: run-deep-tests

#5379 - Missing autocut step from some downstream customer nightly tests

Issue - State: open - Opened by robin-aws 2 months ago
Labels: release-blocker, priority: next

#5378 - Remove 'note,' at the start of some warnings

Pull Request - State: closed - Opened by keyboardDrummer 2 months ago

#5377 - Revert "Feat: Rust operators and immutable collections (#5081)"

Pull Request - State: closed - Opened by keyboardDrummer 2 months ago
Labels: run-deep-tests

#5376 - Dafny language server does not clean up z3 child processes

Issue - State: open - Opened by mitchellholt 2 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 2 months ago - 1 comment
Labels: kind: bug

#5373 - Chore rust operators followup

Pull Request - State: open - Opened by MikaelMayer 2 months ago

#5372 - Add dedicated content on determinism and methods vs. functions to the reference manual

Issue - State: open - Opened by robin-aws 2 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 2 months ago
Labels: part: documentation, priority: next

#5371 - internal error on static constants in newtypes based on bitvectors

Issue - State: open - Opened by erniecohen 2 months ago
Labels: kind: bug

#5371 - internal error on static constants in newtypes based on bitvectors

Issue - State: open - Opened by erniecohen 2 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 2 months ago - 2 comments
Labels: kind: bug, part: verifier, priority: next, during 2: compilation of correct program

#5370 - Surprising Verification Failures with Nested Datatypes + Classes

Issue - State: open - Opened by whonore 2 months ago
Labels: kind: bug

#5369 - Crash in new resolver

Issue - State: closed - Opened by keyboardDrummer 2 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 2 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 2 months ago - 2 comments
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 2 months ago - 2 comments
Labels: kind: bug, priority: next, during 2: compilation of correct program

#5367 - Implement `decreases to` expressions

Pull Request - State: open - Opened by atomb 2 months ago

#5367 - Implement `decreases to` expressions

Pull Request - State: closed - Opened by atomb 2 months ago - 1 comment

#5366 - function refinement broken

Issue - State: open - Opened by erniecohen 2 months ago - 1 comment
Labels: kind: bug, priority: next, during 2: compilation of correct program

#5366 - function refinement broken

Issue - State: open - Opened by erniecohen 2 months ago - 2 comments
Labels: kind: bug, part: resolver, area: refinement, priority: next, during 2: compilation of correct program

#5365 - internal error: function call on datatype with updated member

Issue - State: closed - Opened by erniecohen 2 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 2 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 2 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 2 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 2 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 2 months ago - 3 comments

#5361 - Revert "Retry LSP tests in case of error (#5342)"

Pull Request - State: open - Opened by keyboardDrummer 2 months ago - 2 comments

#5360 - Turning on doofiles/Test4.dfy

Pull Request - State: closed - Opened by keyboardDrummer 2 months ago

#5360 - Turning on doofiles/Test4.dfy

Pull Request - State: closed - Opened by keyboardDrummer 2 months ago

#5359 - Add support for base field in project files

Pull Request - State: closed - Opened by keyboardDrummer 2 months ago

#5359 - Add support for base field in project files

Pull Request - State: open - Opened by keyboardDrummer 2 months ago

#5357 - Request textDocument/completion failed in IDE

Issue - State: closed - Opened by keyboardDrummer 2 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 2 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 2 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 2 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 2 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 2 months ago - 3 comments
Labels: kind: enhancement, part: language definition

#5351 - map display vs map update

Issue - State: open - Opened by kjx 2 months ago - 3 comments
Labels: kind: enhancement, part: language definition

#5350 - Build against a newer GoLang

Pull Request - State: closed - Opened by keyboardDrummer 2 months ago - 2 comments
Labels: run-deep-tests

#5350 - Build against a newer GoLang

Pull Request - State: closed - Opened by keyboardDrummer 2 months ago - 2 comments
Labels: run-deep-tests