Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
60 lines (59 sloc) 3.75 KB

Microsoft Visual Studio Solution File, Format Version 10.00
# Visual Studio 2008
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "PSharp.Runtime", "PSharp.Runtime\PSharp.Runtime.csproj", "{C3216C11-0B0D-405B-A6FE-9B4C71CB39A3}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "PSharp.Runtime.Tests", "PSharp.Runtime.Tests\PSharp.Runtime.Tests.csproj", "{40266B40-1B33-4CA4-8B74-C9FD361FDB1D}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Experiment", "Experiment", "{9442E7FA-972E-4C1B-BAB9-37973692304B}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "PSharp.AsmRun", "PSharp.AsmRun\PSharp.AsmRun.csproj", "{FC886BCE-9C7D-4D2A-A7AB-279C6669119E}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Debug|Mixed Platforms = Debug|Mixed Platforms
Debug|x86 = Debug|x86
Release|Any CPU = Release|Any CPU
Release|Mixed Platforms = Release|Mixed Platforms
Release|x86 = Release|x86
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{C3216C11-0B0D-405B-A6FE-9B4C71CB39A3}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{C3216C11-0B0D-405B-A6FE-9B4C71CB39A3}.Debug|Any CPU.Build.0 = Debug|Any CPU
{C3216C11-0B0D-405B-A6FE-9B4C71CB39A3}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{C3216C11-0B0D-405B-A6FE-9B4C71CB39A3}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{C3216C11-0B0D-405B-A6FE-9B4C71CB39A3}.Debug|x86.ActiveCfg = Debug|Any CPU
{C3216C11-0B0D-405B-A6FE-9B4C71CB39A3}.Release|Any CPU.ActiveCfg = Release|Any CPU
{C3216C11-0B0D-405B-A6FE-9B4C71CB39A3}.Release|Any CPU.Build.0 = Release|Any CPU
{C3216C11-0B0D-405B-A6FE-9B4C71CB39A3}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{C3216C11-0B0D-405B-A6FE-9B4C71CB39A3}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{C3216C11-0B0D-405B-A6FE-9B4C71CB39A3}.Release|x86.ActiveCfg = Release|Any CPU
{40266B40-1B33-4CA4-8B74-C9FD361FDB1D}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{40266B40-1B33-4CA4-8B74-C9FD361FDB1D}.Debug|Any CPU.Build.0 = Debug|Any CPU
{40266B40-1B33-4CA4-8B74-C9FD361FDB1D}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{40266B40-1B33-4CA4-8B74-C9FD361FDB1D}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{40266B40-1B33-4CA4-8B74-C9FD361FDB1D}.Debug|x86.ActiveCfg = Debug|Any CPU
{40266B40-1B33-4CA4-8B74-C9FD361FDB1D}.Release|Any CPU.ActiveCfg = Release|Any CPU
{40266B40-1B33-4CA4-8B74-C9FD361FDB1D}.Release|Any CPU.Build.0 = Release|Any CPU
{40266B40-1B33-4CA4-8B74-C9FD361FDB1D}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{40266B40-1B33-4CA4-8B74-C9FD361FDB1D}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{40266B40-1B33-4CA4-8B74-C9FD361FDB1D}.Release|x86.ActiveCfg = Release|Any CPU
{FC886BCE-9C7D-4D2A-A7AB-279C6669119E}.Debug|Any CPU.ActiveCfg = Debug|x86
{FC886BCE-9C7D-4D2A-A7AB-279C6669119E}.Debug|Mixed Platforms.ActiveCfg = Debug|x86
{FC886BCE-9C7D-4D2A-A7AB-279C6669119E}.Debug|Mixed Platforms.Build.0 = Debug|x86
{FC886BCE-9C7D-4D2A-A7AB-279C6669119E}.Debug|x86.ActiveCfg = Debug|x86
{FC886BCE-9C7D-4D2A-A7AB-279C6669119E}.Debug|x86.Build.0 = Debug|x86
{FC886BCE-9C7D-4D2A-A7AB-279C6669119E}.Release|Any CPU.ActiveCfg = Release|x86
{FC886BCE-9C7D-4D2A-A7AB-279C6669119E}.Release|Mixed Platforms.ActiveCfg = Release|x86
{FC886BCE-9C7D-4D2A-A7AB-279C6669119E}.Release|Mixed Platforms.Build.0 = Release|x86
{FC886BCE-9C7D-4D2A-A7AB-279C6669119E}.Release|x86.ActiveCfg = Release|x86
{FC886BCE-9C7D-4D2A-A7AB-279C6669119E}.Release|x86.Build.0 = Release|x86
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
GlobalSection(NestedProjects) = preSolution
{FC886BCE-9C7D-4D2A-A7AB-279C6669119E} = {9442E7FA-972E-4C1B-BAB9-37973692304B}
EndGlobalSection
EndGlobal
Something went wrong with that request. Please try again.