Skip to content

Commit cb63796

Browse files
committed
changed all net.7 to net.8
1 parent 17263ff commit cb63796

19 files changed

Lines changed: 31 additions & 31 deletions

File tree

VSharp.API/VSharp.API.csproj

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@
3636
</ItemGroup>
3737

3838
<PropertyGroup>
39-
<TargetFramework>net7.0</TargetFramework>
39+
<TargetFramework>net8.0</TargetFramework>
4040
</PropertyGroup>
4141

4242
<PropertyGroup>
@@ -69,7 +69,7 @@
6969

7070
<ItemGroup>
7171
<PackageReference Include="CsvHelper" Version="30.0.1" />
72-
<PackageReference Include="FSharp.Core" Version="7.0.*" />
72+
<PackageReference Include="FSharp.Core" Version="8.0.*" />
7373
<PackageReference Include="FSharpx.Collections" Version="3.1.0" />
7474
<PackageReference Include="Microsoft.Extensions.DependencyInjection" Version="2.0.0" />
7575
<PackageReference Include="Microsoft.Extensions.DependencyModel" Version="3.0.0" />

VSharp.CSharpUtils/VSharp.CSharpUtils.csproj

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<Project Sdk="Microsoft.NET.Sdk">
22

33
<PropertyGroup>
4-
<TargetFramework>net7.0</TargetFramework>
4+
<TargetFramework>net8.0</TargetFramework>
55
<AllowUnsafeBlocks>true</AllowUnsafeBlocks>
66
<Configurations>Debug;Release;DebugTailRec</Configurations>
77
<Platforms>AnyCPU</Platforms>

VSharp.CoverageTool/VSharp.CoverageTool.fsproj

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<Project Sdk="Microsoft.NET.Sdk">
22

33
<PropertyGroup>
4-
<TargetFramework>net7.0</TargetFramework>
4+
<TargetFramework>net8.0</TargetFramework>
55
<GenerateDocumentationFile>true</GenerateDocumentationFile>
66
<Configurations>Debug;Release;DebugTailRec</Configurations>
77
<Platforms>AnyCPU</Platforms>
@@ -61,7 +61,7 @@
6161
</ItemGroup>
6262

6363
<ItemGroup>
64-
<PackageReference Update="FSharp.Core" Version="7.0.*" />
64+
<PackageReference Update="FSharp.Core" Version="8.0.*" />
6565
</ItemGroup>
6666

6767
</Project>

VSharp.Explorer/VSharp.Explorer.fsproj

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<Project Sdk="Microsoft.NET.Sdk">
22

33
<PropertyGroup>
4-
<TargetFramework>net7.0</TargetFramework>
4+
<TargetFramework>net8.0</TargetFramework>
55
<Configurations>Debug;Release;DebugTailRec</Configurations>
66
<Platforms>AnyCPU</Platforms>
77
<GenerateDocumentationFile>true</GenerateDocumentationFile>
@@ -48,7 +48,7 @@
4848
</ItemGroup>
4949

5050
<ItemGroup>
51-
<PackageReference Update="FSharp.Core" Version="7.0.*" />
51+
<PackageReference Update="FSharp.Core" Version="8.0.*" />
5252
<PackageReference Include="Microsoft.ML.OnnxRuntime.Gpu" Version="1.20.0" />
5353
<PackageReference Include="System.Numerics.Tensors" Version="8.0.0" />
5454
</ItemGroup>

