From 373d98a6b63c4e9fc8ff0c88a0f8b8c7d184a10b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9ment=20Pit-Claudel?= Date: Tue, 10 May 2022 22:15:10 -0700 Subject: [PATCH] Release Dafny 3.6.0 --- RELEASE_NOTES.md | 8 +++++--- Source/version.cs | 6 +++--- 2 files changed, 8 insertions(+), 6 deletions(-) diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index 180fb2b86ff..8de0bb85737 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -1,12 +1,14 @@ # Upcoming -- feat: `synthesize` attribute on methods with no body allows synthesizing objects based on method postconditions at compile time (currently only available for C#). See Section [22.2.20](https://dafny-lang.github.io/dafny/DafnyRef/DafnyRef#sec-synthesize-attr) of the Reference Manual. (https://github.com/dafny-lang/dafny/pull/1809) +# 3.6.0 + +- feat: The `synthesize` attribute on methods with no body allows synthesizing objects based on method postconditions at compile time (currently only available for C#). See Section [22.2.20](https://dafny-lang.github.io/dafny/DafnyRef/DafnyRef#sec-synthesize-attr) of the Reference Manual. (https://github.com/dafny-lang/dafny/pull/1809) - feat: The `/verificationLogger:text` option now prints all verification results in a human-readable form, including a description of each assertion in the program. - feat: The `/randomSeedIterations:` option (from Boogie) now tries to prove each verification condition `n` times with a different random seed each time, to help efficiently and conveniently measure the stability of verification. (https://github.com/boogie-org/boogie/pull/567) - feat: The new `/runAllTests` can be used to execute all methods with the `{:test}` attribute, without depending on a testing framework in the target language. - feat: Recognize `!in` operator when looking for compilable comprehensions (https://github.com/dafny-lang/dafny/pull/1939) -- feat: The dafny language server now returns expressions ranges instead of token ranges to better report errors (https://github.com/dafny-lang/dafny/pull/1985) -- fix: Miscompilation due to incorrect parenthesization in C# output for casts. (#1908) +- feat: The Dafny language server now returns expressions ranges instead of token ranges to better report errors (https://github.com/dafny-lang/dafny/pull/1985) +- fix: Miscompilation due to incorrect parenthesization in C# output for casts. (https://github.com/dafny-lang/dafny/pull/1908) - fix: Populate TestResult.ResourceCount in `/verificationLogger:csv` output correctly when verification condition splitting occurs (e.g. when using `/vcsSplitOnEveryAssert`). - fix: DafnyOptions.Compiler was null, preventing instantiation of ModuleExportDecl (https://github.com/dafny-lang/dafny/pull/1933) - fix: /showSnippets crashes Dafny's legacy server (https://github.com/dafny-lang/dafny/pull/1970) diff --git a/Source/version.cs b/Source/version.cs index 8b541ce3878..ca64d593420 100644 --- a/Source/version.cs +++ b/Source/version.cs @@ -1,4 +1,4 @@ using System.Reflection; -// Version 3.5.0, year 2018+4 month 3 day 14 -[assembly: AssemblyVersion("3.5.0.40314")] -[assembly: AssemblyFileVersion("3.5.0.40314")] +// Version 3.6.0, year 2018+4, month 5, day 11 +[assembly: AssemblyVersion("3.6.0.40511")] +[assembly: AssemblyFileVersion("3.6.0.40511")]