Skip to content

Commit 6d706dd

Browse files
mxprshndvvrd
mxprshn
authored and
dvvrd
committed
Remove submodules
[fix] Fix custom Z3 nuget version
1 parent f85329a commit 6d706dd

File tree

7 files changed

+107
-61
lines changed

7 files changed

+107
-61
lines changed

‎.gitmodules

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +0,0 @@
1-
[submodule "runtime"]
2-
path = runtime
3-
url = https://github.com/dotnet/runtime.git
4-
[submodule "z3"]
5-
path = z3
6-
url = https://github.com/MchKosticyn/z3

‎VSharp.SILI/VSharp.SILI.fsproj

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

33
<PropertyGroup>
44
<TargetFramework>netcoreapp6.0</TargetFramework>
5-
<Configurations>Debug;Release;DebugTailRec</Configurations>
5+
<Configurations>Debug;Release;DebugTailRec;ReleaseConcolic;DebugConcolic</Configurations>
66
<Platforms>AnyCPU</Platforms>
77
<DisableFastUpToDateCheck>true</DisableFastUpToDateCheck>
88
</PropertyGroup>
99

1010
<PropertyGroup Condition=" '$(Configuration)' == 'Debug' ">
11-
<Tailcalls>false</Tailcalls>
11+
<Tailcalls>false</Tailcalls>
12+
<BuildConcolic>false</BuildConcolic>
1213
</PropertyGroup>
1314

1415
<PropertyGroup Condition=" '$(Configuration)' == 'DebugTailRec' ">
15-
<Tailcalls>true</Tailcalls>
16-
<DebugSymbols>true</DebugSymbols>
17-
<DefineConstants>TRACE;DEBUG</DefineConstants>
16+
<Tailcalls>true</Tailcalls>
17+
<DebugSymbols>true</DebugSymbols>
18+
<DefineConstants>TRACE;DEBUG</DefineConstants>
19+
<BuildConcolic>false</BuildConcolic>
20+
</PropertyGroup>
21+
22+
<PropertyGroup Condition=" '$(Configuration)' == 'DebugConcolic' ">
23+
<Tailcalls>false</Tailcalls>
24+
<DebugSymbols>true</DebugSymbols>
25+
<DefineConstants>TRACE;DEBUG</DefineConstants>
26+
<BuildConcolic>true</BuildConcolic>
27+
</PropertyGroup>
28+
29+
<PropertyGroup Condition=" '$(Configuration)' == 'Release' ">
30+
<BuildConcolic>false</BuildConcolic>
31+
</PropertyGroup>
32+
33+
<PropertyGroup Condition=" '$(Configuration)' == 'ReleaseConcolic' ">
34+
<BuildConcolic>true</BuildConcolic>
1835
</PropertyGroup>
1936

2037
<ItemGroup>
@@ -45,9 +62,17 @@
4562
<ProjectReference Include="..\VSharp.Solver\VSharp.Solver.fsproj" />
4663
</ItemGroup>
4764

48-
<!--Building concolic every project build, to disable this, uncomment line bellow-->
65+
<Target Name="CloneDotnetRuntime" BeforeTargets="UnixBuildConcolic;WinBuildConcolic" Condition=" $(BuildConcolic) And !Exists('../runtime') ">
66+
<Exec Command='
67+
cd ../
68+
git clone https://github.com/dotnet/runtime.git
69+
cd runtime
70+
git checkout 3a25a7f1cc446b60678ed25c9d829420d6321eba'/>
71+
</Target>
72+
73+
<!--Building concolic every project build, to disable this, uncomment line below-->
4974
<!-- <Target Name="BuildConcolic" AfterTargets="BeforeBuild" Condition =" !Exists('../VSharp.ClrInteraction/cmake-build-debug') ">-->
50-
<Target Name="UnixBuildConcolic" AfterTargets="BeforeBuild" Condition="! $([MSBuild]::IsOSPlatform('Windows')) ">
75+
<Target Name="UnixBuildConcolic" AfterTargets="BeforeBuild" Condition=" $(BuildConcolic) And !$([MSBuild]::IsOSPlatform('Windows')) ">
5176
<Exec Command='
5277
cd ../VSharp.ClrInteraction
5378
mkdir cmake-build-debug
@@ -56,28 +81,28 @@
5681
cmake --build . --target vsharpConcolic -j 6'/>
5782
</Target>
5883

