Prepare for releasing 3.7.3 (#2451)

Author: atomb

RELEASE_NOTES.md

@@ -1,7 +1,8 @@
-# Upcoming
+# 3.7.3
 
 - feat: *Less code navigation when verifying code*: In the IDE, failing postconditions and preconditions error messages now immediately display the sub-conditions that Dafny could not prove. Both on hover and in the Problems window. (https://github.com/dafny-lang/dafny/pull/2434)
 - feat: Whitespaces and comments are kept in relevant parts of the AST (https://github.com/dafny-lang/dafny/pull/1801)
+- fix: NuGet packages no longer depend on specific patch releases of the .NET frameworks.
 
 # 3.7.2
 

Source/Dafny/DafnyPipeline.csproj

@@ -17,7 +17,7 @@
     <GenerateAssemblyInfo>false</GenerateAssemblyInfo>
     <OutputPath>..\..\Binaries\</OutputPath>
     <DefineConstants>TRACE</DefineConstants>
-    <VersionPrefix>3.7.2.40713</VersionPrefix>
+    <VersionPrefix>3.7.3.40719</VersionPrefix>
     <TargetFramework>net6.0</TargetFramework>
   </PropertyGroup>
 

Source/DafnyDriver/DafnyDriver.csproj

@@ -9,7 +9,7 @@
       <OutputPath>..\..\Binaries\</OutputPath>
       <ValidateExecutableReferencesMatchSelfContained>false</ValidateExecutableReferencesMatchSelfContained>
 
-      <VersionPrefix>3.7.2.40713</VersionPrefix>
+      <VersionPrefix>3.7.3.40719</VersionPrefix>
 
       <PackAsTool>true</PackAsTool>
       <ToolCommandName>dafny</ToolCommandName>

Source/version.cs

@@ -1,7 +1,7 @@
 using System.Reflection;
-// Version 3.7.2, year 2018+4, month 7, day 13
+// Version 3.7.3, year 2018+4, month 7, day 19
 // 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.2.40713")]
-[assembly: AssemblyFileVersion("3.7.2.40713")]
+[assembly: AssemblyVersion("3.7.3.40719")]
+[assembly: AssemblyFileVersion("3.7.3.40719")]