11 Pull requests merged by 5 people

• Add more ProofObligationDescription expressions

  #5455 merged May 18, 2024

• Fix: Optional pre-type won't cause a crash anymore

  #5442 merged May 17, 2024

• Fix: Support for user-defined module fmt for all compilers

  #5441 merged May 17, 2024

• Attempt to fix the stability of DocumentAddedToExistingProjectDoesNotCrash

  #5456 merged May 17, 2024

• chore(deps): bump rexml from 3.2.6 to 3.2.8 in /docs

  #5454 merged May 16, 2024

• Improve code navigation

  #5419 merged May 16, 2024

• Turn on more logging for `ProjectFileDoesNotOwnAllSourceFilesItUses`

  #5445 merged May 15, 2024

• Clear diagnostics when closing documents in projects

  #5437 merged May 15, 2024

• Remove phases

  #5429 merged May 14, 2024

• Added interface for plugins to add JsonRpcRequestHandlers to the language server

  #5161 merged May 14, 2024

• IDE performance improvements

  #5415 merged May 13, 2024

7 Pull requests opened by 3 people

• chore-rust-operators-followup

  #5433 opened May 13, 2024

• Fix: No new resolver crash with partially resolved datatype update expressions

  #5440 opened May 14, 2024

• Fix bugs that could lead to an unresponsive IDE when working with project files

  #5444 opened May 15, 2024

• Do not let 'null' children slip into the AST

  #5446 opened May 15, 2024

• Fix crash and add test

  #5447 opened May 15, 2024

• Improve stability of RedundantAssumptionsGetWarnings

  #5457 opened May 17, 2024

• feat: python-module-name

  #5461 opened May 17, 2024

23 Issues closed by 4 people