59-
<Target Name="WinBuildConcolic" AfterTargets="BeforeBuild" Condition=" $([MSBuild]::IsOSPlatform('Windows')) ">
84+
<Target Name="WinBuildConcolic" AfterTargets="BeforeBuild" Condition=" $(BuildConcolic) And $([MSBuild]::IsOSPlatform('Windows')) ">
6085
<Exec Command='
6186
cd ../VSharp.ClrInteraction
6287
mkdir build
6388
msbuild VSharp.ClrInteraction.vcxproj /p:Configuration="Debug" /p:BuildOS="Windows_NT" /p:BuildType="Debug" /p:BuildArch="x64" /p:Platform="x64"'/>
6489
</Target>
6590

66-
<ItemGroup Condition="$([MSBuild]::IsOSPlatform('Linux'))">
91+
<ItemGroup Condition=" $(BuildConcolic) And $([MSBuild]::IsOSPlatform('Linux')) ">
6792
<Content Include="..\VSharp.ClrInteraction\cmake-build-debug\libvsharpConcolic.so">
6893
<Link>libvsharpConcolic.so</Link>
6994
<CopyToOutputDirectory>Always</CopyToOutputDirectory>
7095
</Content>
7196
</ItemGroup>
7297

73-
<ItemGroup Condition="$([MSBuild]::IsOSPlatform('OSX'))">
98+
<ItemGroup Condition=" $(BuildConcolic) And $([MSBuild]::IsOSPlatform('OSX')) ">
7499
<Content Include="..\VSharp.ClrInteraction\cmake-build-debug\libvsharpConcolic.dylib">
75100
<Link>libvsharpConcolic.dylib</Link>
76101
<CopyToOutputDirectory>Always</CopyToOutputDirectory>
77102
</Content>
78103
</ItemGroup>
79104

80-
<ItemGroup Condition="$([MSBuild]::IsOSPlatform('Windows'))">
105+
<ItemGroup Condition=" $(BuildConcolic) And $([MSBuild]::IsOSPlatform('Windows')) ">
81106
<Content Include="..\VSharp.ClrInteraction\build\libvsharpConcolic.dll">
82107
<Link>libvsharpConcolic.dll</Link>
83108
<CopyToOutputDirectory>Always</CopyToOutputDirectory>

‎VSharp.Solver/VSharp.Solver.fsproj

Lines changed: 17 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -6,57 +6,40 @@
66
<Platforms>AnyCPU</Platforms>
77
</PropertyGroup>
88

9-
<PropertyGroup Condition=" $([MSBuild]::IsOSPlatform('OSX')) ">
10-
<DisableFastUpToDateCheck>true</DisableFastUpToDateCheck>
11-
</PropertyGroup>
12-
139
<PropertyGroup Condition=" '$(Configuration)' == 'Debug' ">
14-
<Tailcalls>false</Tailcalls>
10+
<Tailcalls>false</Tailcalls>
1511
</PropertyGroup>
1612

1713
<PropertyGroup Condition=" '$(Configuration)' == 'DebugTailRec' ">
18-
<Tailcalls>true</Tailcalls>
19-
<DebugSymbols>true</DebugSymbols>
20-
<DefineConstants>TRACE;DEBUG</DefineConstants>
14+
<Tailcalls>true</Tailcalls>
15+
<DebugSymbols>true</DebugSymbols>
16+
<DefineConstants>TRACE;DEBUG</DefineConstants>
2117
</PropertyGroup>
2218

