1 Release published by 1 person

• v4.10.0 Dafny 4.10.0

  published Feb 4, 2025

5 Pull requests merged by 4 people

• Chore: Not generate boogie translation if not verifying

  #6067 merged Feb 4, 2025

• Chore: Set up nightly and prerelease for 4.10.0

  #6093 merged Feb 4, 2025

• fix: Add CanCall’s for default-valued parameters of method calls

  #6091 merged Feb 3, 2025

• Fix angry module LSP diagnostic

  #6086 merged Jan 30, 2025

• fix: remove unnecessary mut

  #6081 merged Jan 30, 2025

1 Pull request opened by 1 person

• Release 4.10.0

  #6096 opened Feb 5, 2025

2 Issues closed by 2 people

• Combination of default arguments and module refinement no longer verifies

  #6090 closed Feb 3, 2025

• Can't start language server dll via dotnet

  #6087 closed Jan 30, 2025

3 Issues opened by 3 people

• Java backend: Unboxed bool return type in trait implementations

  #6094 opened Feb 4, 2025

• Unsoundness of type verification caused by update syntax

  #6089 opened Jan 30, 2025

• Flaky test: DafnyPipeline.Test.DocstringTest.DocStringForModules

  #6088 opened Jan 30, 2025

11 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.

• chore(Python): Improve slicing performance

  #6042 commented on Feb 4, 2025 • 3 new comments

• Unstable test VerificationStatusTest.ManualRunCancelCancelRunRun

  #2316 commented on Feb 3, 2025 • 0 new comments

• Update .NET version references in documentation and homebrew formula

  #4685 commented on Feb 5, 2025 • 0 new comments

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

  #5888 commented on Feb 5, 2025 • 0 new comments

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

  #5486 commented on Feb 5, 2025 • 0 new comments

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

  #5565 commented on Feb 5, 2025 • 0 new comments

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

  #5640 commented on Feb 5, 2025 • 0 new comments

• Fixes: Rust supports overriding traits

  #5948 commented on Feb 4, 2025 • 0 new comments

• Function alloc soundness fix

  #6018 commented on Feb 3, 2025 • 0 new comments

• feat: Compute triggers for such-that operations

  #6023 commented on Feb 4, 2025 • 0 new comments

• Opaque block fresh soundness

  #6066 commented on Feb 5, 2025 • 0 new comments