VSharp.sln


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
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "VSharp.TestRenderer", "VSharp.TestRenderer\VSharp.TestRenderer.csproj", "{BE5A0381-8532-457E-A6FC-B04D5F080C0B}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "VSharp.TestExtensions", "VSharp.TestExtensions\VSharp.TestExtensions.csproj", "{4C5B924D-8934-44F2-847A-BE91416DB557}"
EndProject
Global
	GlobalSection(SolutionConfigurationPlatforms) = preSolution
		Debug|Any CPU = Debug|Any CPU
		Release|Any CPU = Release|Any CPU
		DebugTailRec|Any CPU = DebugTailRec|Any CPU
		ReleaseConcolic|Any CPU = ReleaseConcolic|Any CPU
		DebugConcolic|Any CPU = DebugConcolic|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
		{C3AC6243-43EB-4312-AF41-03D36CED52DE}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
		{C3AC6243-43EB-4312-AF41-03D36CED52DE}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
		{C3AC6243-43EB-4312-AF41-03D36CED52DE}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
		{C3AC6243-43EB-4312-AF41-03D36CED52DE}.ReleaseConcolic|Any CPU.Build.0 = Release|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
		{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
		{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
		{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
		{3DB0E7E2-27B2-47CD-AE52-01F8C57209E6}.ReleaseConcolic|Any CPU.Build.0 = Release|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
		{440C1023-B26F-495B-B472-883B036031B2}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
		{440C1023-B26F-495B-B472-883B036031B2}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
		{440C1023-B26F-495B-B472-883B036031B2}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
		{440C1023-B26F-495B-B472-883B036031B2}.ReleaseConcolic|Any CPU.Build.0 = Release|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
		{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
		{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
		{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
		{6AA1BE0D-5CD4-4F70-AC9F-B72AB8987209}.ReleaseConcolic|Any CPU.Build.0 = Release|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
		{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
		{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
		{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
		{506074B4-2DA6-4833-9E20-C99E6AF2A8CB}.ReleaseConcolic|Any CPU.Build.0 = Release|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
		{346FB353-40E3-440A-A956-7B52586D6C95}.ReleaseConcolic|Any CPU.ActiveCfg = ReleaseConcolic|Any CPU
		{346FB353-40E3-440A-A956-7B52586D6C95}.DebugConcolic|Any CPU.ActiveCfg = DebugConcolic|Any CPU
		{346FB353-40E3-440A-A956-7B52586D6C95}.DebugConcolic|Any CPU.Build.0 = DebugConcolic|Any CPU
		{346FB353-40E3-440A-A956-7B52586D6C95}.ReleaseConcolic|Any CPU.Build.0 = ReleaseConcolic|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
		{386DACA2-361C-4742-8836-57BF7C7D71E0}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
		{386DACA2-361C-4742-8836-57BF7C7D71E0}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
		{386DACA2-361C-4742-8836-57BF7C7D71E0}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
		{386DACA2-361C-4742-8836-57BF7C7D71E0}.ReleaseConcolic|Any CPU.Build.0 = Release|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
		{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
		{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
		{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
		{3DDCE1AF-A16B-42E9-8E99-3249E7EA69D0}.ReleaseConcolic|Any CPU.Build.0 = Release|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
		{49CF66CD-2465-415E-8464-46D95042E0AF}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
		{49CF66CD-2465-415E-8464-46D95042E0AF}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
		{49CF66CD-2465-415E-8464-46D95042E0AF}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
		{49CF66CD-2465-415E-8464-46D95042E0AF}.ReleaseConcolic|Any CPU.Build.0 = Release|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
		{C908A11C-B910-4283-A718-DA6A69E19D7F}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
		{C908A11C-B910-4283-A718-DA6A69E19D7F}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
		{C908A11C-B910-4283-A718-DA6A69E19D7F}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
		{C908A11C-B910-4283-A718-DA6A69E19D7F}.ReleaseConcolic|Any CPU.Build.0 = Release|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
		{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
		{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
		{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
		{6AD7C7F8-A30A-4CBB-A5DC-19376A6634CD}.ReleaseConcolic|Any CPU.Build.0 = Release|Any CPU
		{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
		{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.Debug|Any CPU.Build.0 = Debug|Any CPU
		{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.Release|Any CPU.ActiveCfg = Release|Any CPU
		{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.Release|Any CPU.Build.0 = Release|Any CPU
		{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.DebugTailRec|Any CPU.ActiveCfg = Debug|Any CPU
		{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.DebugTailRec|Any CPU.Build.0 = Debug|Any CPU
		{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
		{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
		{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
		{BE5A0381-8532-457E-A6FC-B04D5F080C0B}.ReleaseConcolic|Any CPU.Build.0 = Release|Any CPU
		{4C5B924D-8934-44F2-847A-BE91416DB557}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
		{4C5B924D-8934-44F2-847A-BE91416DB557}.Debug|Any CPU.Build.0 = Debug|Any CPU
		{4C5B924D-8934-44F2-847A-BE91416DB557}.Release|Any CPU.ActiveCfg = Release|Any CPU
		{4C5B924D-8934-44F2-847A-BE91416DB557}.Release|Any CPU.Build.0 = Release|Any CPU
		{4C5B924D-8934-44F2-847A-BE91416DB557}.DebugTailRec|Any CPU.ActiveCfg = Debug|Any CPU
		{4C5B924D-8934-44F2-847A-BE91416DB557}.DebugTailRec|Any CPU.Build.0 = Debug|Any CPU
		{4C5B924D-8934-44F2-847A-BE91416DB557}.ReleaseConcolic|Any CPU.ActiveCfg = Release|Any CPU
		{4C5B924D-8934-44F2-847A-BE91416DB557}.DebugConcolic|Any CPU.ActiveCfg = Debug|Any CPU
		{4C5B924D-8934-44F2-847A-BE91416DB557}.DebugConcolic|Any CPU.Build.0 = Debug|Any CPU
		{4C5B924D-8934-44F2-847A-BE91416DB557}.ReleaseConcolic|Any CPU.Build.0 = Release|Any CPU
	EndGlobalSection
EndGlobal