chore: Bump version to 3.7.1 (#2279)

Author: fabiomadge

RELEASE_NOTES.md

@@ -1,6 +1,9 @@
 # Upcoming
 
-- fix: The Dafny runtime library for C# is now compatible with .NET Standard 2.1, as it was before 3.7.0. Its version has been updated to 1.2.0 to reflect this.
+# 3.7.1
+
+- fix: The Dafny runtime library for C# is now compatible with .NET Standard 2.1, as it was before 3.7.0. Its version has been updated to 1.2.0 to reflect this. (https://github.com/dafny-lang/dafny/pull/2277)
+
 
 # 3.7.0
 

Source/Dafny/DafnyPipeline.csproj

@@ -17,7 +17,7 @@
     <GenerateAssemblyInfo>false</GenerateAssemblyInfo>
     <OutputPath>..\..\Binaries\</OutputPath>
     <DefineConstants>TRACE</DefineConstants>
-    <PackageVersion>3.7.0.40620</PackageVersion>
+    <PackageVersion>3.7.1.40621</PackageVersion>
     <TargetFramework>net6.0</TargetFramework>
   </PropertyGroup>
 

Source/DafnyDriver/DafnyDriver.csproj

@@ -9,7 +9,7 @@
       <OutputPath>..\..\Binaries\</OutputPath>
       <ValidateExecutableReferencesMatchSelfContained>false</ValidateExecutableReferencesMatchSelfContained>
 
-      <PackageVersion>3.7.0.40620</PackageVersion>
+      <PackageVersion>3.7.1.40621</PackageVersion>
 
       <PackAsTool>true</PackAsTool>
       <ToolCommandName>dafny</ToolCommandName>

Source/version.cs

@@ -1,7 +1,7 @@
 using System.Reflection;
-// Version 3.7.0, year 2018+4, month 6, day 20
+// Version 3.7.1, year 2018+4, month 6, day 21
 // When changing this, also be sure to change it in the following files:
 // * Source/DafnyDriver/DafnyDriver.csproj
 // * Source/Dafny/DafnyPipeline.csproj
-[assembly: AssemblyVersion("3.7.0.40620")]
-[assembly: AssemblyFileVersion("3.7.0.40620")]
+[assembly: AssemblyVersion("3.7.1.40621")]
+[assembly: AssemblyFileVersion("3.7.1.40621")]