forked from VSharp-team/VSharp
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathVSharp.sln
More file actions
105 lines (105 loc) · 8.07 KB
/
VSharp.sln
File metadata and controls
105 lines (105 loc) · 8.07 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
Microsoft Visual Studio Solution File, Format Version 12.00
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "VSharp.CSharpUtils", "VSharp.CSharpUtils\VSharp.CSharpUtils.csproj", "{C3AC6243-43EB-4312-AF41-03D36CED52DE}"
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "VSharp.Utils", "VSharp.Utils\VSharp.Utils.fsproj", "{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}"
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "VSharp.SILI.Core", "VSharp.SILI.Core\VSharp.SILI.Core.fsproj", "{440C1023-B26F-495B-B472-883B036031B2}"
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "VSharp.Solver", "VSharp.Solver\VSharp.Solver.fsproj", "{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}"
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "VSharp.InternalCalls", "VSharp.InternalCalls\VSharp.InternalCalls.fsproj", "{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}"
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "VSharp.SILI", "VSharp.SILI\VSharp.SILI.fsproj", "{346FB353-40E3-440A-A956-7B52586D6C95}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "VSharp.Test", "VSharp.Test\VSharp.Test.csproj", "{386DACA2-361C-4742-8836-57BF7C7D71E0}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "VSharp.TestRunner", "VSharp.TestRunner\VSharp.TestRunner.csproj", "{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "VSharp.Runner", "VSharp.Runner\VSharp.Runner.csproj", "{49CF66CD-2465-415E-8464-46D95042E0AF}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "VSharp.API", "VSharp.API\VSharp.API.csproj", "{C908A11C-B910-4283-A718-DA6A69E19D7F}"
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "VSharp.IL", "VSharp.IL\VSharp.IL.fsproj", "{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Release|Any CPU = Release|Any CPU
DebugTailRec|Any CPU = DebugTailRec|Any CPU
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{C3AC6243-43EB-4312-AF41-03D36CED52DE}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{C3AC6243-43EB-4312-AF41-03D36CED52DE}.Debug|Any CPU.Build.0 = Debug|Any CPU
{C3AC6243-43EB-4312-AF41-03D36CED52DE}.Release|Any CPU.ActiveCfg = Release|Any CPU
{C3AC6243-43EB-4312-AF41-03D36CED52DE}.Release|Any CPU.Build.0 = Release|Any CPU
{C3AC6243-43EB-4312-AF41-03D36CED52DE}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
{C3AC6243-43EB-4312-AF41-03D36CED52DE}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.Debug|Any CPU.Build.0 = Debug|Any CPU
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.Release|Any CPU.ActiveCfg = Release|Any CPU
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.Release|Any CPU.Build.0 = Release|Any CPU
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
{440C1023-B26F-495B-B472-883B036031B2}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{440C1023-B26F-495B-B472-883B036031B2}.Debug|Any CPU.Build.0 = Debug|Any CPU
{440C1023-B26F-495B-B472-883B036031B2}.Release|Any CPU.ActiveCfg = Release|Any CPU
{440C1023-B26F-495B-B472-883B036031B2}.Release|Any CPU.Build.0 = Release|Any CPU
{440C1023-B26F-495B-B472-883B036031B2}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
{440C1023-B26F-495B-B472-883B036031B2}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.Debug|Any CPU.Build.0 = Debug|Any CPU
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.Release|Any CPU.ActiveCfg = Release|Any CPU
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.Release|Any CPU.Build.0 = Release|Any CPU
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.Debug|Any CPU.Build.0 = Debug|Any CPU
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.Release|Any CPU.ActiveCfg = Release|Any CPU
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.Release|Any CPU.Build.0 = Release|Any CPU
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
{346FB353-40E3-440A-A956-7B52586D6C95}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{346FB353-40E3-440A-A956-7B52586D6C95}.Debug|Any CPU.Build.0 = Debug|Any CPU
{346FB353-40E3-440A-A956-7B52586D6C95}.Release|Any CPU.ActiveCfg = Release|Any CPU
{346FB353-40E3-440A-A956-7B52586D6C95}.Release|Any CPU.Build.0 = Release|Any CPU
{346FB353-40E3-440A-A956-7B52586D6C95}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
{346FB353-40E3-440A-A956-7B52586D6C95}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
{386DACA2-361C-4742-8836-57BF7C7D71E0}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{386DACA2-361C-4742-8836-57BF7C7D71E0}.Debug|Any CPU.Build.0 = Debug|Any CPU
{386DACA2-361C-4742-8836-57BF7C7D71E0}.Release|Any CPU.ActiveCfg = Release|Any CPU
{386DACA2-361C-4742-8836-57BF7C7D71E0}.Release|Any CPU.Build.0 = Release|Any CPU
{386DACA2-361C-4742-8836-57BF7C7D71E0}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
{386DACA2-361C-4742-8836-57BF7C7D71E0}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
{85AD391B-3F32-4A21-962A-C43AD2320E76}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{85AD391B-3F32-4A21-962A-C43AD2320E76}.Debug|Any CPU.Build.0 = Debug|Any CPU
{85AD391B-3F32-4A21-962A-C43AD2320E76}.Release|Any CPU.ActiveCfg = Release|Any CPU
{85AD391B-3F32-4A21-962A-C43AD2320E76}.Release|Any CPU.Build.0 = Release|Any CPU
{85AD391B-3F32-4A21-962A-C43AD2320E76}.DebugTailRec|Any CPU.ActiveCfg = DebugTailRec|Any CPU
{85AD391B-3F32-4A21-962A-C43AD2320E76}.DebugTailRec|Any CPU.Build.0 = DebugTailRec|Any CPU
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.Debug|Any CPU.Build.0 = Debug|Any CPU
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.Release|Any CPU.ActiveCfg = Release|Any CPU
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.Release|Any CPU.Build.0 = Release|Any CPU
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.DebugTailRec|Any CPU.ActiveCfg = Debug|Any CPU
{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.DebugTailRec|Any CPU.Build.0 = Debug|Any CPU
{49CF66CD-2465-415E-8464-46D95042E0AF}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{49CF66CD-2465-415E-8464-46D95042E0AF}.Debug|Any CPU.Build.0 = Debug|Any CPU
{49CF66CD-2465-415E-8464-46D95042E0AF}.Release|Any CPU.ActiveCfg = Release|Any CPU
{49CF66CD-2465-415E-8464-46D95042E0AF}.Release|Any CPU.Build.0 = Release|Any CPU
{49CF66CD-2465-415E-8464-46D95042E0AF}.DebugTailRec|Any CPU.ActiveCfg = Debug|Any CPU
{49CF66CD-2465-415E-8464-46D95042E0AF}.DebugTailRec|Any CPU.Build.0 = Debug|Any CPU
{C908A11C-B910-4283-A718-DA6A69E19D7F}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{C908A11C-B910-4283-A718-DA6A69E19D7F}.Debug|Any CPU.Build.0 = Debug|Any CPU
{C908A11C-B910-4283-A718-DA6A69E19D7F}.Release|Any CPU.ActiveCfg = Release|Any CPU
{C908A11C-B910-4283-A718-DA6A69E19D7F}.Release|Any CPU.Build.0 = Release|Any CPU
{C908A11C-B910-4283-A718-DA6A69E19D7F}.DebugTailRec|Any CPU.ActiveCfg = Debug|Any CPU
{C908A11C-B910-4283-A718-DA6A69E19D7F}.DebugTailRec|Any CPU.Build.0 = Debug|Any CPU
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.Debug|Any CPU.Build.0 = Debug|Any CPU
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.Release|Any CPU.ActiveCfg = Release|Any CPU
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.Release|Any CPU.Build.0 = Release|Any CPU
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.DebugTailRec|Any CPU.ActiveCfg = Debug|Any CPU
{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.DebugTailRec|Any CPU.Build.0 = Debug|Any CPU
EndGlobalSection
EndGlobal