2319
<ItemGroup>
2420
<Compile Include="Z3.fs" />
2521
<Compile Include="SolverPool.fs" />
2622
</ItemGroup>
2723

28-
<ItemGroup>
29-
<ProjectReference Include="..\VSharp.SILI.Core\VSharp.SILI.Core.fsproj" />
30-
<ProjectReference Include="..\VSharp.Utils\VSharp.Utils.fsproj" />
31-
</ItemGroup>
32-
3324
<PropertyGroup>
34-
<Z3BuildDir>..\z3\build</Z3BuildDir>
35-
<Z3>..\z3\build\Microsoft.Z3\netcoreapp6.0\Microsoft.Z3.dll</Z3>
25+
<IsM1>false</IsM1>
3626
</PropertyGroup>
3727

38-
<!-- TODO: instead of IsOSPlatform('OSX'), check Arch is ARM -->
39-
<Target Name="BuildZ3" AfterTargets="BeforeBuild" Condition=" !Exists('$(Z3)') And $([MSBuild]::IsOSPlatform('OSX')) ">
40-
<Exec Command='
41-
cd ../z3
42-
mkdir build
43-
cd build
44-
cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE=Release -DZ3_BUILD_DOTNET_BINDINGS=true -DZ3_INSTALL_DOTNET_BINDINGS=true ../
45-
cmake --build . -j 6'/>
46-
</Target>
47-
48-
<ItemGroup Condition=" ! $([MSBuild]::IsOSPlatform('OSX')) ">
28+
<PropertyGroup Condition=" $([MSBuild]::IsOSPlatform('OSX')) AND '$([System.Runtime.InteropServices.RuntimeInformation]::OSArchitecture)' == 'Arm64' ">
29+
<IsM1>true</IsM1>
30+
</PropertyGroup>
31+
32+
<ItemGroup>
33+
<ProjectReference Include="..\VSharp.SILI.Core\VSharp.SILI.Core.fsproj" />
34+
<ProjectReference Include="..\VSharp.Utils\VSharp.Utils.fsproj" />
35+
</ItemGroup>
36+
37+
<ItemGroup Condition=" !$(IsM1) ">
4938
<PackageReference Include="Microsoft.Z3.x64" Version="4.8.6" />
5039
</ItemGroup>
5140

52-
<ItemGroup Condition=" $([MSBuild]::IsOSPlatform('OSX')) ">
53-
<Reference Include="Microsoft.Z3, Version=4.8.11.0, Culture=neutral, PublicKeyToken=null">
54-
<HintPath>..\z3\build\Microsoft.Z3\netcoreapp6.0\Microsoft.Z3.dll</HintPath>
55-
</Reference>
56-
<Content Include="$(Z3BuildDir)\libz3.dylib">
57-
<Link>libz3.dylib</Link>
58-
<CopyToOutputDirectory>Always</CopyToOutputDirectory>
59-
</Content>
41+
<ItemGroup Condition=" $(IsM1) ">
42+
<PackageReference Include="vsteam.Z3.M1" Version="4.8.11-alpha.2" />
6043
</ItemGroup>
6144

6245
</Project>

‎VSharp.sln

