Skip to content

Commit

Permalink
Remove unnecessary solution configurations (dafny-lang#1422)
Browse files Browse the repository at this point in the history 
* Prune build configurations

* Make release builds when publishing Dafny

* Update patch file

* Add CONTRACTS_FULL constant to release configuration for DafnyDriver and DafnyPipeline

* Revert "Add CONTRACTS_FULL constant to release configuration for DafnyDriver and DafnyPipeline"

This reverts commit 4530367.

Co-authored-by: Remy Willems <>
  • Loading branch information
@keyboardDrummer
keyboardDrummer committed Sep 22, 2021
1 parent 90eb108 commit 24ab370
Show file tree
Hide file tree
Showing 3 changed files with 10 additions and 454 deletions.
6 changes: 3 additions & 3 deletions Scripts/package.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -131,19 +131,19 @@ def build(self):
"-f", "net5.0",
"-o", self.buildDirectory,
"-r", self.target,
"-c", "Checked"])
"-c", "Release"])
run(["dotnet", "publish", path.join(SOURCE_DIRECTORY, "DafnyServer", "DafnyServer.csproj"),
"--nologo",
"-f", "net5.0",
"-o", self.buildDirectory,
"-r", self.target,
"-c", "Checked"])
"-c", "Release"])
run(["dotnet", "publish", path.join(SOURCE_DIRECTORY, "DafnyDriver", "DafnyDriver.csproj"),
"--nologo",
"-f", "net5.0",
"-o", self.buildDirectory,
"-r", self.target,
"-c", "Checked"])
"-c", "Release"])

