• feat: The Dafny CLI, Dafny as a library, and the C# runtime are now available on NuGet. You can install the CLI with dotnet tool install --global Dafny. The library is available as DafnyPipeline and the runtime is available as DafnyRuntime. (#2051)
• feat: New syntax for quantified variables, allowing per-variable domains (x <- C) and ranges (x | P(x), y | Q(x, y)). See the quantifier domain section of the Reference Manual. (#2195)
• feat: The IDE will show verification errors for a method immediately after that method has been verified, instead of after all methods are verified. (#2142)
• feat: Added "Resolving..." message for IDE extensions (#2234)
• feat: Live verification diagnostics for the language server (#1942)
• fix: Correctly specify the type of the receiver parameter when translating tail-recursive member functions to C# (#2205)
• fix: Added support for type parameters in automatically generated tests (#2227)
• fix: No more display of previous obsolete verification diagnostics if newer are available (#2142)
• fix: Prevent the language server from crashing and not responding on resolution or ghost diagnostics errors (#2080)
• fix: Various improvements to language server robustness (#2254)