VSharp.Fuzzer/VSharp.Fuzzer.fsproj

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
<PropertyGroup>
44
<OutputType>Exe</OutputType>
5-
<TargetFramework>net7.0</TargetFramework>
5+
<TargetFramework>net8.0</TargetFramework>
66
<Configurations>Debug;Release;DebugTailRec</Configurations>
77
<Platforms>AnyCPU</Platforms>
88
<DefineConstants>$(DefineConstants);TRACEX</DefineConstants>
@@ -41,7 +41,7 @@
4141
<PackageReference Include="MessagePack.FSharpExtensions" Version="4.0.0" />
4242
<PackageReference Include="protobuf-net.Grpc" Version="1.1.1" />
4343
<PackageReference Include="protobuf-net.Grpc.AspNetCore" Version="1.1.1" />
44-
<PackageReference Update="FSharp.Core" Version="7.0.*" />
44+
<PackageReference Update="FSharp.Core" Version="8.0.*" />
4545
</ItemGroup>
4646

4747
</Project>

VSharp.IL/VSharp.IL.fsproj

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<Project Sdk="Microsoft.NET.Sdk">
22

33
<PropertyGroup>
4-
<TargetFramework>net7.0</TargetFramework>
4+
<TargetFramework>net8.0</TargetFramework>
55
<GenerateDocumentationFile>true</GenerateDocumentationFile>
66
<Configurations>Debug;Release;DebugTailRec</Configurations>
77
<Platforms>AnyCPU</Platforms>
@@ -31,7 +31,7 @@
3131

3232
<ItemGroup>
3333
<PackageReference Include="FSharpx.Collections" Version="3.1.0" />
34-
<PackageReference Update="FSharp.Core" Version="7.0.*" />
34+
<PackageReference Update="FSharp.Core" Version="8.0.*" />
3535
</ItemGroup>
3636

3737
</Project>

VSharp.InternalCalls/VSharp.InternalCalls.fsproj

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<Project Sdk="Microsoft.NET.Sdk">
22

33
<PropertyGroup>
4-
<TargetFramework>net7.0</TargetFramework>
4+
<TargetFramework>net8.0</TargetFramework>
55
<Configurations>Debug;Release;DebugTailRec</Configurations>
66
<Platforms>AnyCPU</Platforms>
77
</PropertyGroup>
@@ -84,7 +84,7 @@
8484
</ItemGroup>
8585

8686
<ItemGroup>
87-
<PackageReference Update="FSharp.Core" Version="7.0.*" />
87+
<PackageReference Update="FSharp.Core" Version="8.0.*" />
8888
</ItemGroup>
8989

9090
</Project>

VSharp.ML.GameServer.Runner/VSharp.ML.GameServer.Runner.fsproj

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313
<ItemGroup>
1414
<PackageReference Include="FSharp.SystemTextJson" Version="1.1.23" />
1515
<PackageReference Include="Suave" Version="2.6.2" />
16-
<PackageReference Update="FSharp.Core" Version="7.0.0" />
16+
<PackageReference Update="FSharp.Core" Version="8.0.0" />
1717
<PackageReference Include="Argu" Version="6.1.1">
1818
<GeneratePathProperty></GeneratePathProperty>
1919
</PackageReference>

VSharp.ML.GameServer/VSharp.ML.GameServer.fsproj

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<Project Sdk="Microsoft.NET.Sdk">
22

33
<PropertyGroup>
4-
<TargetFramework>net7.0</TargetFramework>
4+
<TargetFramework>net8.0</TargetFramework>
55
</PropertyGroup>
66

77
<ItemGroup>
@@ -13,7 +13,7 @@
1313
</ItemGroup>
1414

1515
<ItemGroup>
16-
<PackageReference Update="FSharp.Core" Version="7.0.*" />
16+
<PackageReference Update="FSharp.Core" Version="8.0.*" />
1717
</ItemGroup>
1818

1919
</Project>

VSharp.Runner/VSharp.Runner.csproj

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<Project Sdk="Microsoft.NET.Sdk">
22

33
<PropertyGroup>
4-
<TargetFramework>net7.0</TargetFramework>
4+
<TargetFramework>net8.0</TargetFramework>
55
<OutputType>Exe</OutputType>
66
<RootNamespace>VSharp.Runner</RootNamespace>
77
<Configurations>Debug;Release;DebugTailRec</Configurations>

0 commit comments

Comments
 (0)