Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
tree: fb73135acb
Fetching contributors…

Cannot retrieve contributors at this time

75 lines (74 sloc) 5.053 kB

Microsoft Visual Studio Solution File, Format Version 11.00
# Visual Studio 2010
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "PSharp.Compiler", "PSharp.Compiler\PSharp.Compiler.csproj", "{87D1409F-450D-4216-909D-7851061000E7}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "PSharp.Compiler.Tests", "PSharp.Compiler.Tests\PSharp.Compiler.Tests.csproj", "{CD240C90-8DA8-48CD-AAE3-C0FE95DF8704}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "VM", "VM", "{72EB5722-EBCF-420B-825B-6BF300658C1E}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "PSharp.Runtime", "..\PSharp.Runtime\PSharp.Runtime\PSharp.Runtime.csproj", "{C3216C11-0B0D-405B-A6FE-9B4C71CB39A3}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Tools", "Tools", "{D35C4C04-07EE-4D50-99FD-237D44783358}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "GrammarIDE", "GrammarIDE\GrammarIDE.csproj", "{E1372004-154E-493B-BA4E-2CEE5924C7DE}"
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
{87D1409F-450D-4216-909D-7851061000E7}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{87D1409F-450D-4216-909D-7851061000E7}.Debug|Any CPU.Build.0 = Debug|Any CPU
{87D1409F-450D-4216-909D-7851061000E7}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{87D1409F-450D-4216-909D-7851061000E7}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{87D1409F-450D-4216-909D-7851061000E7}.Debug|x86.ActiveCfg = Debug|Any CPU
{87D1409F-450D-4216-909D-7851061000E7}.Release|Any CPU.ActiveCfg = Release|Any CPU
{87D1409F-450D-4216-909D-7851061000E7}.Release|Any CPU.Build.0 = Release|Any CPU
{87D1409F-450D-4216-909D-7851061000E7}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{87D1409F-450D-4216-909D-7851061000E7}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{87D1409F-450D-4216-909D-7851061000E7}.Release|x86.ActiveCfg = Release|Any CPU
{CD240C90-8DA8-48CD-AAE3-C0FE95DF8704}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{CD240C90-8DA8-48CD-AAE3-C0FE95DF8704}.Debug|Any CPU.Build.0 = Debug|Any CPU
{CD240C90-8DA8-48CD-AAE3-C0FE95DF8704}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{CD240C90-8DA8-48CD-AAE3-C0FE95DF8704}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{CD240C90-8DA8-48CD-AAE3-C0FE95DF8704}.Debug|x86.ActiveCfg = Debug|Any CPU
{CD240C90-8DA8-48CD-AAE3-C0FE95DF8704}.Release|Any CPU.ActiveCfg = Release|Any CPU
{CD240C90-8DA8-48CD-AAE3-C0FE95DF8704}.Release|Any CPU.Build.0 = Release|Any CPU
{CD240C90-8DA8-48CD-AAE3-C0FE95DF8704}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{CD240C90-8DA8-48CD-AAE3-C0FE95DF8704}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{CD240C90-8DA8-48CD-AAE3-C0FE95DF8704}.Release|x86.ActiveCfg = Release|Any CPU
{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
{E1372004-154E-493B-BA4E-2CEE5924C7DE}.Debug|Any CPU.ActiveCfg = Debug|x86
{E1372004-154E-493B-BA4E-2CEE5924C7DE}.Debug|Mixed Platforms.ActiveCfg = Debug|x86
{E1372004-154E-493B-BA4E-2CEE5924C7DE}.Debug|Mixed Platforms.Build.0 = Debug|x86
{E1372004-154E-493B-BA4E-2CEE5924C7DE}.Debug|x86.ActiveCfg = Debug|x86
{E1372004-154E-493B-BA4E-2CEE5924C7DE}.Debug|x86.Build.0 = Debug|x86
{E1372004-154E-493B-BA4E-2CEE5924C7DE}.Release|Any CPU.ActiveCfg = Release|x86
{E1372004-154E-493B-BA4E-2CEE5924C7DE}.Release|Mixed Platforms.ActiveCfg = Release|x86
{E1372004-154E-493B-BA4E-2CEE5924C7DE}.Release|Mixed Platforms.Build.0 = Release|x86
{E1372004-154E-493B-BA4E-2CEE5924C7DE}.Release|x86.ActiveCfg = Release|x86
{E1372004-154E-493B-BA4E-2CEE5924C7DE}.Release|x86.Build.0 = Release|x86
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
GlobalSection(NestedProjects) = preSolution
{C3216C11-0B0D-405B-A6FE-9B4C71CB39A3} = {72EB5722-EBCF-420B-825B-6BF300658C1E}
{E1372004-154E-493B-BA4E-2CEE5924C7DE} = {D35C4C04-07EE-4D50-99FD-237D44783358}
EndGlobalSection
EndGlobal
Jump to Line
Something went wrong with that request. Please try again.