From ff6902a854538c08c38214480391d233fa9ea673 Mon Sep 17 00:00:00 2001 From: Fabio Madge Date: Mon, 20 Jun 2022 23:02:24 +0200 Subject: [PATCH] chore: Bump version to 3.7.0 (#2272) --- RELEASE.md | 2 +- RELEASE_NOTES.md | 18 +++++++++++------- Source/Dafny/DafnyPipeline.csproj | 2 +- Source/DafnyDriver/DafnyDriver.csproj | 2 +- Source/version.cs | 6 +++--- 5 files changed, 17 insertions(+), 13 deletions(-) diff --git a/RELEASE.md b/RELEASE.md index b8007edecc2..b9d5c1eab9a 100644 --- a/RELEASE.md +++ b/RELEASE.md @@ -23,7 +23,7 @@ * `Source/DafnyDriver/DafnyDriver.csproj` - * `Source/DafnyLanguageServer/DafnyLanguageServer.csproj` + * `Source/Dafny/DafnyPipeline.csproj` Put the public version number in place of the "Upcoming" header in `RELEASE_NOTES.md`, and add a new "Upcoming" header above it. diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index 8846e38d8f6..742c55ee15a 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -1,15 +1,18 @@ # Upcoming -- feat: The IDE will show verification errors for a method immediately after that method has been verified, instead of after all methods are verified. -- 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`. -- 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](https://dafny-lang.github.io/dafny/DafnyRef/DafnyRef#sec-quantifier-domains) of the Reference Manual. -- fix: Various improvements to language server robustness -- fix: No more display of previous obsolete verification diagnostics if newer are available. (https://github.com/dafny-lang/dafny/pull/2142) -- feat: Live verification diagnostics for the language server (https://github.com/dafny-lang/dafny/pull/1942) -- fix: Prevent the language server from crashing and not responding on resolution or ghost diagnostics errors (https://github.com/dafny-lang/dafny/pull/2080) +# 3.7.0 + +- 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`. (https://github.com/dafny-lang/dafny/pull/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](https://dafny.org/dafny/DafnyRef/DafnyRef#sec-quantifier-domains) of the Reference Manual. (https://github.com/dafny-lang/dafny/pull/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. (https://github.com/dafny-lang/dafny/pull/2142) - feat: Added "Resolving..." message for IDE extensions (https://github.com/dafny-lang/dafny/pull/2234) +- feat: Live verification diagnostics for the language server (https://github.com/dafny-lang/dafny/pull/1942) - fix: Correctly specify the type of the receiver parameter when translating tail-recursive member functions to C# (https://github.com/dafny-lang/dafny/pull/2205) - fix: Added support for type parameters in automatically generated tests (https://github.com/dafny-lang/dafny/pull/2227) +- fix: No more display of previous obsolete verification diagnostics if newer are available (https://github.com/dafny-lang/dafny/pull/2142) +- fix: Prevent the language server from crashing and not responding on resolution or ghost diagnostics errors (https://github.com/dafny-lang/dafny/pull/2080) +- fix: Various improvements to language server robustness (https://github.com/dafny-lang/dafny/pull/2254) + # 3.6.0 @@ -39,6 +42,7 @@ - fix: Fix `(!new)` checks (https://github.com/dafny-lang/dafny/issues/1419) - fix: multiset keyword no longer crashes the parser (https://github.com/dafny-lang/dafny/pull/2079) + # 3.5.0 - feat: `continue` statements. Like Dafny's `break` statements, these come in two forms: one that uses a label to name the continue target and one that specifies the continue target by nesting level. See section [19.2](https://dafny-lang.github.io/dafny/DafnyRef/DafnyRef#sec-break-continue) of the Reference Manual. (https://github.com/dafny-lang/dafny/pull/1839) diff --git a/Source/Dafny/DafnyPipeline.csproj b/Source/Dafny/DafnyPipeline.csproj index 489d5f20e73..597bec45de3 100644 --- a/Source/Dafny/DafnyPipeline.csproj +++ b/Source/Dafny/DafnyPipeline.csproj @@ -17,7 +17,7 @@ false ..\..\Binaries\ TRACE - 3.6.0.40511 + 3.7.0.40620 net6.0 diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj index 5a9369f90c9..b9ffc88a570 100644 --- a/Source/DafnyDriver/DafnyDriver.csproj +++ b/Source/DafnyDriver/DafnyDriver.csproj @@ -9,7 +9,7 @@ ..\..\Binaries\ false - 3.6.0.40511 + 3.7.0.40620 true dafny diff --git a/Source/version.cs b/Source/version.cs index 1fe20480b9e..1d54c888292 100644 --- a/Source/version.cs +++ b/Source/version.cs @@ -1,7 +1,7 @@ using System.Reflection; -// Version 3.6.0, year 2018+4, month 5, day 11 +// Version 3.7.0, year 2018+4, month 6, day 20 // When changing this, also be sure to change it in the following files: // * Source/DafnyDriver/DafnyDriver.csproj // * Source/Dafny/DafnyPipeline.csproj -[assembly: AssemblyVersion("3.6.0.40511")] -[assembly: AssemblyFileVersion("3.6.0.40511")] +[assembly: AssemblyVersion("3.7.0.40620")] +[assembly: AssemblyFileVersion("3.7.0.40620")]