Lines changed: 54 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,8 @@ Global
3131
Debug|Any CPU = Debug|Any CPU
3232
Release|Any CPU = Release|Any CPU
3333
DebugTailRec|Any CPU = DebugTailRec|Any CPU
34+
ReleaseConcolic|Any CPU = ReleaseConcolic|Any CPU
35+
DebugConcolic|Any CPU = DebugConcolic|Any CPU
3436
EndGlobalSection
3537
GlobalSection(ProjectConfigurationPlatforms) = postSolution
3638
{C3AC6243-43EB-4312-AF41-03D36CED52DE}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
@@ -39,83 +41,129 @@ Global
3941
{C3AC6243-43EB-4312-AF41-03D36CED52DE}.Release|Any CPU.Build.0 = Release|Any CPU
4042
{C3AC6243-43EB-4312-AF41-03D36CED52DE}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
4143
{C3AC6243-43EB-4312-AF41-03D36CED52DE}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
44+
{C3AC6243-43EB-4312-AF41-03D36CED52DE}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
45+
{C3AC6243-43EB-4312-AF41-03D36CED52DE}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
46+
{C3AC6243-43EB-4312-AF41-03D36CED52DE}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
47+
{C3AC6243-43EB-4312-AF41-03D36CED52DE}.ReleaseConcolic|Any CPU.Build.0 = Release|Any CPU
4248
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
4349
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.Debug|Any CPU.Build.0 = Debug|Any CPU
4450
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.Release|Any CPU.ActiveCfg = Release|Any CPU
4551
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.Release|Any CPU.Build.0 = Release|Any CPU
4652
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
4753
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
54+
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
55+
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
56+
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
57+
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.ReleaseConcolic|Any CPU.Build.0 = Release|Any CPU
4858
{440C1023-B26F-495B-B472-883B036031B2}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
4959
{440C1023-B26F-495B-B472-883B036031B2}.Debug|Any CPU.Build.0 = Debug|Any CPU
5060
{440C1023-B26F-495B-B472-883B036031B2}.Release|Any CPU.ActiveCfg = Release|Any CPU
5161
{440C1023-B26F-495B-B472-883B036031B2}.Release|Any CPU.Build.0 = Release|Any CPU
5262
{440C1023-B26F-495B-B472-883B036031B2}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
5363
{440C1023-B26F-495B-B472-883B036031B2}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
64+
{440C1023-B26F-495B-B472-883B036031B2}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
65+
{440C1023-B26F-495B-B472-883B036031B2}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
66+
{440C1023-B26F-495B-B472-883B036031B2}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
67+
{440C1023-B26F-495B-B472-883B036031B2}.ReleaseConcolic|Any CPU.Build.0 = Release|Any CPU
5468
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
5569
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.Debug|Any CPU.Build.0 = Debug|Any CPU
5670
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.Release|Any CPU.ActiveCfg = Release|Any CPU
5771
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.Release|Any CPU.Build.0 = Release|Any CPU
5872
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
5973
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
74+
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
75+
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
76+
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
77+
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.ReleaseConcolic|Any CPU.Build.0 = Release|Any CPU
6078
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
6179
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.Debug|Any CPU.Build.0 = Debug|Any CPU
6280
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.Release|Any CPU.ActiveCfg = Release|Any CPU
6381
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.Release|Any CPU.Build.0 = Release|Any CPU
6482
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
6583
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
84+
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
85+
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
86+
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
87+
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.ReleaseConcolic|Any CPU.Build.0 = Release|Any CPU
6688
{346FB353-40E3-440A-A956-7B52586D6C95}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
6789
{346FB353-40E3-440A-A956-7B52586D6C95}.Debug|Any CPU.Build.0 = Debug|Any CPU
6890
{346FB353-40E3-440A-A956-7B52586D6C95}.Release|Any CPU.ActiveCfg = Release|Any CPU
6991
{346FB353-40E3-440A-A956-7B52586D6C95}.Release|Any CPU.Build.0 = Release|Any CPU
7092
{346FB353-40E3-440A-A956-7B52586D6C95}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
7193
{346FB353-40E3-440A-A956-7B52586D6C95}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
94+
{346FB353-40E3-440A-A956-7B52586D6C95}.ReleaseConcolic|Any CPU.ActiveCfg = ReleaseConcolic|Any CPU
95+
{346FB353-40E3-440A-A956-7B52586D6C95}.DebugConcolic|Any CPU.ActiveCfg = DebugConcolic|Any CPU
96+
{346FB353-40E3-440A-A956-7B52586D6C95}.DebugConcolic|Any CPU.Build.0 = DebugConcolic|Any CPU
97+
{346FB353-40E3-440A-A956-7B52586D6C95}.ReleaseConcolic|Any CPU.Build.0 = ReleaseConcolic|Any CPU
7298
{386DACA2-361C-4742-8836-57BF7C7D71E0}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
7399
{386DACA2-361C-4742-8836-57BF7C7D71E0}.Debug|Any CPU.Build.0 = Debug|Any CPU
74100
{386DACA2-361C-4742-8836-57BF7C7D71E0}.Release|Any CPU.ActiveCfg = Release|Any CPU
75101
{386DACA2-361C-4742-8836-57BF7C7D71E0}.Release|Any CPU.Build.0 = Release|Any CPU
76102
{386DACA2-361C-4742-8836-57BF7C7D71E0}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
77103
{386DACA2-361C-4742-8836-57BF7C7D71E0}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
78-
{85AD391B-3F32-4A21-962A-C43AD2320E76}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
79-
{85AD391B-3F32-4A21-962A-C43AD2320E76}.Debug|Any CPU.Build.0 = Debug|Any CPU
80-
{85AD391B-3F32-4A21-962A-C43AD2320E76}.Release|Any CPU.ActiveCfg = Release|Any CPU
81-
{85AD391B-3F32-4A21-962A-C43AD2320E76}.Release|Any CPU.Build.0 = Release|Any CPU
82-
{85AD391B-3F32-4A21-962A-C43AD2320E76}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
83-
{85AD391B-3F32-4A21-962A-C43AD2320E76}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
104+
{386DACA2-361C-4742-8836-57BF7C7D71E0}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
105+
{386DACA2-361C-4742-8836-57BF7C7D71E0}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
106+
{386DACA2-361C-4742-8836-57BF7C7D71E0}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
107+
{386DACA2-361C-4742-8836-57BF7C7D71E0}.ReleaseConcolic|Any CPU.Build.0 = Release|Any CPU
84108
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
85109
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.Debug|Any CPU.Build.0 = Debug|Any CPU
86110
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.Release|Any CPU.ActiveCfg = Release|Any CPU
87111
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.Release|Any CPU.Build.0 = Release|Any CPU
88112
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.DebugTailRec|Any CPU.ActiveCfg = Debug|Any CPU
89113
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.DebugTailRec|Any CPU.Build.0 = Debug|Any CPU
114+
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
115+
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
116+
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
117+
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.ReleaseConcolic|Any CPU.Build.0 = Release|Any CPU
90118
{49CF66CD-2465-415E-8464-46D95042E0AF}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
91119
{49CF66CD-2465-415E-8464-46D95042E0AF}.Debug|Any CPU.Build.0 = Debug|Any CPU
92120
{49CF66CD-2465-415E-8464-46D95042E0AF}.Release|Any CPU.ActiveCfg = Release|Any CPU
93121
{49CF66CD-2465-415E-8464-46D95042E0AF}.Release|Any CPU.Build.0 = Release|Any CPU
94122
{49CF66CD-2465-415E-8464-46D95042E0AF}.DebugTailRec|Any CPU.ActiveCfg = Debug|Any CPU
95123
{49CF66CD-2465-415E-8464-46D95042E0AF}.DebugTailRec|Any CPU.Build.0 = Debug|Any CPU
124+
{49CF66CD-2465-415E-8464-46D95042E0AF}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
125+
{49CF66CD-2465-415E-8464-46D95042E0AF}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
126+
{49CF66CD-2465-415E-8464-46D95042E0AF}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
127+
{49CF66CD-2465-415E-8464-46D95042E0AF}.ReleaseConcolic|Any CPU.Build.0 = Release|Any CPU
96128
{C908A11C-B910-4283-A718-DA6A69E19D7F}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
97129
{C908A11C-B910-4283-A718-DA6A69E19D7F}.Debug|Any CPU.Build.0 = Debug|Any CPU
98130
{C908A11C-B910-4283-A718-DA6A69E19D7F}.Release|Any CPU.ActiveCfg = Release|Any CPU
99131
{C908A11C-B910-4283-A718-DA6A69E19D7F}.Release|Any CPU.Build.0 = Release|Any CPU
100132
{C908A11C-B910-4283-A718-DA6A69E19D7F}.DebugTailRec|Any CPU.ActiveCfg = Debug|Any CPU
101133
{C908A11C-B910-4283-A718-DA6A69E19D7F}.DebugTailRec|Any CPU.Build.0 = Debug|Any CPU
134+
{C908A11C-B910-4283-A718-DA6A69E19D7F}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
135+
{C908A11C-B910-4283-A718-DA6A69E19D7F}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
136+
{C908A11C-B910-4283-A718-DA6A69E19D7F}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
137+
{C908A11C-B910-4283-A718-DA6A69E19D7F}.ReleaseConcolic|Any CPU.Build.0 = Release|Any CPU
102138
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
103139
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.Debug|Any CPU.Build.0 = Debug|Any CPU
104140
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.Release|Any CPU.ActiveCfg = Release|Any CPU
105141
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.Release|Any CPU.Build.0 = Release|Any CPU
106142
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.DebugTailRec|Any CPU.ActiveCfg = Debug|Any CPU
107143
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.DebugTailRec|Any CPU.Build.0 = Debug|Any CPU
144+
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
145+
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
146+
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
147+
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.ReleaseConcolic|Any CPU.Build.0 = Release|Any CPU
108148
{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
109149
{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.Debug|Any CPU.Build.0 = Debug|Any CPU
110150
{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.Release|Any CPU.ActiveCfg = Release|Any CPU
111151
{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.Release|Any CPU.Build.0 = Release|Any CPU
112152
{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.DebugTailRec|Any CPU.ActiveCfg = Debug|Any CPU
113153
{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.DebugTailRec|Any CPU.Build.0 = Debug|Any CPU
154+
{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
155+
{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
156+
{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
157+
{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.ReleaseConcolic|Any CPU.Build.0 = Release|Any CPU
114158
{4C5B924D-8934-44F2-847A-BE91416DB557}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
115159
{4C5B924D-8934-44F2-847A-BE91416DB557}.Debug|Any CPU.Build.0 = Debug|Any CPU
116160
{4C5B924D-8934-44F2-847A-BE91416DB557}.Release|Any CPU.ActiveCfg = Release|Any CPU
117161
{4C5B924D-8934-44F2-847A-BE91416DB557}.Release|Any CPU.Build.0 = Release|Any CPU
118162
{4C5B924D-8934-44F2-847A-BE91416DB557}.DebugTailRec|Any CPU.ActiveCfg = Debug|Any CPU
119163
{4C5B924D-8934-44F2-847A-BE91416DB557}.DebugTailRec|Any CPU.Build.0 = Debug|Any CPU
164+
{4C5B924D-8934-44F2-847A-BE91416DB557}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
165+
{4C5B924D-8934-44F2-847A-BE91416DB557}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
166+
{4C5B924D-8934-44F2-847A-BE91416DB557}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
167+
{4C5B924D-8934-44F2-847A-BE91416DB557}.ReleaseConcolic|Any CPU.Build.0 = Release|Any CPU
120168
EndGlobalSection
121169
EndGlobal

‎appveyor.yml

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,6 @@ image: Visual Studio 2022
33
before_build:
44
- dotnet tool restore
55
- dotnet restore
6-
- git submodule update --init z3
7-
- git submodule update --init runtime
86

97
configuration: Release
108

‎runtime

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎z3

Lines changed: 0 additions & 1 deletion
This file was deleted.

0 commit comments

Comments
 (0)