Use .NET 6.0

secure-foundations · Mar 2, 2022 · bcb2967 · bcb2967
1 parent 5e12d11
commit bcb2967
Show file tree

Hide file tree

Showing 11 changed files with 20 additions and 18 deletions.
diff --git a/ironfleet/README.md b/ironfleet/README.md
@@ -36,15 +36,17 @@ IronFleet is licensed under the MIT license included in the [LICENSE](./LICENSE)
 # Setup
 
 To use Ironfleet, you'll need the following tools:
-  * .NET 5.0 SDK (available at `https://dotnet.microsoft.com/download`)
+  * .NET 6.0 SDK (available at `https://dotnet.microsoft.com/download`)
   * Dafny v3.4.0 (verifier, available at `https://github.com/dafny-lang/dafny`)
   * python 2 or 3 (needed for running scons)
   * scons (installable by running `pip install scons`)
 
-The instructions below have been tested using Windows 10, macOS Catalina, and
-Ubuntu 20.04.  They should also work for other platforms Dafny and .NET support,
-such as Ubuntu 16.04 and Debian.  On Windows, they work with at least the
-following shells: Command Prompt, Windows PowerShell, and Cygwin mintty.
+The instructions below have been tested using Windows 10 and 11, macOS
+Catalina, and Ubuntu 20.04.  They should also work for other platforms
+Dafny and .NET support, such as Ubuntu 16.04 and Debian.  On Windows,
+they work with at least the following shells: Command Prompt, Windows
+PowerShell, Cygwin mintty, and Ubuntu 20.04 on Windows Subsystem for
+Linux.
 
 # Verification and Compilation
 

diff --git a/ironfleet/src/CreateIronServiceCerts/CreateIronServiceCerts.csproj b/ironfleet/src/CreateIronServiceCerts/CreateIronServiceCerts.csproj
@@ -2,7 +2,7 @@
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
-    <TargetFramework>net5.0</TargetFramework>
+    <TargetFramework>net6.0</TargetFramework>
   </PropertyGroup>
 
   <PropertyGroup>

diff --git a/ironfleet/src/IronLockServer/IronLockServer.csproj b/ironfleet/src/IronLockServer/IronLockServer.csproj
@@ -2,7 +2,7 @@
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
-    <TargetFramework>net5.0</TargetFramework>
+    <TargetFramework>net6.0</TargetFramework>
   </PropertyGroup>
 
   <PropertyGroup>

diff --git a/ironfleet/src/IronRSLClient/IronRSLClient.csproj b/ironfleet/src/IronRSLClient/IronRSLClient.csproj
@@ -1,9 +1,9 @@
 <Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
-    <TargetFramework>net5.0</TargetFramework>
+    <TargetFramework>net6.0</TargetFramework>
     <PackageId>IronRSLClient</PackageId>
-    <Version>1.0.3</Version>
+    <Version>1.0.4</Version>
     <Authors>Jay Lorch and Chris Hawblitzel</Authors>
     <Company>Microsoft Corporation</Company>
     <GeneratePackageOnBuild>true</GeneratePackageOnBuild>

diff --git a/ironfleet/src/IronRSLCounterClient/IronRSLCounterClient.csproj b/ironfleet/src/IronRSLCounterClient/IronRSLCounterClient.csproj
@@ -2,15 +2,15 @@
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
-    <TargetFramework>net5.0</TargetFramework>
+    <TargetFramework>net6.0</TargetFramework>
   </PropertyGroup>
 
   <ItemGroup>
     <Compile Include="..\IronfleetCommon\Timer.cs" />
     <Compile Include="..\IronfleetCommon\Networking.cs" />
     <Compile Include="..\Dafny\Distributed\Common\Native\IoFramework.cs" />
     <Compile Include="..\IronRSLClient\RSLClient.cs" />
-    <!-- <PackageReference Include="IronRSLClient" Version="1.0.3" /> -->
+    <!-- <PackageReference Include="IronRSLClient" Version="1.0.4" /> -->
   </ItemGroup>
 
 </Project>
diff --git a/ironfleet/src/IronRSLCounterServer/IronRSLCounterServer.csproj b/ironfleet/src/IronRSLCounterServer/IronRSLCounterServer.csproj
@@ -2,7 +2,7 @@
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
-    <TargetFramework>net5.0</TargetFramework>
+    <TargetFramework>net6.0</TargetFramework>
   </PropertyGroup>
 
   <PropertyGroup>

diff --git a/ironfleet/src/IronRSLKVClient/IronRSLKVClient.csproj b/ironfleet/src/IronRSLKVClient/IronRSLKVClient.csproj
@@ -2,7 +2,7 @@
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
-    <TargetFramework>net5.0</TargetFramework>
+    <TargetFramework>net6.0</TargetFramework>
   </PropertyGroup>
 
   <ItemGroup>
@@ -11,7 +11,7 @@
     <Compile Include="..\IronfleetCommon\Networking.cs" />
     <Compile Include="..\Dafny\Distributed\Common\Native\IoFramework.cs" />
     <Compile Include="..\IronRSLClient\RSLClient.cs" />
-    <!-- <PackageReference Include="IronRSLClient" Version="1.0.3" /> -->
+    <!-- <PackageReference Include="IronRSLClient" Version="1.0.4" /> -->
   </ItemGroup>
 
 </Project>
diff --git a/ironfleet/src/IronRSLKVServer/IronRSLKVServer.csproj b/ironfleet/src/IronRSLKVServer/IronRSLKVServer.csproj
@@ -2,7 +2,7 @@
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
-    <TargetFramework>net5.0</TargetFramework>
+    <TargetFramework>net6.0</TargetFramework>
   </PropertyGroup>
 
   <PropertyGroup>

diff --git a/ironfleet/src/IronSHTClient/IronSHTClient.csproj b/ironfleet/src/IronSHTClient/IronSHTClient.csproj
@@ -2,7 +2,7 @@
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
-    <TargetFramework>net5.0</TargetFramework>
+    <TargetFramework>net6.0</TargetFramework>
   </PropertyGroup>
 
   <ItemGroup>

diff --git a/ironfleet/src/IronSHTServer/IronSHTServer.csproj b/ironfleet/src/IronSHTServer/IronSHTServer.csproj
@@ -2,7 +2,7 @@
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
-    <TargetFramework>net5.0</TargetFramework>
+    <TargetFramework>net6.0</TargetFramework>
   </PropertyGroup>
 
   <PropertyGroup>

diff --git a/ironfleet/src/TestIoFramework/TestIoFramework.csproj b/ironfleet/src/TestIoFramework/TestIoFramework.csproj
@@ -2,7 +2,7 @@
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
-    <TargetFramework>net5.0</TargetFramework>
+    <TargetFramework>net6.0</TargetFramework>
   </PropertyGroup>
 
   <PropertyGroup>