Upgrade version number to 4.10.0

Author: MikaelMayer

Source/DafnyPipeline/DafnyPipeline.csproj

@@ -89,7 +89,7 @@
       <LinkBase>DafnyRuntimeJava</LinkBase>
       <CopyToOutputDirectory>Always</CopyToOutputDirectory>
     </EmbeddedResource>
-    <EmbeddedResource Include="..\DafnyRuntime\DafnyRuntimeJava\build\libs\DafnyRuntime-4.9.2.jar">
+    <EmbeddedResource Include="..\DafnyRuntime\DafnyRuntimeJava\build\libs\DafnyRuntime-4.10.0.jar">
       <LogicalName>DafnyRuntime.jar</LogicalName>
       <Link>DafnyRuntime.jar</Link>
       <CopyToOutputDirectory>PreserveNewest</CopyToOutputDirectory>

Source/DafnyRuntime/DafnyRuntime.csproj

@@ -47,7 +47,7 @@
     </Content>
   </ItemGroup>
   <PropertyGroup>
-    <DafnyRuntimeJar>DafnyRuntimeJava/build/libs/DafnyRuntime-4.9.2.jar</DafnyRuntimeJar>
+    <DafnyRuntimeJar>DafnyRuntimeJava/build/libs/DafnyRuntime-4.10.0.jar</DafnyRuntimeJar>
   </PropertyGroup>
   <Target Name="BuildDafnyRuntimeJar" AfterTargets="ResolveReferences" BeforeTargets="CoreCompile" Inputs="$(MSBuildProjectFile);@(DafnyRuntimeJavaInputFile)" Outputs="$(DafnyRuntimeJar)">
 

Source/DafnyRuntime/DafnyRuntimeJava/build.gradle

@@ -17,7 +17,7 @@ dependencies {
 }
 
 group = 'org.dafny'
-version = '4.9.2'
+version = '4.10.0'
 sourceCompatibility = '1.8'
 
 java {

Source/DafnyRuntime/DafnyRuntimePython/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "DafnyRuntimePython"
-version = "4.9.2"
+version = "4.10.0"
 authors = [
   { name = "The Dafny core team", email = "[email protected]" },
 ]

Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-cs.doo

@@ -2,7 +2,7 @@
 
   <PropertyGroup>
     <TargetFramework>net8.0</TargetFramework>
-    <VersionPrefix>4.9.2</VersionPrefix>
+    <VersionPrefix>4.10.0</VersionPrefix>
     <NoWarn>1701;1702;VSTHRD200</NoWarn>
   </PropertyGroup>
 

Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-go.doo

@@ -1,3 +1,3 @@
 file_format_version = "1.0"
-dafny_version = "4.9.2.0"
+dafny_version = "4.10.0.0"
 [options_by_module.Foo]

Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-java.doo

@@ -4,5 +4,5 @@ CLI: Error: malformed dtr file NoGood.dtr
 Translation was aborted because errors were found
 
 Dafny program verifier finished with 0 verified, 0 errors
-CLI: Error: cannot load WrongDafnyVersion.dtr: it was built with Dafny 10.6.0.0, which cannot be used by Dafny 4.9.2.0
+CLI: Error: cannot load WrongDafnyVersion.dtr: it was built with Dafny 10.6.0.0, which cannot be used by Dafny 4.10.0.0
 Translation was aborted because errors were found

Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-js.doo

@@ -1,4 +1,4 @@
 file_format_version = "1.0"
-dafny_version = "4.9.2.0"
+dafny_version = "4.10.0.0"
 [options_by_module.DafnyModule1]
 go-module-name = "GoModule1"

Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-notarget.doo

@@ -1,4 +1,4 @@
 file_format_version = "1.0"
-dafny_version = "4.9.2.0"
+dafny_version = "4.10.0.0"
 [options_by_module.DafnyModule1]
 python-module-name = "PythonModule1"

Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-py.doo

@@ -1,4 +1,4 @@
 file_format_version = "1.0"
-dafny_version = "4.9.2.0"
+dafny_version = "4.10.0.0"
 [options_by_module."Some.Nested.Module"]
 python-module-name = "SomeNestedModule"