-
Notifications
You must be signed in to change notification settings - Fork 0
/
WhileAbstractInterpreter.sln
31 lines (31 loc) · 1.68 KB
/
WhileAbstractInterpreter.sln
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
Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio Version 16
VisualStudioVersion = 25.0.1706.0
MinimumVisualStudioVersion = 10.0.40219.1
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "WhileAbstractInterpreter", "WhileAbstractInterpreter\WhileAbstractInterpreter.fsproj", "{87FE48D5-0FEB-494B-918D-770A07D28BD1}"
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "WhileAbstractInterpreter.Test", "WhileAbstractInterpreter.Test\WhileAbstractInterpreter.Test.fsproj", "{8DBE6D57-9FE2-4A34-93D5-2E6B7D96CAA8}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Release|Any CPU = Release|Any CPU
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{87FE48D5-0FEB-494B-918D-770A07D28BD1}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{87FE48D5-0FEB-494B-918D-770A07D28BD1}.Debug|Any CPU.Build.0 = Debug|Any CPU
{87FE48D5-0FEB-494B-918D-770A07D28BD1}.Release|Any CPU.ActiveCfg = Release|Any CPU
{87FE48D5-0FEB-494B-918D-770A07D28BD1}.Release|Any CPU.Build.0 = Release|Any CPU
{8DBE6D57-9FE2-4A34-93D5-2E6B7D96CAA8}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{8DBE6D57-9FE2-4A34-93D5-2E6B7D96CAA8}.Debug|Any CPU.Build.0 = Debug|Any CPU
{8DBE6D57-9FE2-4A34-93D5-2E6B7D96CAA8}.Release|Any CPU.ActiveCfg = Release|Any CPU
{8DBE6D57-9FE2-4A34-93D5-2E6B7D96CAA8}.Release|Any CPU.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
GlobalSection(ExtensibilityGlobals) = postSolution
SolutionGuid = {21D4289C-22E1-4CB4-9DF1-8445D915A17B}
EndGlobalSection
EndGlobal