-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathBoogie.sln
43 lines (43 loc) · 2.44 KB
/
Boogie.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
32
33
34
35
36
37
38
39
40
41
42
43
Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio Version 17
VisualStudioVersion = 17.0.32014.148
MinimumVisualStudioVersion = 10.0.40219.1
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "Lang", "Lang\Lang.csproj", "{F0BFA3CF-8073-4FCD-8E45-65064F2DE6EB}"
EndProject
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "Tests", "Tests\Tests.csproj", "{9BD4F573-45FB-4B18-8CBA-7C139DF3D969}"
EndProject
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "Debug", "Debug\Debug.csproj", "{41D8DD01-7CAA-4894-9855-87E4D0D33B36}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Generators", "Generators\Generators.csproj", "{E4C7CBC4-F3AF-41F9-ACAF-B61C1356ACDC}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Release|Any CPU = Release|Any CPU
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{F0BFA3CF-8073-4FCD-8E45-65064F2DE6EB}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{F0BFA3CF-8073-4FCD-8E45-65064F2DE6EB}.Debug|Any CPU.Build.0 = Debug|Any CPU
{F0BFA3CF-8073-4FCD-8E45-65064F2DE6EB}.Release|Any CPU.ActiveCfg = Release|Any CPU
{F0BFA3CF-8073-4FCD-8E45-65064F2DE6EB}.Release|Any CPU.Build.0 = Release|Any CPU
{9BD4F573-45FB-4B18-8CBA-7C139DF3D969}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{9BD4F573-45FB-4B18-8CBA-7C139DF3D969}.Debug|Any CPU.Build.0 = Debug|Any CPU
{9BD4F573-45FB-4B18-8CBA-7C139DF3D969}.Release|Any CPU.ActiveCfg = Release|Any CPU
{9BD4F573-45FB-4B18-8CBA-7C139DF3D969}.Release|Any CPU.Build.0 = Release|Any CPU
{41D8DD01-7CAA-4894-9855-87E4D0D33B36}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{41D8DD01-7CAA-4894-9855-87E4D0D33B36}.Debug|Any CPU.Build.0 = Debug|Any CPU
{41D8DD01-7CAA-4894-9855-87E4D0D33B36}.Release|Any CPU.ActiveCfg = Release|Any CPU
{41D8DD01-7CAA-4894-9855-87E4D0D33B36}.Release|Any CPU.Build.0 = Release|Any CPU
{E4C7CBC4-F3AF-41F9-ACAF-B61C1356ACDC}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{E4C7CBC4-F3AF-41F9-ACAF-B61C1356ACDC}.Debug|Any CPU.Build.0 = Debug|Any CPU
{E4C7CBC4-F3AF-41F9-ACAF-B61C1356ACDC}.Release|Any CPU.ActiveCfg = Release|Any CPU
{E4C7CBC4-F3AF-41F9-ACAF-B61C1356ACDC}.Release|Any CPU.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
GlobalSection(ExtensibilityGlobals) = postSolution
SolutionGuid = {B1FE0595-852E-4B6F-B2CF-19AAA4616B60}
EndGlobalSection
EndGlobal