forked from byu-dafny/dafny
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathDafny.sln
78 lines (78 loc) · 5.21 KB
/
Dafny.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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio Version 16
VisualStudioVersion = 16.0.30320.27
MinimumVisualStudioVersion = 10.0.40219.1
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "DafnyRuntime", "DafnyRuntime\DafnyRuntime.csproj", "{09E25A18-19EA-42C4-B33F-69E3E6FD5698}"
EndProject
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "DafnyPipeline", "Dafny\DafnyPipeline.csproj", "{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}"
EndProject
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "DafnyDriver", "DafnyDriver\DafnyDriver.csproj", "{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}"
EndProject
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "DafnyServer", "DafnyServer\DafnyServer.csproj", "{71208DB9-31D6-4071-838B-8D44A37CF0F1}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Solution Items", "Solution Items", "{9542E008-355F-4A62-B262-A8DA314DA8C1}"
ProjectSection(SolutionItems) = preProject
version.cs = version.cs
EndProjectSection
EndProject
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "DafnyLanguageServer", "DafnyLanguageServer\DafnyLanguageServer.csproj", "{CD05D26C-C672-4F43-835E-7A3E1741E4D8}"
EndProject
Project("{9A19103F-16F7-4668-BE54-9A1E7A4F7556}") = "DafnyLanguageServer.Test", "DafnyLanguageServer.Test\DafnyLanguageServer.Test.csproj", "{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "DafnyPipeline.Test", "DafnyPipeline.Test\DafnyPipeline.Test.csproj", "{FA2A3A73-3035-497B-B9D7-B6BC4888A058}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "DafnyTestGeneration", "DafnyTestGeneration\DafnyTestGeneration.csproj", "{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "DafnyTestGeneration.Test", "DafnyTestGeneration.Test\DafnyTestGeneration.Test.csproj", "{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Release|Any CPU = Release|Any CPU
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Debug|Any CPU.Build.0 = Debug|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Release|Any CPU.ActiveCfg = Release|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Release|Any CPU.Build.0 = Release|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Debug|Any CPU.Build.0 = Debug|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Release|Any CPU.ActiveCfg = Release|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Release|Any CPU.Build.0 = Release|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Debug|Any CPU.Build.0 = Debug|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Release|Any CPU.ActiveCfg = Release|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Release|Any CPU.Build.0 = Release|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Debug|Any CPU.Build.0 = Debug|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Release|Any CPU.ActiveCfg = Release|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Release|Any CPU.Build.0 = Release|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Debug|Any CPU.Build.0 = Debug|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Release|Any CPU.ActiveCfg = Release|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Release|Any CPU.Build.0 = Release|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Debug|Any CPU.Build.0 = Debug|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Release|Any CPU.ActiveCfg = Release|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Release|Any CPU.Build.0 = Release|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Debug|Any CPU.Build.0 = Debug|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Release|Any CPU.ActiveCfg = Release|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Release|Any CPU.Build.0 = Release|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Debug|Any CPU.Build.0 = Debug|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Release|Any CPU.ActiveCfg = Release|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Release|Any CPU.Build.0 = Release|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Debug|Any CPU.Build.0 = Debug|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Release|Any CPU.ActiveCfg = Release|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Release|Any CPU.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
GlobalSection(ExtensibilityGlobals) = postSolution
SolutionGuid = {280F572B-D27A-4613-998F-00B6FFE01187}
EndGlobalSection
EndGlobal