diff options
| author |  Unknown <afd@afd-THINK.home> | 2012-04-03 13:56:39 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.home> | 2012-04-03 13:56:39 +0100 |
| commit | abddec032d2561459b640ea1f22f2ef014920e7f (patch) | |
| tree | 480620426984381b9b2c55293434cd08795b482e | |
| parent | 33f451cc1b64593c0c00bfa2a2ae6bacef5d6b14 (diff) | |
| parent | 4ab395733bd4208651ac3edb2fe06f3170201986 (diff) | |
Merge
| -rw-r--r-- | BCT/BCT.sln | 736 | ||||
| -rw-r--r-- | BCT/BytecodeTranslator/BytecodeTranslator.csproj | 52 | ||||
| -rw-r--r-- | BCT/BytecodeTranslator/CLRSemantics.cs | 8 | ||||
| -rw-r--r-- | BCT/BytecodeTranslator/ExpressionTraverser.cs | 370 | ||||
| -rw-r--r-- | BCT/BytecodeTranslator/StatementTraverser.cs | 20 | ||||
| -rw-r--r-- | BCT/BytecodeTranslator/TraverserFactory.cs | 4 | ||||
| -rw-r--r-- | BCT/BytecodeTranslator/WholeProgram.cs | 16 | ||||
| -rw-r--r-- | BCT/RegressionTests/TranslationTest/TranslationTest.csproj | 24 | ||||
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 25 | ||||
| -rw-r--r-- | Source/VCGeneration/Check.cs | 4 | ||||
| -rw-r--r-- | Source/VCGeneration/StratifiedVC.cs | 3 |
11 files changed, 771 insertions, 491 deletions
diff --git a/BCT/BCT.sln b/BCT/BCT.sln index 27b91c01..91844548 100644 --- a/BCT/BCT.sln +++ b/BCT/BCT.sln @@ -18,41 +18,37 @@ Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Solution Items", "Solution EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "TranslationPlugins", "TranslationPlugins\TranslationPlugins.csproj", "{8C242D42-9714-440F-884D-F64F09E78C7B}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "CodeModel", "..\..\CCICodeBox\CoreObjectModel\CodeModel\CodeModel.csproj", "{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "CodeModel", "..\..\CCICodePlex\Ast\Sources\CodeModel\CodeModel.csproj", "{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "ContractExtractor", "..\..\CCICodeBox\Converters\ContractExtractor\ContractExtractor.csproj", "{0703D916-A881-45E6-A5CD-6BC50E2E30E2}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "CodeModelToIL", "..\..\CCICodePlex\Ast\Sources\CodeModelToIL\CodeModelToIL.csproj", "{CEB76EA1-A168-49B0-A410-2C4195FEE86F}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "ILToCodeModel", "..\..\CCICodeBox\Converters\ILToCodeModel\ILToCodeModel.csproj", "{27F2A417-B6ED-43AD-A38E-A0B6142216F6}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "ContractExtractor", "..\..\CCICodePlex\Ast\Sources\ContractExtractor\ContractExtractor.csproj", "{0703D916-A881-45E6-A5CD-6BC50E2E30E2}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "MetadataHelper", "..\..\CCICodeBox\CoreObjectModel\MetadataHelper\MetadataHelper.csproj", "{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "ControlAndDataFlowGraph", "..\..\CCICodePlex\Ast\Metadata\Sources\ControlAndDataFlowGraph\ControlAndDataFlowGraph.csproj", "{2596EFB0-87AE-42CE-89EB-84F35D6350D2}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "MetadataModel", "..\..\CCICodeBox\CoreObjectModel\MetadataModel\MetadataModel.csproj", "{33CAB640-0D03-43DF-81BD-22CDC6C0A597}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "ILGarbageCollect", "..\..\CCICodePlex\Ast\Metadata\Samples\ILGarbageCollect\ILGarbageCollect.csproj", "{60CD0C85-1E4A-4068-A4EC-D15B7981A908}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "MutableCodeModel", "..\..\CCICodeBox\CoreObjectModel\MutableCodeModel\MutableCodeModel.csproj", "{319E150C-8F33-49E7-81CA-30F02F9BA90A}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "ILGenerator", "..\..\CCICodePlex\Ast\Metadata\Sources\ILGenerator\ILGenerator.csproj", "{08156C78-403A-4112-AD81-8646AC51CD2F}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "MutableMetadataModel", "..\..\CCICodeBox\CoreObjectModel\MutableMetadataModel\MutableMetadataModel.csproj", "{319E151C-8F33-49E7-81C9-30F02F9BA90A}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "MetadataHelper", "..\..\CCICodePlex\Ast\Metadata\Sources\MetadataHelper\MetadataHelper.csproj", "{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "PdbReader", "..\..\CCICodeBox\PDBReaderAndWriter\PdbReader\PdbReader.csproj", "{A6A31B03-7C3D-4DE6-AA73-BE88116BC40A}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "MetadataModel", "..\..\CCICodePlex\Ast\Metadata\Sources\MetadataModel\MetadataModel.csproj", "{33CAB640-0D03-43DF-81BD-22CDC6C0A597}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "PeReader", "..\..\CCICodeBox\PEReaderAndWriter\PEReader\PeReader.csproj", "{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "MutableCodeModel", "..\..\CCICodePlex\Ast\Sources\MutableCodeModel\MutableCodeModel.csproj", "{319E150C-8F33-49E7-81CA-30F02F9BA90A}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "SourceModel", "..\..\CCICodeBox\CoreObjectModel\SourceModel\SourceModel.csproj", "{4B0054FD-124A-4037-9965-BDB55E6BF389}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "MutableMetadataModel", "..\..\CCICodePlex\Ast\Metadata\Sources\MutableMetadataModel\MutableMetadataModel.csproj", "{319E151C-8F33-49E7-81C9-30F02F9BA90A}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "ILGenerator", "..\..\CCICodeBox\Converters\ILGenerator\ILGenerator.csproj", "{08156C78-403A-4112-AD81-8646AC51CD2F}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "NewILToCodeModel", "..\..\CCICodePlex\Ast\Sources\NewILToCodeModel\NewILToCodeModel.csproj", "{A555D4CB-F16F-4049-A8CF-180B8A05C755}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "PeWriter", "..\..\CCICodeBox\PEReaderAndWriter\PEWriter\PeWriter.csproj", "{304A8B0B-851B-4AA6-A17D-5F87F39C5E5C}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "PdbReader", "..\..\CCICodePlex\Ast\Metadata\Sources\PdbReader\PdbReader.csproj", "{A6A31B03-7C3D-4DE6-AA73-BE88116BC40A}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "CodeModelToIL", "..\..\CCICodeBox\Converters\CodeModelToIL\CodeModelToIL.csproj", "{CEB76EA1-A168-49B0-A410-2C4195FEE86F}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "PdbWriter", "..\..\CCICodePlex\Ast\Metadata\Sources\PdbWriter\PdbWriter.csproj", "{6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "PdbWriter", "..\..\CCICodeBox\PDBReaderAndWriter\PdbWriter\PdbWriter.csproj", "{6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "PeReader", "..\..\CCICodePlex\Ast\Metadata\Sources\PeReader\PeReader.csproj", "{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Microsoft.Contracts", "..\..\CCICodeBox\Microsoft.Contracts\Microsoft.Contracts.csproj", "{B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "PeWriter", "..\..\CCICodePlex\Ast\Metadata\Sources\PeWriter\PeWriter.csproj", "{304A8B0B-851B-4AA6-A17D-5F87F39C5E5C}"
EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "ILGarbageCollect", "..\..\CCICodeBox\Samples\ILGarbageCollect\ILGarbageCollect.csproj", "{60CD0C85-1E4A-4068-A4EC-D15B7981A908}"
-EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "ControlAndDataFlowGraph", "..\..\ccicodebox\CodeGenerators\ControlAndDataFlowGraph\ControlAndDataFlowGraph.csproj", "{2596EFB0-87AE-42CE-89EB-84F35D6350D2}"
-EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "NewILToCodeModel", "..\..\CCICodeBox\Converters\NewILToCodeModel\NewILToCodeModel.csproj", "{A555D4CB-F16F-4049-A8CF-180B8A05C755}"
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "SourceModel", "..\..\CCICodePlex\Ast\Metadata\Sources\SourceModel\SourceModel.csproj", "{4B0054FD-124A-4037-9965-BDB55E6BF389}"
EndProject
Global
GlobalSection(TeamFoundationVersionControl) = preSolution
@@ -294,21 +290,21 @@ Global {8C242D42-9714-440F-884D-F64F09E78C7B}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{8C242D42-9714-440F-884D-F64F09E78C7B}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{8C242D42-9714-440F-884D-F64F09E78C7B}.Release|x86.ActiveCfg = Release|Any CPU
- {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
- {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
- {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
- {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
- {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
+ {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.CompilerOnly|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.CompilerOnly|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.CompilerOnly|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.CompilerOnly|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.CompilerOnly|x86.ActiveCfg = CompilerOnly|Any CPU
{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.Debug|Any CPU.Build.0 = Debug|Any CPU
{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.Debug|x86.ActiveCfg = Debug|Any CPU
- {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
- {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
- {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
- {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
- {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.FastpathSim|x86.ActiveCfg = Release|Any CPU
+ {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.FastpathSim|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.FastpathSim|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.FastpathSim|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.FastpathSim|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.FastpathSim|x86.ActiveCfg = CompilerOnly|Any CPU
{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
@@ -324,6 +320,36 @@ Global {035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}.Release|x86.ActiveCfg = Release|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.CompilerOnly|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.CompilerOnly|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.CompilerOnly|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.CompilerOnly|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.CompilerOnly|x86.ActiveCfg = CompilerOnly|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Debug|Any CPU.Build.0 = Debug|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Debug|x86.ActiveCfg = Debug|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.FastpathSim|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.FastpathSim|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.FastpathSim|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.FastpathSim|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.FastpathSim|x86.ActiveCfg = CompilerOnly|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Release|Any CPU.ActiveCfg = Release|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Release|Any CPU.Build.0 = Release|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Release|Mixed Platforms.Build.0 = Release|Any CPU
+ {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Release|x86.ActiveCfg = Release|Any CPU
{0703D916-A881-45E6-A5CD-6BC50E2E30E2}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
{0703D916-A881-45E6-A5CD-6BC50E2E30E2}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
{0703D916-A881-45E6-A5CD-6BC50E2E30E2}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
@@ -354,156 +380,246 @@ Global {0703D916-A881-45E6-A5CD-6BC50E2E30E2}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{0703D916-A881-45E6-A5CD-6BC50E2E30E2}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{0703D916-A881-45E6-A5CD-6BC50E2E30E2}.Release|x86.ActiveCfg = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.Debug|Any CPU.Build.0 = Debug|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.Debug|x86.ActiveCfg = Debug|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.FastpathSim|x86.ActiveCfg = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.Release|Any CPU.ActiveCfg = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.Release|Any CPU.Build.0 = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.Release|Mixed Platforms.Build.0 = Release|Any CPU
- {27F2A417-B6ED-43AD-A38E-A0B6142216F6}.Release|x86.ActiveCfg = Release|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Debug|Any CPU.Build.0 = Debug|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Debug|x86.ActiveCfg = Debug|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.FastpathSim|x86.ActiveCfg = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Release|Any CPU.ActiveCfg = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Release|Any CPU.Build.0 = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Release|Mixed Platforms.Build.0 = Release|Any CPU
+ {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Release|x86.ActiveCfg = Release|Any CPU
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.CompilerOnly|Any CPU.ActiveCfg = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.CompilerOnly|Mixed Platforms.Build.0 = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.CompilerOnly|x86.ActiveCfg = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.CompilerOnly|x86.Build.0 = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Debug|Any CPU.ActiveCfg = Debug|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Debug|Mixed Platforms.ActiveCfg = Debug|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Debug|Mixed Platforms.Build.0 = Debug|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Debug|x86.ActiveCfg = Debug|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Debug|x86.Build.0 = Debug|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.FastpathSim|Any CPU.ActiveCfg = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.FastpathSim|Mixed Platforms.ActiveCfg = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.FastpathSim|Mixed Platforms.Build.0 = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.FastpathSim|x86.ActiveCfg = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.FastpathSim|x86.Build.0 = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyDebug|Any CPU.ActiveCfg = Debug|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyDebug|Mixed Platforms.Build.0 = Debug|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyDebug|x86.ActiveCfg = Debug|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyDebug|x86.Build.0 = Debug|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyRelease|Any CPU.ActiveCfg = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyRelease|Mixed Platforms.Build.0 = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyRelease|x86.ActiveCfg = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyRelease|x86.Build.0 = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Release|Any CPU.ActiveCfg = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Release|Mixed Platforms.ActiveCfg = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Release|Mixed Platforms.Build.0 = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Release|x86.ActiveCfg = Release|x86
+ {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Release|x86.Build.0 = Release|x86
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.CompilerOnly|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.CompilerOnly|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.CompilerOnly|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.CompilerOnly|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.CompilerOnly|x86.ActiveCfg = CompilerOnly|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.Debug|Any CPU.Build.0 = Debug|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.Debug|x86.ActiveCfg = Debug|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.FastpathSim|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.FastpathSim|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.FastpathSim|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.FastpathSim|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.FastpathSim|x86.ActiveCfg = CompilerOnly|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.Release|Any CPU.ActiveCfg = Release|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.Release|Any CPU.Build.0 = Release|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.Release|Mixed Platforms.Build.0 = Release|Any CPU
+ {08156C78-403A-4112-AD81-8646AC51CD2F}.Release|x86.ActiveCfg = Release|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.CompilerOnly|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.CompilerOnly|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.CompilerOnly|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.CompilerOnly|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.CompilerOnly|x86.ActiveCfg = CompilerOnly|Any CPU
{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.Debug|Any CPU.Build.0 = Debug|Any CPU
{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.Debug|x86.ActiveCfg = Debug|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.FastpathSim|x86.ActiveCfg = Release|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
- {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.FastpathSim|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.FastpathSim|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.FastpathSim|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.FastpathSim|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.FastpathSim|x86.ActiveCfg = CompilerOnly|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyDebug|Any CPU.ActiveCfg = NightlyDebug|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyDebug|Any CPU.Build.0 = NightlyDebug|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyDebug|Mixed Platforms.ActiveCfg = NightlyDebug|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyDebug|Mixed Platforms.Build.0 = NightlyDebug|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyDebug|x86.ActiveCfg = NightlyDebug|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyRelease|Any CPU.ActiveCfg = NightlyRelease|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyRelease|Any CPU.Build.0 = NightlyRelease|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyRelease|Mixed Platforms.ActiveCfg = NightlyRelease|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyRelease|Mixed Platforms.Build.0 = NightlyRelease|Any CPU
+ {4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.NightlyRelease|x86.ActiveCfg = NightlyRelease|Any CPU
{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.Release|Any CPU.ActiveCfg = Release|Any CPU
{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.Release|Any CPU.Build.0 = Release|Any CPU
{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}.Release|x86.ActiveCfg = Release|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.CompilerOnly|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.CompilerOnly|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.CompilerOnly|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.CompilerOnly|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.CompilerOnly|x86.ActiveCfg = CompilerOnly|Any CPU
{33CAB640-0D03-43DF-81BD-22CDC6C0A597}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{33CAB640-0D03-43DF-81BD-22CDC6C0A597}.Debug|Any CPU.Build.0 = Debug|Any CPU
{33CAB640-0D03-43DF-81BD-22CDC6C0A597}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{33CAB640-0D03-43DF-81BD-22CDC6C0A597}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{33CAB640-0D03-43DF-81BD-22CDC6C0A597}.Debug|x86.ActiveCfg = Debug|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.FastpathSim|x86.ActiveCfg = Release|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
- {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.FastpathSim|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.FastpathSim|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.FastpathSim|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.FastpathSim|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.FastpathSim|x86.ActiveCfg = CompilerOnly|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyDebug|Any CPU.ActiveCfg = NightlyDebug|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyDebug|Any CPU.Build.0 = NightlyDebug|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyDebug|Mixed Platforms.ActiveCfg = NightlyDebug|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyDebug|Mixed Platforms.Build.0 = NightlyDebug|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyDebug|x86.ActiveCfg = NightlyDebug|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyRelease|Any CPU.ActiveCfg = NightlyRelease|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyRelease|Any CPU.Build.0 = NightlyRelease|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyRelease|Mixed Platforms.ActiveCfg = NightlyRelease|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyRelease|Mixed Platforms.Build.0 = NightlyRelease|Any CPU
+ {33CAB640-0D03-43DF-81BD-22CDC6C0A597}.NightlyRelease|x86.ActiveCfg = NightlyRelease|Any CPU
{33CAB640-0D03-43DF-81BD-22CDC6C0A597}.Release|Any CPU.ActiveCfg = Release|Any CPU
{33CAB640-0D03-43DF-81BD-22CDC6C0A597}.Release|Any CPU.Build.0 = Release|Any CPU
{33CAB640-0D03-43DF-81BD-22CDC6C0A597}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{33CAB640-0D03-43DF-81BD-22CDC6C0A597}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{33CAB640-0D03-43DF-81BD-22CDC6C0A597}.Release|x86.ActiveCfg = Release|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.CompilerOnly|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.CompilerOnly|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.CompilerOnly|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.CompilerOnly|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.CompilerOnly|x86.ActiveCfg = CompilerOnly|Any CPU
{319E150C-8F33-49E7-81CA-30F02F9BA90A}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{319E150C-8F33-49E7-81CA-30F02F9BA90A}.Debug|Any CPU.Build.0 = Debug|Any CPU
{319E150C-8F33-49E7-81CA-30F02F9BA90A}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{319E150C-8F33-49E7-81CA-30F02F9BA90A}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{319E150C-8F33-49E7-81CA-30F02F9BA90A}.Debug|x86.ActiveCfg = Debug|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.FastpathSim|x86.ActiveCfg = Release|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
- {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.FastpathSim|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.FastpathSim|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.FastpathSim|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.FastpathSim|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.FastpathSim|x86.ActiveCfg = CompilerOnly|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyDebug|Any CPU.ActiveCfg = NightlyDebug|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyDebug|Any CPU.Build.0 = NightlyDebug|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyDebug|Mixed Platforms.ActiveCfg = NightlyDebug|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyDebug|Mixed Platforms.Build.0 = NightlyDebug|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyDebug|x86.ActiveCfg = NightlyDebug|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyRelease|Any CPU.ActiveCfg = NightlyRelease|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyRelease|Any CPU.Build.0 = NightlyRelease|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyRelease|Mixed Platforms.ActiveCfg = NightlyRelease|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyRelease|Mixed Platforms.Build.0 = NightlyRelease|Any CPU
+ {319E150C-8F33-49E7-81CA-30F02F9BA90A}.NightlyRelease|x86.ActiveCfg = NightlyRelease|Any CPU
{319E150C-8F33-49E7-81CA-30F02F9BA90A}.Release|Any CPU.ActiveCfg = Release|Any CPU
{319E150C-8F33-49E7-81CA-30F02F9BA90A}.Release|Any CPU.Build.0 = Release|Any CPU
{319E150C-8F33-49E7-81CA-30F02F9BA90A}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{319E150C-8F33-49E7-81CA-30F02F9BA90A}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{319E150C-8F33-49E7-81CA-30F02F9BA90A}.Release|x86.ActiveCfg = Release|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.CompilerOnly|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.CompilerOnly|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.CompilerOnly|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.CompilerOnly|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.CompilerOnly|x86.ActiveCfg = CompilerOnly|Any CPU
{319E151C-8F33-49E7-81C9-30F02F9BA90A}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{319E151C-8F33-49E7-81C9-30F02F9BA90A}.Debug|Any CPU.Build.0 = Debug|Any CPU
{319E151C-8F33-49E7-81C9-30F02F9BA90A}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{319E151C-8F33-49E7-81C9-30F02F9BA90A}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{319E151C-8F33-49E7-81C9-30F02F9BA90A}.Debug|x86.ActiveCfg = Debug|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.FastpathSim|x86.ActiveCfg = Release|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
- {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.FastpathSim|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.FastpathSim|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.FastpathSim|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.FastpathSim|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.FastpathSim|x86.ActiveCfg = CompilerOnly|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyDebug|Any CPU.ActiveCfg = NightlyDebug|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyDebug|Any CPU.Build.0 = NightlyDebug|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyDebug|Mixed Platforms.ActiveCfg = NightlyDebug|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyDebug|Mixed Platforms.Build.0 = NightlyDebug|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyDebug|x86.ActiveCfg = NightlyDebug|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyRelease|Any CPU.ActiveCfg = NightlyRelease|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyRelease|Any CPU.Build.0 = NightlyRelease|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyRelease|Mixed Platforms.ActiveCfg = NightlyRelease|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyRelease|Mixed Platforms.Build.0 = NightlyRelease|Any CPU
+ {319E151C-8F33-49E7-81C9-30F02F9BA90A}.NightlyRelease|x86.ActiveCfg = NightlyRelease|Any CPU
{319E151C-8F33-49E7-81C9-30F02F9BA90A}.Release|Any CPU.ActiveCfg = Release|Any CPU
{319E151C-8F33-49E7-81C9-30F02F9BA90A}.Release|Any CPU.Build.0 = Release|Any CPU
{319E151C-8F33-49E7-81C9-30F02F9BA90A}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{319E151C-8F33-49E7-81C9-30F02F9BA90A}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{319E151C-8F33-49E7-81C9-30F02F9BA90A}.Release|x86.ActiveCfg = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Debug|Any CPU.Build.0 = Debug|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Debug|x86.ActiveCfg = Debug|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.FastpathSim|x86.ActiveCfg = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Release|Any CPU.ActiveCfg = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Release|Any CPU.Build.0 = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Release|Mixed Platforms.Build.0 = Release|Any CPU
+ {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Release|x86.ActiveCfg = Release|Any CPU
{A6A31B03-7C3D-4DE6-AA73-BE88116BC40A}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
{A6A31B03-7C3D-4DE6-AA73-BE88116BC40A}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
{A6A31B03-7C3D-4DE6-AA73-BE88116BC40A}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
@@ -534,96 +650,66 @@ Global {A6A31B03-7C3D-4DE6-AA73-BE88116BC40A}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{A6A31B03-7C3D-4DE6-AA73-BE88116BC40A}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{A6A31B03-7C3D-4DE6-AA73-BE88116BC40A}.Release|x86.ActiveCfg = Release|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.CompilerOnly|Any CPU.ActiveCfg = NightlyRelease|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.CompilerOnly|Any CPU.Build.0 = NightlyRelease|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.CompilerOnly|Mixed Platforms.ActiveCfg = NightlyRelease|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.CompilerOnly|Mixed Platforms.Build.0 = NightlyRelease|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.CompilerOnly|x86.ActiveCfg = NightlyRelease|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Debug|Any CPU.Build.0 = Debug|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Debug|x86.ActiveCfg = Debug|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.FastpathSim|x86.ActiveCfg = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Release|Any CPU.ActiveCfg = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Release|Any CPU.Build.0 = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Release|Mixed Platforms.Build.0 = Release|Any CPU
+ {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Release|x86.ActiveCfg = Release|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.CompilerOnly|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.CompilerOnly|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.CompilerOnly|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.CompilerOnly|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.CompilerOnly|x86.ActiveCfg = CompilerOnly|Any CPU
{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.Debug|Any CPU.Build.0 = Debug|Any CPU
{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.Debug|x86.ActiveCfg = Debug|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.FastpathSim|Any CPU.ActiveCfg = NightlyRelease|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.FastpathSim|Any CPU.Build.0 = NightlyRelease|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.FastpathSim|Mixed Platforms.ActiveCfg = NightlyRelease|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.FastpathSim|Mixed Platforms.Build.0 = NightlyRelease|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.FastpathSim|x86.ActiveCfg = NightlyRelease|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyDebug|Any CPU.ActiveCfg = NightlyDebug|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyDebug|Any CPU.Build.0 = NightlyDebug|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyDebug|Mixed Platforms.ActiveCfg = NightlyDebug|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyDebug|Mixed Platforms.Build.0 = NightlyDebug|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyDebug|x86.ActiveCfg = NightlyDebug|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyRelease|Any CPU.ActiveCfg = NightlyRelease|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyRelease|Any CPU.Build.0 = NightlyRelease|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyRelease|Mixed Platforms.ActiveCfg = NightlyRelease|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyRelease|Mixed Platforms.Build.0 = NightlyRelease|Any CPU
- {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyRelease|x86.ActiveCfg = NightlyRelease|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.FastpathSim|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.FastpathSim|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.FastpathSim|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.FastpathSim|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.FastpathSim|x86.ActiveCfg = CompilerOnly|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
+ {34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.Release|Any CPU.ActiveCfg = Release|Any CPU
{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.Release|Any CPU.Build.0 = Release|Any CPU
{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}.Release|x86.ActiveCfg = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.Debug|Any CPU.Build.0 = Debug|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.Debug|x86.ActiveCfg = Debug|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.FastpathSim|x86.ActiveCfg = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.Release|Any CPU.ActiveCfg = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.Release|Any CPU.Build.0 = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.Release|Mixed Platforms.Build.0 = Release|Any CPU
- {4B0054FD-124A-4037-9965-BDB55E6BF389}.Release|x86.ActiveCfg = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.Debug|Any CPU.Build.0 = Debug|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.Debug|x86.ActiveCfg = Debug|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.FastpathSim|x86.ActiveCfg = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.Release|Any CPU.ActiveCfg = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.Release|Any CPU.Build.0 = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.Release|Mixed Platforms.Build.0 = Release|Any CPU
- {08156C78-403A-4112-AD81-8646AC51CD2F}.Release|x86.ActiveCfg = Release|Any CPU
{304A8B0B-851B-4AA6-A17D-5F87F39C5E5C}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
{304A8B0B-851B-4AA6-A17D-5F87F39C5E5C}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
{304A8B0B-851B-4AA6-A17D-5F87F39C5E5C}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
@@ -654,186 +740,36 @@ Global {304A8B0B-851B-4AA6-A17D-5F87F39C5E5C}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{304A8B0B-851B-4AA6-A17D-5F87F39C5E5C}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{304A8B0B-851B-4AA6-A17D-5F87F39C5E5C}.Release|x86.ActiveCfg = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Debug|Any CPU.Build.0 = Debug|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Debug|x86.ActiveCfg = Debug|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.FastpathSim|x86.ActiveCfg = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Release|Any CPU.ActiveCfg = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Release|Any CPU.Build.0 = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Release|Mixed Platforms.Build.0 = Release|Any CPU
- {CEB76EA1-A168-49B0-A410-2C4195FEE86F}.Release|x86.ActiveCfg = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Debug|Any CPU.Build.0 = Debug|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Debug|x86.ActiveCfg = Debug|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.FastpathSim|x86.ActiveCfg = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Release|Any CPU.ActiveCfg = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Release|Any CPU.Build.0 = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Release|Mixed Platforms.Build.0 = Release|Any CPU
- {6D83F687-ABB5-40B3-915E-CA53DA0EB7F3}.Release|x86.ActiveCfg = Release|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.CompilerOnly|Any CPU.ActiveCfg = FastpathSim|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.CompilerOnly|Any CPU.Build.0 = FastpathSim|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.CompilerOnly|Mixed Platforms.ActiveCfg = FastpathSim|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.CompilerOnly|Mixed Platforms.Build.0 = FastpathSim|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.CompilerOnly|x86.ActiveCfg = FastpathSim|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.Debug|Any CPU.Build.0 = Debug|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.Debug|x86.ActiveCfg = Debug|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.FastpathSim|Any CPU.ActiveCfg = FastpathSim|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.FastpathSim|Any CPU.Build.0 = FastpathSim|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.FastpathSim|Mixed Platforms.ActiveCfg = FastpathSim|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.FastpathSim|Mixed Platforms.Build.0 = FastpathSim|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.FastpathSim|x86.ActiveCfg = FastpathSim|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.Release|Any CPU.ActiveCfg = Release|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.Release|Any CPU.Build.0 = Release|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.Release|Mixed Platforms.Build.0 = Release|Any CPU
- {B114E5FF-F2A2-4BE7-8AF1-936FC87030F0}.Release|x86.ActiveCfg = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Debug|Any CPU.Build.0 = Debug|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Debug|x86.ActiveCfg = Debug|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.FastpathSim|x86.ActiveCfg = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Release|Any CPU.ActiveCfg = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Release|Any CPU.Build.0 = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Release|Mixed Platforms.Build.0 = Release|Any CPU
- {60CD0C85-1E4A-4068-A4EC-D15B7981A908}.Release|x86.ActiveCfg = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Debug|Any CPU.Build.0 = Debug|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Debug|x86.ActiveCfg = Debug|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.FastpathSim|x86.ActiveCfg = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Release|Any CPU.ActiveCfg = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Release|Any CPU.Build.0 = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Release|Mixed Platforms.Build.0 = Release|Any CPU
- {2596EFB0-87AE-42CE-89EB-84F35D6350D2}.Release|x86.ActiveCfg = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.CompilerOnly|Any CPU.ActiveCfg = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.CompilerOnly|Any CPU.Build.0 = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.CompilerOnly|Mixed Platforms.ActiveCfg = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.CompilerOnly|Mixed Platforms.Build.0 = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.CompilerOnly|x86.ActiveCfg = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Debug|Any CPU.Build.0 = Debug|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Debug|x86.ActiveCfg = Debug|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.FastpathSim|Any CPU.ActiveCfg = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.FastpathSim|Any CPU.Build.0 = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.FastpathSim|Mixed Platforms.ActiveCfg = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.FastpathSim|Mixed Platforms.Build.0 = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.FastpathSim|x86.ActiveCfg = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Release|Any CPU.ActiveCfg = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Release|Any CPU.Build.0 = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Release|Mixed Platforms.Build.0 = Release|Any CPU
- {A555D4CB-F16F-4049-A8CF-180B8A05C755}.Release|x86.ActiveCfg = Release|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.CompilerOnly|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.CompilerOnly|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.CompilerOnly|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.CompilerOnly|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.CompilerOnly|x86.ActiveCfg = CompilerOnly|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.Debug|Any CPU.Build.0 = Debug|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.Debug|x86.ActiveCfg = Debug|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.FastpathSim|Any CPU.ActiveCfg = CompilerOnly|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.FastpathSim|Any CPU.Build.0 = CompilerOnly|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.FastpathSim|Mixed Platforms.ActiveCfg = CompilerOnly|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.FastpathSim|Mixed Platforms.Build.0 = CompilerOnly|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.FastpathSim|x86.ActiveCfg = CompilerOnly|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyDebug|Any CPU.ActiveCfg = Debug|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyDebug|Any CPU.Build.0 = Debug|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyDebug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyDebug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyDebug|x86.ActiveCfg = Debug|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyRelease|Any CPU.ActiveCfg = Release|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyRelease|Any CPU.Build.0 = Release|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyRelease|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyRelease|Mixed Platforms.Build.0 = Release|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.NightlyRelease|x86.ActiveCfg = Release|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.Release|Any CPU.ActiveCfg = Release|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.Release|Any CPU.Build.0 = Release|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.Release|Mixed Platforms.Build.0 = Release|Any CPU
+ {4B0054FD-124A-4037-9965-BDB55E6BF389}.Release|x86.ActiveCfg = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
diff --git a/BCT/BytecodeTranslator/BytecodeTranslator.csproj b/BCT/BytecodeTranslator/BytecodeTranslator.csproj index 3ddd4e43..7c47c56c 100644 --- a/BCT/BytecodeTranslator/BytecodeTranslator.csproj +++ b/BCT/BytecodeTranslator/BytecodeTranslator.csproj @@ -154,50 +154,50 @@ <Content Include="Readme.txt" />
</ItemGroup>
<ItemGroup>
- <ProjectReference Include="..\..\..\CCICodeBox\Converters\ContractExtractor\ContractExtractor.csproj">
- <Project>{0703D916-A881-45E6-A5CD-6BC50E2E30E2}</Project>
- <Name>ContractExtractor</Name>
- </ProjectReference>
- <ProjectReference Include="..\..\..\CCICodeBox\Converters\ILToCodeModel\ILToCodeModel.csproj">
- <Project>{27F2A417-B6ED-43AD-A38E-A0B6142216F6}</Project>
- <Name>ILToCodeModel</Name>
- </ProjectReference>
- <ProjectReference Include="..\..\..\CCICodeBox\Samples\ILGarbageCollect\ILGarbageCollect.csproj">
+ <ProjectReference Include="..\..\..\CCICodePlex\Ast\Metadata\Samples\ILGarbageCollect\ILGarbageCollect.csproj">
<Project>{60CD0C85-1E4A-4068-A4EC-D15B7981A908}</Project>
<Name>ILGarbageCollect</Name>
</ProjectReference>
- <ProjectReference Include="..\..\..\CCICodeBox\CoreObjectModel\CodeModel\CodeModel.csproj">
- <Project>{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}</Project>
- <Name>CodeModel</Name>
- </ProjectReference>
- <ProjectReference Include="..\..\..\CCICodeBox\CoreObjectModel\MetadataHelper\MetadataHelper.csproj">
+ <ProjectReference Include="..\..\..\CCICodePlex\Ast\Metadata\Sources\MetadataHelper\MetadataHelper.csproj">
<Project>{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}</Project>
<Name>MetadataHelper</Name>
</ProjectReference>
- <ProjectReference Include="..\..\..\CCICodeBox\CoreObjectModel\MetadataModel\MetadataModel.csproj">
+ <ProjectReference Include="..\..\..\CCICodePlex\Ast\Metadata\Sources\MetadataModel\MetadataModel.csproj">
<Project>{33CAB640-0D03-43DF-81BD-22CDC6C0A597}</Project>
<Name>MetadataModel</Name>
</ProjectReference>
- <ProjectReference Include="..\..\..\CCICodeBox\CoreObjectModel\MutableCodeModel\MutableCodeModel.csproj">
- <Project>{319E150C-8F33-49E7-81CA-30F02F9BA90A}</Project>
- <Name>MutableCodeModel</Name>
- </ProjectReference>
- <ProjectReference Include="..\..\..\CCICodeBox\CoreObjectModel\MutableMetadataModel\MutableMetadataModel.csproj">
+ <ProjectReference Include="..\..\..\CCICodePlex\Ast\Metadata\Sources\MutableMetadataModel\MutableMetadataModel.csproj">
<Project>{319E151C-8F33-49E7-81C9-30F02F9BA90A}</Project>
<Name>MutableMetadataModel</Name>
</ProjectReference>
- <ProjectReference Include="..\..\..\CCICodeBox\CoreObjectModel\SourceModel\SourceModel.csproj">
- <Project>{4B0054FD-124A-4037-9965-BDB55E6BF389}</Project>
- <Name>SourceModel</Name>
- </ProjectReference>
- <ProjectReference Include="..\..\..\CCICodeBox\PDBReaderAndWriter\PdbReader\PdbReader.csproj">
+ <ProjectReference Include="..\..\..\CCICodePlex\Ast\Metadata\Sources\PdbReader\PdbReader.csproj">
<Project>{A6A31B03-7C3D-4DE6-AA73-BE88116BC40A}</Project>
<Name>PdbReader</Name>
</ProjectReference>
- <ProjectReference Include="..\..\..\CCICodeBox\PEReaderAndWriter\PEReader\PeReader.csproj">
+ <ProjectReference Include="..\..\..\CCICodePlex\Ast\Metadata\Sources\PeReader\PeReader.csproj">
<Project>{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}</Project>
<Name>PeReader</Name>
</ProjectReference>
+ <ProjectReference Include="..\..\..\CCICodePlex\Ast\Metadata\Sources\SourceModel\SourceModel.csproj">
+ <Project>{4B0054FD-124A-4037-9965-BDB55E6BF389}</Project>
+ <Name>SourceModel</Name>
+ </ProjectReference>
+ <ProjectReference Include="..\..\..\CCICodePlex\Ast\Sources\CodeModel\CodeModel.csproj">
+ <Project>{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}</Project>
+ <Name>CodeModel</Name>
+ </ProjectReference>
+ <ProjectReference Include="..\..\..\CCICodePlex\Ast\Sources\ContractExtractor\ContractExtractor.csproj">
+ <Project>{0703D916-A881-45E6-A5CD-6BC50E2E30E2}</Project>
+ <Name>ContractExtractor</Name>
+ </ProjectReference>
+ <ProjectReference Include="..\..\..\CCICodePlex\Ast\Sources\MutableCodeModel\MutableCodeModel.csproj">
+ <Project>{319E150C-8F33-49E7-81CA-30F02F9BA90A}</Project>
+ <Name>MutableCodeModel</Name>
+ </ProjectReference>
+ <ProjectReference Include="..\..\..\CCICodePlex\Ast\Sources\NewILToCodeModel\NewILToCodeModel.csproj">
+ <Project>{A555D4CB-F16F-4049-A8CF-180B8A05C755}</Project>
+ <Name>NewILToCodeModel</Name>
+ </ProjectReference>
<ProjectReference Include="..\TranslationPlugins\TranslationPlugins.csproj">
<Project>{8C242D42-9714-440F-884D-F64F09E78C7B}</Project>
<Name>TranslationPlugins</Name>
diff --git a/BCT/BytecodeTranslator/CLRSemantics.cs b/BCT/BytecodeTranslator/CLRSemantics.cs index ddf85c6f..8b7cda22 100644 --- a/BCT/BytecodeTranslator/CLRSemantics.cs +++ b/BCT/BytecodeTranslator/CLRSemantics.cs @@ -26,15 +26,15 @@ namespace BytecodeTranslator { return translator;
}
- public override ExpressionTraverser MakeExpressionTraverser(Sink sink, StatementTraverser/*?*/ statementTraverser, bool contractContext) {
- return new CLRExpressionSemantics(sink, statementTraverser, contractContext);
+ public override ExpressionTraverser MakeExpressionTraverser(Sink sink, StatementTraverser/*?*/ statementTraverser, bool contractContext, bool expressionIsStatement) {
+ return new CLRExpressionSemantics(sink, statementTraverser, contractContext, expressionIsStatement);
}
public class CLRExpressionSemantics : ExpressionTraverser {
- public CLRExpressionSemantics(Sink sink, StatementTraverser/*?*/ statementTraverser, bool contractContext)
- : base(sink, statementTraverser, contractContext) { }
+ public CLRExpressionSemantics(Sink sink, StatementTraverser/*?*/ statementTraverser, bool contractContext, bool expressionIsStatement)
+ : base(sink, statementTraverser, contractContext, expressionIsStatement) { }
}
}
diff --git a/BCT/BytecodeTranslator/ExpressionTraverser.cs b/BCT/BytecodeTranslator/ExpressionTraverser.cs index a9e1f9b0..3b933e42 100644 --- a/BCT/BytecodeTranslator/ExpressionTraverser.cs +++ b/BCT/BytecodeTranslator/ExpressionTraverser.cs @@ -62,6 +62,13 @@ namespace BytecodeTranslator return resolvedMethod;
}
+ /// <summary>
+ /// True when the binary expression currently being processed is the top level expression of an ExpressionStatement and it has
+ /// a target expression as its left operand (i.e. it is an assignment statement of the form tgt op= src).
+ /// Be sure to clear this flag before any sub expresions are processed.
+ /// </summary>
+ bool currentExpressionIsOpAssignStatement;
+
#region Constructors
@@ -77,13 +84,14 @@ namespace BytecodeTranslator /// Use this constructor for translating expressions that do occur within
/// the context of the statements in a method body.
/// </summary>
- public ExpressionTraverser(Sink sink, StatementTraverser/*?*/ statementTraverser, bool contractContext)
+ public ExpressionTraverser(Sink sink, StatementTraverser/*?*/ statementTraverser, bool contractContext, bool expressionIsStatement)
{
this.sink = sink;
this.StmtTraverser = statementTraverser;
TranslatedExpressions = new Stack<Bpl.Expr>();
this.contractContext = contractContext;
+ this.currentExpressionIsOpAssignStatement = expressionIsStatement;
}
#endregion
@@ -106,7 +114,7 @@ namespace BytecodeTranslator IParameterDefinition/*?*/ param = addressableExpression.Definition as IParameterDefinition;
if (param != null)
{
- TranslatedExpressions.Push(Bpl.Expr.Ident(this.sink.FindParameterVariable(param, this.contractContext)));
+ this.LoadParameter(param);
return;
}
IFieldReference/*?*/ field = addressableExpression.Definition as IFieldReference;
@@ -159,8 +167,7 @@ namespace BytecodeTranslator IParameterDefinition pd = be.Definition as IParameterDefinition;
if (pd != null)
{
- var pv = this.sink.FindParameterVariable(pd, this.contractContext);
- TranslatedExpressions.Push(Bpl.Expr.Ident(pv));
+ this.LoadParameter(pd);
return;
}
}
@@ -231,7 +238,7 @@ namespace BytecodeTranslator IParameterDefinition param = boundExpression.Definition as IParameterDefinition;
if (param != null)
{
- TranslatedExpressions.Push(Bpl.Expr.Ident(this.sink.FindParameterVariable(param, this.contractContext)));
+ this.LoadParameter(param);
return;
}
#endregion
@@ -297,6 +304,7 @@ namespace BytecodeTranslator internal static bool IsAtomicInstance(IExpression expression) {
var thisInst = expression as IThisReference;
if (thisInst != null) return true;
+ if (expression is IDupValue) return true;
// Since we're treating structs as being kept in the heap,
// the expression "&s" is atomic if s is atomic.
var addressOf = expression as IAddressOf;
@@ -309,10 +317,18 @@ namespace BytecodeTranslator return be.Instance == null;
}
+ public override void TraverseChildren(IDupValue dupValue) {
+ var e = this.StmtTraverser.operandStack.Peek();
+ this.TranslatedExpressions.Push(e);
+ }
public override void TraverseChildren(IPopValue popValue) {
var locExpr = this.StmtTraverser.operandStack.Pop();
- this.Traverse(locExpr);
- this.TranslatedExpressions.Push(this.TranslatedExpressions.Pop());
+ this.TranslatedExpressions.Push(locExpr);
+ }
+
+ private void LoadParameter(IParameterDefinition parameter) {
+ TranslatedExpressions.Push(Bpl.Expr.Ident(this.sink.FindParameterVariable(parameter, this.contractContext)));
+ return;
}
/// <summary>
@@ -1013,7 +1029,326 @@ namespace BytecodeTranslator Contract.Assume(false);
}
-
+
+ internal delegate void SourceTraverser(IExpression source);
+
+ private void VisitAssignment(ITargetExpression target, IExpression source, SourceTraverser sourceTraverser,
+ bool treatAsStatement, bool pushTargetRValue, bool resultIsInitialTargetRValue) {
+ Contract.Requires(target != null);
+ Contract.Requires(source != null);
+ Contract.Requires(sourceTraverser != null);
+ Contract.Requires(!resultIsInitialTargetRValue || pushTargetRValue);
+ Contract.Requires(!pushTargetRValue || source is IBinaryOperation);
+
+ var tok = source.Token();
+ var typ = source.Type;
+ var structCopy = TranslationHelper.IsStruct(typ) && !(source is IDefaultValue);
+ // then a struct value of type S is being assigned: "lhs := s"
+ // model this as the statement "call lhs := S..#copy_ctor(s)" that does the bit-wise copying
+ Bpl.DeclWithFormals proc = null;
+ if (structCopy) {
+ proc = this.sink.FindOrCreateProcedureForStructCopy(typ);
+ }
+
+ object container = target.Definition;
+
+ Top:
+
+ ILocalDefinition/*?*/ local = container as ILocalDefinition;
+ if (local != null) {
+ if (source is IDefaultValue && !local.Type.ResolvedType.IsReferenceType) {
+ // this.LoadAddressOf(local, null);
+ // this.generator.Emit(OperationCode.Initobj, local.Type);
+ // if (!treatAsStatement) this.LoadLocal(local);
+ } else {
+ Bpl.IdentifierExpr temp = null;
+ var bplLocal = Bpl.Expr.Ident(this.sink.FindOrCreateLocalVariable(local));
+ if (pushTargetRValue) {
+ this.TranslatedExpressions.Push(bplLocal);
+ if (!treatAsStatement && resultIsInitialTargetRValue) {
+ var loc = this.sink.CreateFreshLocal(source.Type);
+ temp = Bpl.Expr.Ident(loc);
+ var e3 = this.TranslatedExpressions.Pop();
+ var cmd3 = Bpl.Cmd.SimpleAssign(tok, temp, e3);
+ this.StmtTraverser.StmtBuilder.Add(cmd3);
+ this.TranslatedExpressions.Push(temp);
+ }
+ }
+ sourceTraverser(source);
+ var e = this.TranslatedExpressions.Pop();
+ if (temp != null) this.TranslatedExpressions.Push(temp);
+
+ Bpl.Cmd cmd;
+ if (structCopy) {
+ cmd = new Bpl.CallCmd(tok, proc.Name, new List<Bpl.Expr> { e, }, new List<Bpl.IdentifierExpr> { bplLocal, });
+ } else {
+ cmd = Bpl.Cmd.SimpleAssign(tok, bplLocal, e);
+ }
+ StmtTraverser.StmtBuilder.Add(cmd);
+
+ if (!treatAsStatement && !resultIsInitialTargetRValue) {
+ this.TranslatedExpressions.Push(bplLocal);
+ }
+ }
+ return;
+ }
+ IParameterDefinition/*?*/ parameter = container as IParameterDefinition;
+ if (parameter != null) {
+ if (source is IDefaultValue && !parameter.Type.ResolvedType.IsReferenceType) {
+ //this.LoadAddressOf(parameter, null);
+ //this.generator.Emit(OperationCode.Initobj, parameter.Type);
+ //if (!treatAsStatement) this.LoadParameter(parameter);
+ } else {
+ Bpl.IdentifierExpr temp = null;
+ if (pushTargetRValue) {
+ this.LoadParameter(parameter);
+ if (!treatAsStatement && resultIsInitialTargetRValue) {
+ var loc = this.sink.CreateFreshLocal(source.Type);
+ temp = Bpl.Expr.Ident(loc);
+ var e3 = this.TranslatedExpressions.Pop();
+ var cmd3 = Bpl.Cmd.SimpleAssign(tok, temp, e3);
+ this.StmtTraverser.StmtBuilder.Add(cmd3);
+ this.TranslatedExpressions.Push(temp);
+ }
+ }
+ sourceTraverser(source);
+ var e = this.TranslatedExpressions.Pop();
+ if (temp != null) this.TranslatedExpressions.Push(temp);
+ var bplParam = Bpl.Expr.Ident(this.sink.FindParameterVariable(parameter, this.contractContext));
+
+ Bpl.Cmd cmd;
+ if (structCopy) {
+ cmd = new Bpl.CallCmd(tok, proc.Name, new List<Bpl.Expr> { e, bplParam, }, new List<Bpl.IdentifierExpr>());
+ } else {
+ cmd = Bpl.Cmd.SimpleAssign(tok, bplParam, e);
+ }
+ StmtTraverser.StmtBuilder.Add(cmd);
+
+ if (!treatAsStatement && !resultIsInitialTargetRValue) {
+ this.LoadParameter(parameter);
+ }
+ }
+ return;
+ }
+ IFieldReference/*?*/ field = container as IFieldReference;
+ if (field != null) {
+
+ var f = Bpl.Expr.Ident(this.sink.FindOrCreateFieldVariable(field));
+ var boogieTypeOfField = sink.CciTypeToBoogie(field.Type);
+
+ if (source is IDefaultValue && !field.Type.ResolvedType.IsReferenceType) {
+ //this.LoadAddressOf(field, target.Instance);
+ //if (!treatAsStatement) {
+ // this.generator.Emit(OperationCode.Dup);
+ // this.StackSize++;
+ //}
+ //this.generator.Emit(OperationCode.Initobj, field.Type);
+ //if (!treatAsStatement)
+ // this.generator.Emit(OperationCode.Ldobj, field.Type);
+ //else
+ // this.StackSize--;
+ } else {
+ Bpl.Expr x = null;
+ Bpl.IdentifierExpr temp = null;
+ if (target.Instance != null) {
+ this.Traverse(target.Instance);
+ x = this.TranslatedExpressions.Pop();
+ if (pushTargetRValue) {
+
+ var e2 = this.sink.Heap.ReadHeap(x, f, TranslationHelper.IsStruct(field.ContainingType) ? AccessType.Struct : AccessType.Heap, boogieTypeOfField);
+ this.TranslatedExpressions.Push(e2);
+
+ if (!treatAsStatement && resultIsInitialTargetRValue) {
+ var loc = this.sink.CreateFreshLocal(source.Type);
+ temp = Bpl.Expr.Ident(loc);
+ var e3 = this.TranslatedExpressions.Pop();
+ var cmd = Bpl.Cmd.SimpleAssign(tok, temp, e3);
+ this.StmtTraverser.StmtBuilder.Add(cmd);
+ this.TranslatedExpressions.Push(temp);
+ }
+ }
+ }
+ sourceTraverser(source);
+ if (!treatAsStatement && !resultIsInitialTargetRValue) {
+ var loc = this.sink.CreateFreshLocal(source.Type);
+ temp = Bpl.Expr.Ident(loc);
+ var e3 = this.TranslatedExpressions.Pop();
+ var cmd = Bpl.Cmd.SimpleAssign(tok, temp, e3);
+ this.StmtTraverser.StmtBuilder.Add(cmd);
+ this.TranslatedExpressions.Push(temp);
+ }
+
+ var e = this.TranslatedExpressions.Pop();
+ if (temp != null) this.TranslatedExpressions.Push(temp);
+
+ if (target.Instance == null) {
+ // static fields are not kept in the heap
+ StmtTraverser.StmtBuilder.Add(Bpl.Cmd.SimpleAssign(tok, f, e));
+ } else {
+ StmtTraverser.StmtBuilder.Add(this.sink.Heap.WriteHeap(tok, x, f, e,
+ field.ResolvedField.ContainingType.ResolvedType.IsStruct ? AccessType.Struct : AccessType.Heap,
+ boogieTypeOfField));
+ }
+
+ }
+ return;
+ }
+
+ VisitArrayIndexer:
+
+ IArrayIndexer/*?*/ arrayIndexer = container as IArrayIndexer;
+ if (arrayIndexer != null) {
+ Contract.Assume(arrayIndexer.Indices.Count() == 1); // BUG: deal with multi-dimensional arrays
+ if (source is IDefaultValue && !arrayIndexer.Type.ResolvedType.IsReferenceType) {
+ // this.LoadAddressOf(arrayIndexer, target.Instance);
+ // if (!treatAsStatement) {
+ // this.generator.Emit(OperationCode.Dup);
+ // this.StackSize++;
+ // }
+ // this.generator.Emit(OperationCode.Initobj, arrayIndexer.Type);
+ // if (!treatAsStatement)
+ // this.generator.Emit(OperationCode.Ldobj, arrayIndexer.Type);
+ // else
+ // this.StackSize--;
+ } else {
+ Bpl.IdentifierExpr/*?*/ temp = null;
+ this.Traverse(arrayIndexer.IndexedObject);
+ var arrayExpr = this.TranslatedExpressions.Peek();
+ this.Traverse(arrayIndexer.Indices);
+ var indexExpr = this.TranslatedExpressions.Peek();
+ if (pushTargetRValue) {
+ var e2 = this.sink.Heap.ReadHeap(arrayExpr, indexExpr, AccessType.Array, this.sink.CciTypeToBoogie(arrayIndexer.Type));
+ this.TranslatedExpressions.Push(e2);
+
+ if (!treatAsStatement && resultIsInitialTargetRValue) {
+ var loc = this.sink.CreateFreshLocal(source.Type);
+ temp = Bpl.Expr.Ident(loc);
+ var e3 = this.TranslatedExpressions.Pop();
+ var cmd = Bpl.Cmd.SimpleAssign(tok, temp, e3);
+ this.StmtTraverser.StmtBuilder.Add(cmd);
+ this.TranslatedExpressions.Push(temp);
+ }
+ }
+ sourceTraverser(source);
+
+ var e = this.TranslatedExpressions.Pop();
+ var indices_prime = this.TranslatedExpressions.Pop();
+ var x = this.TranslatedExpressions.Pop();
+ StmtTraverser.StmtBuilder.Add(sink.Heap.WriteHeap(Bpl.Token.NoToken, x, indices_prime, e, AccessType.Array, sink.CciTypeToBoogie(arrayIndexer.Type)));
+
+ if (!treatAsStatement && !resultIsInitialTargetRValue) {
+ var e2 = this.sink.Heap.ReadHeap(arrayExpr, indexExpr, AccessType.Array, this.sink.CciTypeToBoogie(arrayIndexer.Type));
+ this.TranslatedExpressions.Push(e2);
+ } else {
+ if (temp != null) this.TranslatedExpressions.Push(temp);
+ }
+ }
+ return;
+ }
+ IAddressDereference/*?*/ addressDereference = container as IAddressDereference;
+ if (addressDereference != null) {
+ var addrOf = addressDereference.Address as IAddressOf;
+ if (addrOf != null) {
+ var arrayIndexer2 = addrOf.Expression.Definition as IArrayIndexer;
+ if (arrayIndexer2 != null) {
+ container = arrayIndexer2;
+ goto VisitArrayIndexer;
+ }
+ }
+ var be = addressDereference.Address as IBoundExpression;
+ if (be != null) {
+ container = be.Definition;
+ goto Top;
+ }
+ this.Traverse(addressDereference.Address);
+ if (source is IDefaultValue && !addressDereference.Type.ResolvedType.IsReferenceType) {
+ //if (!treatAsStatement) {
+ // this.generator.Emit(OperationCode.Dup);
+ // this.StackSize++;
+ //}
+ //this.generator.Emit(OperationCode.Initobj, addressDereference.Type);
+ //if (!treatAsStatement)
+ // this.generator.Emit(OperationCode.Ldobj, addressDereference.Type);
+ //else
+ // this.StackSize--;
+ } else if (source is IAddressDereference) {
+ //if (!treatAsStatement) {
+ // this.generator.Emit(OperationCode.Dup);
+ // this.StackSize++;
+ //}
+ //this.Traverse(((IAddressDereference)source).Address);
+ //this.generator.Emit(OperationCode.Cpobj, addressDereference.Type);
+ //this.StackSize -= 2;
+ //if (!treatAsStatement)
+ // this.generator.Emit(OperationCode.Ldobj, addressDereference.Type);
+ } else {
+ Bpl.IdentifierExpr/*?*/ temp = null;
+ if (pushTargetRValue) {
+ this.TranslatedExpressions.Push(this.TranslatedExpressions.Peek());
+ if (!treatAsStatement && resultIsInitialTargetRValue) {
+ this.TranslatedExpressions.Push(this.TranslatedExpressions.Peek());
+ var loc = this.sink.CreateFreshLocal(source.Type);
+ temp = Bpl.Expr.Ident(loc);
+ var e3 = this.TranslatedExpressions.Pop();
+ var cmd = Bpl.Cmd.SimpleAssign(tok, temp, e3);
+ this.StmtTraverser.StmtBuilder.Add(cmd);
+ this.TranslatedExpressions.Push(temp);
+ }
+ }
+ sourceTraverser(source);
+ if (!treatAsStatement && !resultIsInitialTargetRValue) {
+ this.TranslatedExpressions.Push(this.TranslatedExpressions.Peek());
+ var loc = this.sink.CreateFreshLocal(source.Type);
+ temp = Bpl.Expr.Ident(loc);
+ var e3 = this.TranslatedExpressions.Pop();
+ var cmd = Bpl.Cmd.SimpleAssign(tok, temp, e3);
+ this.StmtTraverser.StmtBuilder.Add(cmd);
+ this.TranslatedExpressions.Push(temp);
+ }
+ //this.VisitAssignmentTo(addressDereference);
+ if (temp != null) this.TranslatedExpressions.Push(temp);
+ }
+ return;
+ }
+ IPropertyDefinition/*?*/ propertyDefinition = container as IPropertyDefinition;
+ if (propertyDefinition != null) {
+ //Contract.Assume(propertyDefinition.Getter != null && propertyDefinition.Setter != null);
+ //if (!propertyDefinition.IsStatic) {
+ // this.Traverse(target.Instance);
+ //}
+ //ILocalDefinition temp = null;
+ //if (pushTargetRValue) {
+ // if (!propertyDefinition.IsStatic) {
+ // this.generator.Emit(OperationCode.Dup);
+ // this.generator.Emit(target.GetterIsVirtual ? OperationCode.Callvirt : OperationCode.Call, propertyDefinition.Getter);
+ // } else {
+ // this.generator.Emit(OperationCode.Call, propertyDefinition.Getter);
+ // }
+ // if (!treatAsStatement && resultIsInitialTargetRValue) {
+ // this.generator.Emit(OperationCode.Dup);
+ // this.StackSize++;
+ // temp = new TemporaryVariable(source.Type, this.method);
+ // this.VisitAssignmentTo(temp);
+ // }
+ //}
+ //sourceTraverser(source);
+ //if (!treatAsStatement && !resultIsInitialTargetRValue) {
+ // this.generator.Emit(OperationCode.Dup);
+ // this.StackSize++;
+ // temp = new TemporaryVariable(propertyDefinition.Type, this.method);
+ // this.VisitAssignmentTo(temp);
+ //}
+ //if (!propertyDefinition.IsStatic) {
+ // this.generator.Emit(target.SetterIsVirtual ? OperationCode.Callvirt : OperationCode.Call, propertyDefinition.Setter);
+ //} else {
+ // this.generator.Emit(OperationCode.Call, propertyDefinition.Setter);
+ //}
+ //if (temp != null) this.LoadLocal(temp);
+ //return;
+ }
+ Contract.Assume(false);
+ }
+
#endregion
#region Translate Object Creation
@@ -1146,9 +1481,25 @@ namespace BytecodeTranslator public override void TraverseChildren(IAddition addition)
{
- base.TraverseChildren(addition);
+ var targetExpression = addition.LeftOperand as ITargetExpression;
+ if (targetExpression != null) { // x += e
+ bool statement = this.currentExpressionIsOpAssignStatement;
+ this.currentExpressionIsOpAssignStatement = false;
+ this.VisitAssignment(targetExpression, addition, (IExpression e) => this.TraverseAdditionRightOperandAndDoOperation(e),
+ treatAsStatement: statement, pushTargetRValue: true, resultIsInitialTargetRValue: addition.ResultIsUnmodifiedLeftOperand);
+ } else { // x + e
+ this.Traverse(addition.LeftOperand);
+ this.TraverseAdditionRightOperandAndDoOperation(addition);
+ }
+ }
+ private void TraverseAdditionRightOperandAndDoOperation(IExpression expression) {
+ Contract.Assume(expression is IAddition);
+ var addition = (IAddition)expression;
+ this.Traverse(addition.RightOperand);
+
Bpl.Expr rexp = TranslatedExpressions.Pop();
Bpl.Expr lexp = TranslatedExpressions.Pop();
+
Bpl.Expr e;
switch (addition.Type.TypeCode) {
case PrimitiveTypeCode.Float32:
@@ -1166,6 +1517,7 @@ namespace BytecodeTranslator TranslatedExpressions.Push(e);
}
+
public override void TraverseChildren(IBitwiseAnd bitwiseAnd) {
base.TraverseChildren(bitwiseAnd);
Bpl.Expr rexp = TranslatedExpressions.Pop();
diff --git a/BCT/BytecodeTranslator/StatementTraverser.cs b/BCT/BytecodeTranslator/StatementTraverser.cs index feca0559..9005b43a 100644 --- a/BCT/BytecodeTranslator/StatementTraverser.cs +++ b/BCT/BytecodeTranslator/StatementTraverser.cs @@ -53,7 +53,7 @@ namespace BytecodeTranslator public readonly Bpl.StmtListBuilder StmtBuilder = new Bpl.StmtListBuilder();
private bool contractContext;
- internal readonly Stack<IExpression> operandStack = new Stack<IExpression>();
+ internal readonly Stack<Bpl.Expr> operandStack = new Stack<Bpl.Expr>();
private bool captureState;
private static int captureStateCounter = 0;
@@ -253,7 +253,13 @@ namespace BytecodeTranslator /// <param name="expressionStatement"></param>
/// <remarks> TODO: might be wrong for the general case</remarks>
public override void TraverseChildren(IExpressionStatement expressionStatement) {
- ExpressionTraverser etrav = this.factory.MakeExpressionTraverser(this.sink, this, this.contractContext);
+
+ var expressionIsOpAssignStatement = false;
+ var binOp = expressionStatement.Expression as IBinaryOperation;
+ if (binOp != null && binOp.LeftOperand is ITargetExpression)
+ expressionIsOpAssignStatement = true;
+
+ ExpressionTraverser etrav = this.factory.MakeExpressionTraverser(this.sink, this, this.contractContext, expressionIsOpAssignStatement);
etrav.Traverse(expressionStatement.Expression);
}
@@ -365,13 +371,7 @@ namespace BytecodeTranslator public override void TraverseChildren(IPushStatement pushStatement) {
var tok = pushStatement.Token();
var val = pushStatement.ValueToPush;
- var dup = val as IDupValue;
- IExpression e;
- if (dup != null) {
- e = this.operandStack.Peek();
- } else {
- e = val;
- }
+ var e = ExpressionFor(val);
this.operandStack.Push(e);
return;
}
@@ -379,8 +379,6 @@ namespace BytecodeTranslator /// <summary>
///
/// </summary>
- /// <remarks>(mschaef) not implemented</remarks>
- /// <param name="returnStatement"></param>
public override void TraverseChildren(IReturnStatement returnStatement) {
Bpl.IToken tok = returnStatement.Token();
diff --git a/BCT/BytecodeTranslator/TraverserFactory.cs b/BCT/BytecodeTranslator/TraverserFactory.cs index bbc2f7f7..e6778c46 100644 --- a/BCT/BytecodeTranslator/TraverserFactory.cs +++ b/BCT/BytecodeTranslator/TraverserFactory.cs @@ -35,8 +35,8 @@ namespace BytecodeTranslator { return new StatementTraverser(sink, pdbReader, contractContext, this);
}
- public virtual ExpressionTraverser MakeExpressionTraverser(Sink sink, StatementTraverser/*?*/ statementTraverser, bool contractContext) {
- return new ExpressionTraverser(sink, statementTraverser, contractContext);
+ public virtual ExpressionTraverser MakeExpressionTraverser(Sink sink, StatementTraverser/*?*/ statementTraverser, bool contractContext, bool expressionIsOpAssignStatement = false) {
+ return new ExpressionTraverser(sink, statementTraverser, contractContext, expressionIsOpAssignStatement);
}
}
}
\ No newline at end of file diff --git a/BCT/BytecodeTranslator/WholeProgram.cs b/BCT/BytecodeTranslator/WholeProgram.cs index 73e882e0..fa345867 100644 --- a/BCT/BytecodeTranslator/WholeProgram.cs +++ b/BCT/BytecodeTranslator/WholeProgram.cs @@ -74,14 +74,20 @@ namespace BytecodeTranslator { }
this.subTypes[baseClass].Add(typeDefinition);
}
+ foreach (var iface in typeDefinition.Interfaces) {
+ if (!this.subTypes.ContainsKey(iface)) {
+ this.subTypes[iface] = new List<ITypeReference>();
+ }
+ this.subTypes[iface].Add(typeDefinition);
+ }
base.TraverseChildren(typeDefinition);
}
}
}
- public override ExpressionTraverser MakeExpressionTraverser(Sink sink, StatementTraverser/*?*/ statementTraverser, bool contractContext) {
- return new WholeProgramExpressionSemantics(this, sink, statementTraverser, contractContext);
+ public override ExpressionTraverser MakeExpressionTraverser(Sink sink, StatementTraverser/*?*/ statementTraverser, bool contractContext, bool expressionIsStatement) {
+ return new WholeProgramExpressionSemantics(this, sink, statementTraverser, contractContext, expressionIsStatement);
}
/// <summary>
@@ -94,8 +100,8 @@ namespace BytecodeTranslator { readonly WholeProgram parent;
readonly public Dictionary<ITypeReference, List<ITypeReference>> subTypes;
- public WholeProgramExpressionSemantics(WholeProgram parent, Sink sink, StatementTraverser/*?*/ statementTraverser, bool contractContext)
- : base(sink, statementTraverser, contractContext) {
+ public WholeProgramExpressionSemantics(WholeProgram parent, Sink sink, StatementTraverser/*?*/ statementTraverser, bool contractContext, bool expressionIsStatement)
+ : base(sink, statementTraverser, contractContext, expressionIsStatement) {
this.parent = parent;
this.subTypes = parent.subTypes;
}
@@ -130,7 +136,7 @@ namespace BytecodeTranslator { if (resolvedOverride != resolvedMethod)
same = false;
}
- if (0 == overrides.Count || same) {
+ if (!(containingType.ResolvedType.IsInterface) && (0 == overrides.Count || same)) {
base.TraverseChildren(methodCall);
return;
}
diff --git a/BCT/RegressionTests/TranslationTest/TranslationTest.csproj b/BCT/RegressionTests/TranslationTest/TranslationTest.csproj index 08ce4ef8..446c23b2 100644 --- a/BCT/RegressionTests/TranslationTest/TranslationTest.csproj +++ b/BCT/RegressionTests/TranslationTest/TranslationTest.csproj @@ -52,25 +52,25 @@ <Compile Include="UnitTest0.cs" />
</ItemGroup>
<ItemGroup>
- <ProjectReference Include="..\..\..\..\CCICodeBox\Converters\ILToCodeModel\ILToCodeModel.csproj">
- <Project>{27F2A417-B6ED-43AD-A38E-A0B6142216F6}</Project>
- <Name>ILToCodeModel</Name>
+ <ProjectReference Include="..\..\..\..\CCICodePlex\Ast\Metadata\Sources\MetadataHelper\MetadataHelper.csproj">
+ <Project>{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}</Project>
+ <Name>MetadataHelper</Name>
+ </ProjectReference>
+ <ProjectReference Include="..\..\..\..\CCICodePlex\Ast\Metadata\Sources\PeReader\PeReader.csproj">
+ <Project>{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}</Project>
+ <Name>PeReader</Name>
</ProjectReference>
- <ProjectReference Include="..\..\..\..\CCICodeBox\CoreObjectModel\CodeModel\CodeModel.csproj">
+ <ProjectReference Include="..\..\..\..\CCICodePlex\Ast\Sources\CodeModel\CodeModel.csproj">
<Project>{035FEA7F-0D36-4AE4-B694-EC45191B9AF2}</Project>
<Name>CodeModel</Name>
</ProjectReference>
- <ProjectReference Include="..\..\..\..\CCICodeBox\CoreObjectModel\MetadataHelper\MetadataHelper.csproj">
- <Project>{4A34A3C5-6176-49D7-A4C5-B2B671247F8F}</Project>
- <Name>MetadataHelper</Name>
- </ProjectReference>
- <ProjectReference Include="..\..\..\..\CCICodeBox\CoreObjectModel\MutableCodeModel\MutableCodeModel.csproj">
+ <ProjectReference Include="..\..\..\..\CCICodePlex\Ast\Sources\MutableCodeModel\MutableCodeModel.csproj">
<Project>{319E150C-8F33-49E7-81CA-30F02F9BA90A}</Project>
<Name>MutableCodeModel</Name>
</ProjectReference>
- <ProjectReference Include="..\..\..\..\CCICodeBox\PEReaderAndWriter\PEReader\PeReader.csproj">
- <Project>{34B9A0CE-DF18-4CBC-8F7A-90C2B74338D5}</Project>
- <Name>PeReader</Name>
+ <ProjectReference Include="..\..\..\..\CCICodePlex\Ast\Sources\NewILToCodeModel\NewILToCodeModel.csproj">
+ <Project>{A555D4CB-F16F-4049-A8CF-180B8A05C755}</Project>
+ <Name>NewILToCodeModel</Name>
</ProjectReference>
<ProjectReference Include="..\..\BytecodeTranslator\BytecodeTranslator.csproj">
<Project>{9C8E4D74-0251-479D-ADAC-A9A469977301}</Project>
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index 6ef3778d..509f81ce 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -92,7 +92,6 @@ namespace Microsoft.Boogie.SMTLib }
PrepareCommon();
}
- prevOutcomeAvailable = false;
}
void SetupProcess()
@@ -556,13 +555,6 @@ namespace Microsoft.Boogie.SMTLib private Outcome GetResponse()
{
- if (prevOutcomeAvailable)
- {
- Contract.Assert(CommandLineOptions.Clo.StratifiedInlining > 0);
- prevOutcomeAvailable = false;
- return prevOutcome;
- }
-
var result = Outcome.Undetermined;
var wasUnknown = false;
@@ -785,8 +777,6 @@ namespace Microsoft.Boogie.SMTLib public override void Check()
{
- Contract.Assert(prevOutcomeAvailable == false);
-
PrepareCommon();
SendThisVC("(check-sat)");
FlushLogFile();
@@ -800,14 +790,10 @@ namespace Microsoft.Boogie.SMTLib /// <summary>
/// Extra state for ApiChecker (used by stratifiedInlining)
/// </summary>
- bool prevOutcomeAvailable;
- Outcome prevOutcome;
static int nameCounter = 0;
- public override void CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore)
+ public override Outcome CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore, ErrorHandler handler)
{
- Contract.Assert(prevOutcomeAvailable == false);
-
unsatCore = new List<int>();
// Name the assumptions
@@ -824,12 +810,13 @@ namespace Microsoft.Boogie.SMTLib }
Check();
- prevOutcome = GetResponse();
- prevOutcomeAvailable = true;
+ var prevOutcome = CheckOutcomeCore(handler);
+
if (prevOutcome != Outcome.Valid)
{
- return;
+ return prevOutcome;
}
+
Contract.Assert(usingUnsatCore, "SMTLib prover not setup for computing unsat cores");
SendThisVC("(get-unsat-core)");
var resp = Process.GetProverResponse();
@@ -838,6 +825,8 @@ namespace Microsoft.Boogie.SMTLib foreach (var s in resp.Arguments) unsatCore.Add(nameToAssumption[s.Name]);
FlushLogFile();
+
+ return prevOutcome;
}
public override void Push()
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs index d74497c0..a1b9e38d 100644 --- a/Source/VCGeneration/Check.cs +++ b/Source/VCGeneration/Check.cs @@ -823,8 +823,8 @@ namespace Microsoft.Boogie { throw new NotImplementedException();
}
- // (check-sat + get-unsat-core)
- public virtual void CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore)
+ // (check-sat + get-unsat-core + checkOutcome)
+ public virtual Outcome CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore, ErrorHandler handler)
{
throw new NotImplementedException();
}
diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs index b9b0928c..9e55b3d6 100644 --- a/Source/VCGeneration/StratifiedVC.cs +++ b/Source/VCGeneration/StratifiedVC.cs @@ -1142,8 +1142,7 @@ namespace VC TheoremProver.Push();
TheoremProver.AssertAxioms();
- TheoremProver.CheckAssumptions(assumptions, out unsatCore);
- ProverInterface.Outcome outcome = TheoremProver.CheckOutcomeCore(reporter);
+ ProverInterface.Outcome outcome = TheoremProver.CheckAssumptions(assumptions, out unsatCore, reporter);
TheoremProver.Pop();
numQueries++;
|