Dafny 3.7.0

[fabiomadge]

• 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. (Enable packaging Dafny as a .NET tool #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. (feat: Domains and ranges for quantified variables #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. (Fix: Prevent diagnostics to "pass through" #2142)
• feat: Added "Resolving..." message for IDE extensions (Feat: Added "ResolutionStarted" push API. #2234)
• feat: Live verification diagnostics for the language server (feat: Verification diagnostics (core version) #1942)
• fix: Correctly specify the type of the receiver parameter when translating tail-recursive member functions to C# (Fix C# codegen for tail-recursive member functions #2205)
• fix: Added support for type parameters in automatically generated tests (Type Parameters in Automatically Generated Tests #2227)
• fix: No more display of previous obsolete verification diagnostics if newer are available (Fix: Prevent diagnostics to "pass through" #2142)
• fix: Prevent the language server from crashing and not responding on resolution or ghost diagnostics errors (fix: Added code to catch resolver exceptions if any. #2080)
• fix: Various improvements to language server robustness (Catch exceptions in observed tasks #2254)

---

This discussion was created from the release Dafny 3.7.0.