chore: update version number and doo files for 4.5.0 release (#5199)

dafny-lang · Mar 15, 2024 · 0266c00 · 0266c00
1 parent 8774643
commit 0266c00
Show file tree

Hide file tree

Showing 11 changed files with 6 additions and 6 deletions.
diff --git a/Source/DafnyPipeline/DafnyPipeline.csproj b/Source/DafnyPipeline/DafnyPipeline.csproj
@@ -89,7 +89,7 @@
  <LinkBase>DafnyRuntimeJava</LinkBase>
  <CopyToOutputDirectory>Always</CopyToOutputDirectory>
  </EmbeddedResource>
- <EmbeddedResource Include="..\DafnyRuntime\DafnyRuntimeJava\build\libs\DafnyRuntime-4.4.0.jar">
+ <EmbeddedResource Include="..\DafnyRuntime\DafnyRuntimeJava\build\libs\DafnyRuntime-4.5.0.jar">
  <LogicalName>DafnyRuntime.jar</LogicalName>
  <Link>DafnyRuntime.jar</Link>
  <CopyToOutputDirectory>PreserveNewest</CopyToOutputDirectory>
@@ -128,4 +128,4 @@
  <EmbeddedResource Remove="..\DafnyRuntime\DafnyRuntimeRust\target\**"/>
  </ItemGroup>
 
-</Project>
+</Project>
diff --git a/Source/DafnyRuntime/DafnyRuntime.csproj b/Source/DafnyRuntime/DafnyRuntime.csproj
@@ -26,7 +26,7 @@
  <Folder Include="DafnyRuntimeJava\build\libs" />
  </ItemGroup>
  <PropertyGroup>
- <DafnyRuntimeJar>DafnyRuntimeJava/build/libs/DafnyRuntime-4.4.0.jar</DafnyRuntimeJar>
+ <DafnyRuntimeJar>DafnyRuntimeJava/build/libs/DafnyRuntime-4.5.0.jar</DafnyRuntimeJar>
  </PropertyGroup>
  <Target Name="BuildDafnyRuntimeJar" AfterTargets="ResolveReferences" BeforeTargets="CoreCompile" Inputs="$(MSBuildProjectFile);@(DafnyRuntimeJavaInputFile)" Outputs="$(DafnyRuntimeJar)">
 

diff --git a/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle b/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle
@@ -17,7 +17,7 @@ dependencies {
 }
 
 group = 'org.dafny'
-version = '4.4.0'
+version = '4.5.0'
 sourceCompatibility = '1.8'
 
 java {

diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-cs.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-cs.doo
diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-go.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-go.doo
diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-java.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-java.doo
diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-js.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-js.doo
diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-notarget.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-notarget.doo
diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-py.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-py.doo
diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries.doo
diff --git a/Source/Directory.Build.props b/Source/Directory.Build.props
@@ -1,8 +1,8 @@
 <Project>
 
  <PropertyGroup>
- <VersionPrefix>4.4.0</VersionPrefix>
+ <VersionPrefix>4.5.0</VersionPrefix>
  <NoWarn>1701;1702;VSTHRD200</NoWarn>
  </PropertyGroup>
 
-</Project>
+</Project>