• [PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny

  #5458 closed May 17, 2024

• [PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny

  #5453 closed May 17, 2024

• Crash in new resolver

  #5369 closed May 17, 2024

• Reserved keywords in Go in need of escape

  #5283 closed May 17, 2024

• Flaky LSP test: DocumentAddedToExistingProjectDoesNotCrash

  #5434 closed May 17, 2024

• [PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-cryptographic-material-providers-library

  #5452 closed May 16, 2024

• [PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny

  #5451 closed May 15, 2024

• [PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny

  #5423 closed May 15, 2024

• [PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny

  #5426 closed May 15, 2024

• [PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny

  #5431 closed May 15, 2024

• [PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny

  #5439 closed May 15, 2024

• [PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny

  #5450 closed May 15, 2024

• [PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny

  #5438 closed May 15, 2024

• [PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny

  #5430 closed May 15, 2024

• [PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny

  #5425 closed May 15, 2024

• [PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny

  #5422 closed May 15, 2024

• [PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny

  #5448 closed May 15, 2024

• Solve bugs in "Goto definition" LSP request

  #2321 closed May 15, 2024

• Unstable test NoExtraThreadAfterEachChange

  #5388 closed May 15, 2024

• Unstable test ProjectFileDoesNotOwnAllSourceFilesItUses

  #5410 closed May 15, 2024

• Request: Increase responsiveness of formatting by doing it before the resolution phase

  #3416 closed May 15, 2024

• Are verify and measure-complexity different?

  #5424 closed May 15, 2024

• Resolution errors do not get migrated / do not disappear when there are parse errors

  #5428 closed May 14, 2024

8 Issues opened by 5 people

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

  #5462 opened May 17, 2024

• Flaky test: LanguageServer.IntegrationTest.Lookup.SignatureHelpTest.SignatureHelpOnOpeningParenthesesReturnsSignatureOfClosestFunction

  #5460 opened May 17, 2024

• Translation records should not include options for empty models

  #5459 opened May 17, 2024

• [PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny

  #5449 opened May 15, 2024

• Flaky Test: LanguageServer.IntegrationTest.Lookup.DocumentSymbolTest.CanResolveSymbolsForMultiFileProjects

  #5443 opened May 14, 2024

• Unstable test ChangingTheDocumentStopsOnChangeVerification

  #5436 opened May 14, 2024

• strange assertion failure

  #5435 opened May 14, 2024

• Nighty failed because a MacOS node timed out

  #5432 opened May 13, 2024

32 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• high CPU/RAM usage when should be idle

  #5174 commented on May 17, 2024 • 12 new comments

• Flaky CI Test: LanguageServer.IntegrationTest.ProjectFiles.CompetingProjectFilesTest.ProjectFileDoesNotOwnAllSourceFilesItUses

  #5420 commented on May 16, 2024 • 10 new comments

• Prover died on simple program

  #5421 commented on May 14, 2024 • 2 new comments

• Add `dafny migrate` to support migration and reduce backwards compatibility requirements

  #5407 commented on May 16, 2024 • 1 new comment

• Crash, likely related to refinement

  #4129 commented on May 15, 2024 • 1 new comment

• Enable module resolution caching to work, even if the file containing the module has changed

  #5241 commented on May 15, 2024 • 1 new comment

• Internal Error: System.NullReferenceException

  #5331 commented on May 14, 2024 • 1 new comment

• Dafny Go runtime (Binaries/DafnyRuntime.go) should be published as a Go module

  #494 commented on May 14, 2024 • 0 new comments

• internal error on trait functions taking multiple arguments of trait type parameter

  #5368 commented on May 14, 2024 • 0 new comments

• Disambiguation priority not preserved when importing modules

  #4364 commented on May 14, 2024 • 0 new comments

• Java Build Name Clash

  #4336 commented on May 14, 2024 • 0 new comments

• function refinement broken

  #5366 commented on May 14, 2024 • 0 new comments

• IDE does not provide feedback if the solver can not be started

  #5131 commented on May 15, 2024 • 0 new comments

• Use proof dependencies for more thorough brittleness reduction warnings

  #5261 commented on May 17, 2024 • 0 new comments

• Added the script that helps me fix dafny issues.

  #3038 commented on May 14, 2024 • 0 new comments

• Deduplicate verification diagnostic reporting between CLI and server

  #5246 commented on May 13, 2024 • 0 new comments

• Implement `decreases to` expressions

  #5367 commented on May 17, 2024 • 0 new comments

• internal error: function call on datatype with updated member

  #5365 commented on May 14, 2024 • 0 new comments

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

  #5385 commented on May 14, 2024 • 0 new comments

• C# Wrong Result: Multi-level Multisets

  #4011 commented on May 14, 2024 • 0 new comments

• this is not fresh and fresh in well-formedness

  #4700 commented on May 14, 2024 • 0 new comments

• Runtime cast exception in set comprehension

  #3320 commented on May 14, 2024 • 0 new comments

• --warn-missing-constructor-parentheses doesn't warn when missing constructor arguments

  #5409 commented on May 14, 2024 • 0 new comments

• Empty type initialization leads to proving false

  #5136 commented on May 14, 2024 • 0 new comments

• Quantifying over map.Keys has quadratic runtime in Java

  #4010 commented on May 14, 2024 • 0 new comments

• Crash on reads with different datatype ordering

  #5232 commented on May 14, 2024 • 0 new comments

• Export sets should transitively consider subset types

  #5417 commented on May 13, 2024 • 0 new comments

• Cannot prove termination of datatype / seq / generics

  #4783 commented on May 13, 2024 • 0 new comments

• Don't force extern classes to implement extern traits

  #2647 commented on May 13, 2024 • 0 new comments

• Name clash and other issues in compiled code for `type` with type variables with the same name

  #3140 commented on May 13, 2024 • 0 new comments

• Clarify handling of strings in print statement

  #5364 commented on May 13, 2024 • 0 new comments

• "this" not protected in lambdas in tail-recursive functions

  #4684 commented on May 13, 2024 • 0 new comments