def pack(self):
try:
Expand Down
190 changes: 0 additions & 190 deletions Source/Dafny.sln
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,236 +28,46 @@ Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "DafnyTestGeneration.Test",
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Checked|.NET = Checked|.NET
Checked|Any CPU = Checked|Any CPU
Checked|Mixed Platforms = Checked|Mixed Platforms
Checked|x86 = Checked|x86
Debug|.NET = Debug|.NET
Debug|Any CPU = Debug|Any CPU
Debug|Mixed Platforms = Debug|Mixed Platforms
Debug|x86 = Debug|x86
Release|.NET = Release|.NET
Release|Any CPU = Release|Any CPU
Release|Mixed Platforms = Release|Mixed Platforms
Release|x86 = Release|x86
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Checked|.NET.ActiveCfg = Debug|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Checked|.NET.Build.0 = Debug|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Checked|Any CPU.ActiveCfg = Debug|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Checked|Any CPU.Build.0 = Debug|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Checked|Mixed Platforms.ActiveCfg = Debug|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Checked|Mixed Platforms.Build.0 = Debug|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Checked|x86.ActiveCfg = Debug|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Checked|x86.Build.0 = Debug|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Debug|.NET.ActiveCfg = Debug|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Debug|.NET.Build.0 = Debug|Any CPU
{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}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Debug|x86.ActiveCfg = Debug|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Debug|x86.Build.0 = Debug|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Release|.NET.ActiveCfg = Release|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Release|.NET.Build.0 = Release|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
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Release|x86.ActiveCfg = Release|Any CPU
{09E25A18-19EA-42C4-B33F-69E3E6FD5698}.Release|x86.Build.0 = Release|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Checked|.NET.ActiveCfg = Debug|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Checked|.NET.Build.0 = Debug|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Checked|Any CPU.ActiveCfg = Debug|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Checked|Any CPU.Build.0 = Debug|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Checked|Mixed Platforms.ActiveCfg = Debug|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Checked|Mixed Platforms.Build.0 = Debug|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Checked|x86.ActiveCfg = Debug|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Checked|x86.Build.0 = Debug|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Debug|.NET.ActiveCfg = Debug|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Debug|.NET.Build.0 = Debug|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}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Debug|x86.ActiveCfg = Debug|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Debug|x86.Build.0 = Debug|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Release|.NET.ActiveCfg = Release|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Release|.NET.Build.0 = Release|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
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Release|x86.ActiveCfg = Release|Any CPU
{45FFD363-CFE0-4ABC-984F-7EB58C8BEDE5}.Release|x86.Build.0 = Release|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Checked|.NET.ActiveCfg = Debug|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Checked|.NET.Build.0 = Debug|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Checked|Any CPU.ActiveCfg = Debug|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Checked|Any CPU.Build.0 = Debug|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Checked|Mixed Platforms.ActiveCfg = Debug|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Checked|Mixed Platforms.Build.0 = Debug|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Checked|x86.ActiveCfg = Debug|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Checked|x86.Build.0 = Debug|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Debug|.NET.ActiveCfg = Debug|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Debug|.NET.Build.0 = Debug|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}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Debug|x86.ActiveCfg = Debug|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Debug|x86.Build.0 = Debug|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Release|.NET.ActiveCfg = Release|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Release|.NET.Build.0 = Release|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
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Release|x86.ActiveCfg = Release|Any CPU
{4B74F970-8FEB-46A1-BD14-FBF2B5D5F285}.Release|x86.Build.0 = Release|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Checked|.NET.ActiveCfg = Debug|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Checked|.NET.Build.0 = Debug|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Checked|Any CPU.ActiveCfg = Debug|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Checked|Any CPU.Build.0 = Debug|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Checked|Mixed Platforms.ActiveCfg = Debug|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Checked|Mixed Platforms.Build.0 = Debug|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Checked|x86.ActiveCfg = Debug|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Checked|x86.Build.0 = Debug|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Debug|.NET.ActiveCfg = Debug|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Debug|.NET.Build.0 = Debug|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}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Debug|x86.ActiveCfg = Debug|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Debug|x86.Build.0 = Debug|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Release|.NET.ActiveCfg = Release|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Release|.NET.Build.0 = Release|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
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Release|x86.ActiveCfg = Release|Any CPU
{71208DB9-31D6-4071-838B-8D44A37CF0F1}.Release|x86.Build.0 = Release|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Checked|.NET.ActiveCfg = Debug|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Checked|.NET.Build.0 = Debug|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Checked|Any CPU.ActiveCfg = Debug|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Checked|Any CPU.Build.0 = Debug|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Checked|Mixed Platforms.ActiveCfg = Debug|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Checked|Mixed Platforms.Build.0 = Debug|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Checked|x86.ActiveCfg = Debug|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Checked|x86.Build.0 = Debug|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Debug|.NET.ActiveCfg = Debug|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Debug|.NET.Build.0 = Debug|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}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Debug|x86.ActiveCfg = Debug|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Debug|x86.Build.0 = Debug|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Release|.NET.ActiveCfg = Release|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Release|.NET.Build.0 = Release|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
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Release|x86.ActiveCfg = Release|Any CPU
{CD05D26C-C672-4F43-835E-7A3E1741E4D8}.Release|x86.Build.0 = Release|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Checked|.NET.ActiveCfg = Debug|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Checked|.NET.Build.0 = Debug|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Checked|Any CPU.ActiveCfg = Debug|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Checked|Any CPU.Build.0 = Debug|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Checked|Mixed Platforms.ActiveCfg = Debug|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Checked|Mixed Platforms.Build.0 = Debug|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Checked|x86.ActiveCfg = Debug|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Checked|x86.Build.0 = Debug|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Debug|.NET.ActiveCfg = Debug|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Debug|.NET.Build.0 = Debug|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}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Debug|x86.ActiveCfg = Debug|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Debug|x86.Build.0 = Debug|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Release|.NET.ActiveCfg = Release|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Release|.NET.Build.0 = Release|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
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Release|x86.ActiveCfg = Release|Any CPU
{320C02A3-D3E6-4AC7-A7E2-170AF86A6EEC}.Release|x86.Build.0 = Release|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Checked|.NET.ActiveCfg = Debug|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Checked|.NET.Build.0 = Debug|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Checked|Any CPU.ActiveCfg = Debug|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Checked|Any CPU.Build.0 = Debug|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Checked|Mixed Platforms.ActiveCfg = Debug|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Checked|Mixed Platforms.Build.0 = Debug|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Checked|x86.ActiveCfg = Debug|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Checked|x86.Build.0 = Debug|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Debug|.NET.ActiveCfg = Debug|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Debug|.NET.Build.0 = Debug|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}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Debug|x86.ActiveCfg = Debug|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Debug|x86.Build.0 = Debug|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Release|.NET.ActiveCfg = Release|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Release|.NET.Build.0 = Release|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
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Release|x86.ActiveCfg = Release|Any CPU
{FA2A3A73-3035-497B-B9D7-B6BC4888A058}.Release|x86.Build.0 = Release|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Checked|.NET.ActiveCfg = Debug|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Checked|.NET.Build.0 = Debug|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Checked|Any CPU.ActiveCfg = Debug|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Checked|Any CPU.Build.0 = Debug|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Checked|Mixed Platforms.ActiveCfg = Debug|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Checked|Mixed Platforms.Build.0 = Debug|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Checked|x86.ActiveCfg = Debug|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Checked|x86.Build.0 = Debug|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Debug|.NET.ActiveCfg = Debug|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Debug|.NET.Build.0 = Debug|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}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Debug|x86.ActiveCfg = Debug|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Debug|x86.Build.0 = Debug|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Release|.NET.ActiveCfg = Release|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Release|.NET.Build.0 = Release|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
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Release|x86.ActiveCfg = Release|Any CPU
{229E0F23-2B99-4331-8BD8-C2EBCB7C9DAC}.Release|x86.Build.0 = Release|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Checked|.NET.ActiveCfg = Debug|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Checked|.NET.Build.0 = Debug|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Checked|Any CPU.ActiveCfg = Debug|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Checked|Any CPU.Build.0 = Debug|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Checked|Mixed Platforms.ActiveCfg = Debug|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Checked|Mixed Platforms.Build.0 = Debug|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Checked|x86.ActiveCfg = Debug|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Checked|x86.Build.0 = Debug|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Debug|.NET.ActiveCfg = Debug|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Debug|.NET.Build.0 = Debug|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}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Debug|x86.ActiveCfg = Debug|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Debug|x86.Build.0 = Debug|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Release|.NET.ActiveCfg = Release|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Release|.NET.Build.0 = Release|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
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Release|x86.ActiveCfg = Release|Any CPU
{896E7F24-FD59-4B34-A1BF-53C51DDBC9E9}.Release|x86.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
Expand Down
Loading

0 comments on commit 24ab370

Please sign in to comment.