Release 3.8.1 (#2674)

* Release 3.8.1 changes * Update RELEASE_NOTES.md Co-authored-by: Fabio Madge <fabio@madge.me> Co-authored-by: Fabio Madge <fabio@madge.me>
dafny-lang · Sep 1, 2022 · 65ae35b · 65ae35b
1 parent 0d7e282
commit 65ae35b
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 6 deletions.
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -1,6 +1,8 @@
-
 # Upcoming
 
+
+# 3.8.1
+
 - feat: Support for the `{:opaque}` attibute on `const` (https://github.com/dafny-lang/dafny/pull/2545)
 - feat: Support for plugin-based code actions on the IDE (https://github.com/dafny-lang/dafny/pull/2021)
 - fix: Fixed a crash when parsing `newtype` in the parser (https://github.com/dafny-lang/dafny/pull/2649)

diff --git a/Source/Dafny/DafnyPipeline.csproj b/Source/Dafny/DafnyPipeline.csproj
@@ -17,7 +17,7 @@
     <GenerateAssemblyInfo>false</GenerateAssemblyInfo>
     <OutputPath>..\..\Binaries\</OutputPath>
     <DefineConstants>TRACE</DefineConstants>
-    <VersionPrefix>3.8.0.40823</VersionPrefix>
+    <VersionPrefix>3.8.1.40901</VersionPrefix>
     <TargetFramework>net6.0</TargetFramework>
     <PackageLicenseExpression>MIT</PackageLicenseExpression>
   </PropertyGroup>

diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj
@@ -9,7 +9,7 @@
       <OutputPath>..\..\Binaries\</OutputPath>
       <ValidateExecutableReferencesMatchSelfContained>false</ValidateExecutableReferencesMatchSelfContained>
 
-      <VersionPrefix>3.8.0.40823</VersionPrefix>
+      <VersionPrefix>3.8.1.40901</VersionPrefix>
 
       <PackAsTool>true</PackAsTool>
       <ToolCommandName>dafny</ToolCommandName>

diff --git a/Source/DafnyLanguageServer/DafnyLanguageServer.csproj b/Source/DafnyLanguageServer/DafnyLanguageServer.csproj
@@ -8,7 +8,7 @@
     <RootNamespace>Microsoft.Dafny.LanguageServer</RootNamespace>
     <OutputPath>..\..\Binaries\</OutputPath>
     <IsPackable>true</IsPackable>
-    <VersionPrefix>3.8.0.40823</VersionPrefix>
+    <VersionPrefix>3.8.1.40901</VersionPrefix>
     <ValidateExecutableReferencesMatchSelfContained>false</ValidateExecutableReferencesMatchSelfContained>
   </PropertyGroup>
 

diff --git a/Source/version.cs b/Source/version.cs
@@ -4,5 +4,5 @@
 // * Source/DafnyDriver/DafnyDriver.csproj
 // * Source/Dafny/DafnyPipeline.csproj
 // * Source/DafnyLanguageServer/DafnyLanguageServer.csproj
-[assembly: AssemblyVersion("3.8.0.40823")]
-[assembly: AssemblyFileVersion("3.8.0.40823")]
+[assembly: AssemblyVersion("3.8.1.40901")]
+[assembly: AssemblyFileVersion("3.8.1.40901")]