mcs/class/Mono.CodeContracts/Mono.CodeContracts-net_4_x.csproj

   1 <?xml version="1.0" encoding="utf-8"?>\r
   2 <!-- WARNING: this file is autogenerated, don't modify it. Edit the .sources file of the corresponding assembly instead if you want to add/remove C# source files. -->\r
   3 <Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">\r
   4   <PropertyGroup>\r
   5     <Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>\r
   6     <Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform>\r
   7     <ProductVersion>9.0.30729</ProductVersion>\r
   8     <SchemaVersion>2.0</SchemaVersion>\r
   9     <ProjectGuid>{9BE8D62B-471D-4538-8287-691B4ECE3209}</ProjectGuid>\r
  10     <OutputType>Library</OutputType>\r
  11     <NoWarn>1699,618</NoWarn>\r
  12     <OutputPath>./../../class/lib/net_4_x</OutputPath>\r
  13     <IntermediateOutputPath>obj-net_4_x</IntermediateOutputPath>\r
  14     <GenerateTargetFrameworkAttribute>false</GenerateTargetFrameworkAttribute>\r
  15     <NoStdLib>True</NoStdLib>\r
  16     \r
  17     <NoConfig>True</NoConfig>\r
  18     \r
  19     <AppDesignerFolder>Properties</AppDesignerFolder>\r
  20     <RootNamespace>\r
  21     </RootNamespace>\r
  22     <AssemblyName>Mono.CodeContracts</AssemblyName>\r
  23     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>\r
  24     <FileAlignment>512</FileAlignment>\r
  25   </PropertyGroup>\r
  26   \r
  27   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">\r
  28     <DebugSymbols>true</DebugSymbols>\r
  29     <DebugType>full</DebugType>\r
  30     <NoWarn>1699,618</NoWarn>\r
  31     <Optimize>false</Optimize>\r
  32     <DefineConstants>TRACE;NET_4_0;NET_4_5;NET_4_6;MONO;WIN_PLATFORM</DefineConstants>\r
  33     <ErrorReport>prompt</ErrorReport>\r
  34     <WarningLevel>4</WarningLevel>\r
  35   </PropertyGroup>\r
  36   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">\r
  37     <DebugType>pdbonly</DebugType>\r
  38     <NoWarn>1699,618</NoWarn>\r
  39     <Optimize>true</Optimize>\r
  40     <DefineConstants>NET_4_0;NET_4_5;NET_4_6;MONO;WIN_PLATFORM</DefineConstants>\r
  41     <ErrorReport>prompt</ErrorReport>\r
  42     <WarningLevel>4</WarningLevel>\r
  43   </PropertyGroup>\r
  44   <!-- Set AddAdditionalExplicitAssemblyReferences to false, otherwise if targetting .NET4.0, \r
  45   Microsoft.NETFramework.props will force a dependency on the assembly System.Core. This\r
  46   is a problem to compile the Mono mscorlib.dll -->\r
  47   <PropertyGroup>\r
  48     <AddAdditionalExplicitAssemblyReferences>false</AddAdditionalExplicitAssemblyReferences>\r
  49   </PropertyGroup>\r
  50   <Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />\r
  51   <ItemGroup>\r
  52     <Compile Include="..\..\build\common\Consts.cs" />\r
  53     <Compile Include="Assembly\AssemblyInfo.cs" />\r
  54     <Compile Include="Mono.CodeContracts.Rewrite.Ast\Expr.cs" />\r
  55     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprAdd.cs" />\r
  56     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBinaryOp.cs" />\r
  57     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBinaryOpArithmetic.cs" />\r
  58     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBinaryOpComparison.cs" />\r
  59     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBlock.cs" />\r
  60     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprBox.cs" />\r
  61     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCall.cs" />\r
  62     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCompareEqual.cs" />\r
  63     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCompareGreaterThan.cs" />\r
  64     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprCompareLessThan.cs" />\r
  65     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprConv.cs" />\r
  66     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprLoadArg.cs" />\r
  67     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprLoadConstant.cs" />\r
  68     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprNop.cs" />\r
  69     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprReturn.cs" />\r
  70     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprSub.cs" />\r
  71     <Compile Include="Mono.CodeContracts.Rewrite.Ast\ExprType.cs" />\r
  72     <Compile Include="Mono.CodeContracts.Rewrite.Ast\Sn.cs" />\r
  73     <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\CompileVisitor.cs" />\r
  74     <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\ExprVisitor.cs" />\r
  75     <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\InstructionExtentVisitor.cs" />\r
  76     <Compile Include="Mono.CodeContracts.Rewrite.AstVisitors\SourcePositionVisitor.cs" />\r
  77     <Compile Include="Mono.CodeContracts.Rewrite\AssemblyRef.cs" />\r
  78     <Compile Include="Mono.CodeContracts.Rewrite\ConditionTextExtractor.cs" />\r
  79     <Compile Include="Mono.CodeContracts.Rewrite\ContractRequiresInfo.cs" />\r
  80     <Compile Include="Mono.CodeContracts.Rewrite\ContractsRuntime.cs" />\r
  81     <Compile Include="Mono.CodeContracts.Rewrite\Decompile.cs" />\r
  82     <Compile Include="Mono.CodeContracts.Rewrite\ExprGen.cs" />\r
  83     <Compile Include="Mono.CodeContracts.Rewrite\MethodInfo.cs" />\r
  84     <Compile Include="Mono.CodeContracts.Rewrite\PerformRewrite.cs" />\r
  85     <Compile Include="Mono.CodeContracts.Rewrite\Rewriter.cs" />\r
  86     <Compile Include="Mono.CodeContracts.Rewrite\RewriterOptions.cs" />\r
  87     <Compile Include="Mono.CodeContracts.Rewrite\RewriterResults.cs" />\r
  88     <Compile Include="Mono.CodeContracts.Rewrite\TransformContractsVisitor.cs" />\r
  89     <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\AnalysisDriver.cs" />\r
  90     <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\BasicAnalysisDriver.cs" />\r
  91     <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\BasicMethodDriver.cs" />\r
  92     <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\CodeContractsAnalysisDriver.cs" />\r
  93     <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IBasicAnalysisDriver.cs" />\r
  94     <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IBasicMethodDriver.cs" />\r
  95     <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodAnalysis.cs" />\r
  96     <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodAnalysisFixPoint.cs" />\r
  97     <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodDriver.cs" />\r
  98     <Compile Include="Mono.CodeContracts.Static.Analysis.Drivers\IMethodResult.cs" />\r
  99     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\FullExpressionDecoder.cs" />\r
 100     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\IFullExpressionDecoder.cs" />\r
 101     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\QueryVisitor.cs" />\r
 102     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsBinaryExpression.cs" />\r
 103     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsInst.cs" />\r
 104     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsNull.cs" />\r
 105     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForIsUnaryExpression.cs" />\r
 106     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForSizeOf.cs" />\r
 107     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForUnderlyingVariable.cs" />\r
 108     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForValueOf.cs" />\r
 109     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForVariable.cs" />\r
 110     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding\VisitorForVariablesIn.cs" />\r
 111     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\BinaryExpr.cs" />\r
 112     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\ConstExpr.cs" />\r
 113     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\Expr.cs" />\r
 114     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\IsInstExpr.cs" />\r
 115     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\NullExpr.cs" />\r
 116     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\SizeOfExpr.cs" />\r
 117     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Expressions\UnaryExpr.cs" />\r
 118     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\AnalysisDecoder.cs" />\r
 119     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\AssumeDecoder.cs" />\r
 120     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExprDomain.cs" />\r
 121     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionAnalysisFacade.cs" />\r
 122     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionDecoder.cs" />\r
 123     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionDecoderAdapter.cs" />\r
 124     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ExpressionPrinterFactory.cs" />\r
 125     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ILDecoderAdapter.cs" />\r
 126     <Compile Include="Mono.CodeContracts.Static.Analysis.ExpressionAnalysis\ValueAnalysis.cs" />\r
 127     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\AccessPathFilter.cs" />\r
 128     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\IVisibilityCheck.cs" />\r
 129     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\MethodCallPathElement.cs" />\r
 130     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\ParameterPathElement.cs" />\r
 131     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathElement.cs" />\r
 132     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathElement`1.cs" />\r
 133     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathElementBase.cs" />\r
 134     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\PathExtensions.cs" />\r
 135     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\SpecialPathElement.cs" />\r
 136     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.Paths\SpecialPathElementKind.cs" />\r
 137     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\AbstractDomainUpdate.cs" />\r
 138     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EdgeUpdate.cs" />\r
 139     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EliminateEdgeUpdate.cs" />\r
 140     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EqualityPair.cs" />\r
 141     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\EqualityUpdate.cs" />\r
 142     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\IMergeInfo.cs" />\r
 143     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\MergeInfo.cs" />\r
 144     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\MultiEdge.cs" />\r
 145     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\MultiEdgeUpdate.cs" />\r
 146     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\SymGraph.cs" />\r
 147     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\SymGraphTerm.cs" />\r
 148     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph\Update.cs" />\r
 149     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\AbstractType.cs" />\r
 150     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\AnalysisDecoder.cs" />\r
 151     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\Domain.cs" />\r
 152     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\FunctionsTable.cs" />\r
 153     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\HeapAnalysis.cs" />\r
 154     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\IAbstractDomainForEGraph.cs" />\r
 155     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\IConstantInfo.cs" />\r
 156     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ISymGraph.cs" />\r
 157     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\LabeledSymbol.cs" />\r
 158     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\MethodWrapper.cs" />\r
 159     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ParameterWrapper.cs" />\r
 160     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\StackToSymbolicAdapter.cs" />\r
 161     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\SymbolicValue.cs" />\r
 162     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\SymFunction.cs" />\r
 163     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\SymValue.cs" />\r
 164     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\TypeCache.cs" />\r
 165     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ValueContextProvider.cs" />\r
 166     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\ValueDecoder.cs" />\r
 167     <Compile Include="Mono.CodeContracts.Static.Analysis.HeapAnalysis\Wrapper.cs" />\r
 168     <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\Analysis.cs" />\r
 169     <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\ExpressionAssertDischarger.cs" />\r
 170     <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\ExpressionAssumeDecoder.cs" />\r
 171     <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\NonNullAnalysisFacade.cs" />\r
 172     <Compile Include="Mono.CodeContracts.Static.Analysis.NonNull\NonNullDomain.cs" />\r
 173     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\AbstractInterpretationException.cs" />\r
 174     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\Analysers.cs" />\r
 175     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\Analysis.ConstantEvaluator.cs" />\r
 176     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\Analysis.cs" />\r
 177     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\Analysis.GenericNumericalAnalysis.cs" />\r
 178     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\Analysis.GenericValueAnalysis.cs" />\r
 179     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\AssumeFalseVisitor.cs" />\r
 180     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\AssumeTrueVisitor.cs" />\r
 181     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\BoxedExpressionDecoder.cs" />\r
 182     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\BoxedExpressionEncoder.cs" />\r
 183     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\BoxedVariable.cs" />\r
 184     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\ConstantEvaluatorVisitor.cs" />\r
 185     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\ConstToIntervalEvaluator.cs" />\r
 186     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\Counter.cs" />\r
 187     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\DisInterval.cs" />\r
 188     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\DisIntervalAssumer.cs" />\r
 189     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\DisIntervalContext.cs" />\r
 190     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\DisIntervalEnvironment.cs" />\r
 191     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\EvaluateArithmeticWithOverflow.cs" />\r
 192     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\EvaluateExpressionVisitor.cs" />\r
 193     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\ExpressionOperator.cs" />\r
 194     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\ExpressionType.cs" />\r
 195     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\ExpressionViaStringComparer.cs" />\r
 196     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\GenericExpressionVisitor.cs" />\r
 197     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\GenericTypeExpressionVisitor.cs" />\r
 198     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\GetThresholdVisitor.cs" />\r
 199     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IEnvironmentDomain.cs" />\r
 200     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IExpressionDecoder.cs" />\r
 201     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IExpressionEncoder.cs" />\r
 202     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IIntervalEnvironment.cs" />\r
 203     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\Interval.cs" />\r
 204     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IntervalAssumeFalseVisitor.cs" />\r
 205     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IntervalAssumer.cs" />\r
 206     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IntervalAssumerBase.cs" />\r
 207     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IntervalAssumeTrueVisitor.cs" />\r
 208     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IntervalBase.cs" />\r
 209     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IntervalContext.cs" />\r
 210     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IntervalContextBase.cs" />\r
 211     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IntervalEnvironment.cs" />\r
 212     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IntervalEnvironmentBase.cs" />\r
 213     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IntervalInference.cs" />\r
 214     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IntervalRationalAssumerBase.cs" />\r
 215     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\IntervalRationalContextBase.cs" />\r
 216     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\LongToIntegerConstantEvaluator.cs" />\r
 217     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\Monomial.cs" />\r
 218     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\ObjectExtensions.cs" />\r
 219     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\Polynomial.cs" />\r
 220     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\Rational.cs" />\r
 221     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\RationalThreshold.cs" />\r
 222     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\Threshold.cs" />\r
 223     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\TresholdDB.cs" />\r
 224     <Compile Include="Mono.CodeContracts.Static.Analysis.Numerical\ValueExpressionDecoder.cs" />\r
 225     <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\APCMap.cs" />\r
 226     <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\SequenceGenerator.cs" />\r
 227     <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackDecoder.cs" />\r
 228     <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackDepthFactory.cs" />\r
 229     <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackDepthProvider.cs" />\r
 230     <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackInfo.cs" />\r
 231     <Compile Include="Mono.CodeContracts.Static.Analysis.StackAnalysis\StackInfo`1.cs" />\r
 232     <Compile Include="Mono.CodeContracts.Static.Analysis\CodeLayer.cs" />\r
 233     <Compile Include="Mono.CodeContracts.Static.Analysis\CodeLayerFactory.cs" />\r
 234     <Compile Include="Mono.CodeContracts.Static.Analysis\ICodeLayer.cs" />\r
 235     <Compile Include="Mono.CodeContracts.Static.Analysis\IExpressionContext.cs" />\r
 236     <Compile Include="Mono.CodeContracts.Static.Analysis\IExpressionContextProvider.cs" />\r
 237     <Compile Include="Mono.CodeContracts.Static.Analysis\ILPrinter.cs" />\r
 238     <Compile Include="Mono.CodeContracts.Static.Analysis\IMethodContext.cs" />\r
 239     <Compile Include="Mono.CodeContracts.Static.Analysis\IMethodContextProvider.cs" />\r
 240     <Compile Include="Mono.CodeContracts.Static.Analysis\IStackContext.cs" />\r
 241     <Compile Include="Mono.CodeContracts.Static.Analysis\IStackContextProvider.cs" />\r
 242     <Compile Include="Mono.CodeContracts.Static.Analysis\IValueContext.cs" />\r
 243     <Compile Include="Mono.CodeContracts.Static.Analysis\IValueContextProvider.cs" />\r
 244     <Compile Include="Mono.CodeContracts.Static.Analysis\PrinterFactory.cs" />\r
 245     <Compile Include="Mono.CodeContracts.Static.AST.Visitors\CodeVisitor.cs" />\r
 246     <Compile Include="Mono.CodeContracts.Static.AST.Visitors\DefaultNodeVisitor.cs" />\r
 247     <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IAggregateVisitor.cs" />\r
 248     <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ICodeConsumer.cs" />\r
 249     <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IExpressionILVisitor.cs" />\r
 250     <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IILVisitor.cs" />\r
 251     <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ILVisitorBase.cs" />\r
 252     <Compile Include="Mono.CodeContracts.Static.AST.Visitors\IMethodCodeConsumer.cs" />\r
 253     <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ISymbolicExpressionVisitor.cs" />\r
 254     <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ISyntheticILVisitor.cs" />\r
 255     <Compile Include="Mono.CodeContracts.Static.AST.Visitors\NodeInspector.cs" />\r
 256     <Compile Include="Mono.CodeContracts.Static.AST.Visitors\NodeVisitor.cs" />\r
 257     <Compile Include="Mono.CodeContracts.Static.AST.Visitors\ValueCodeVisitor.cs" />\r
 258     <Compile Include="Mono.CodeContracts.Static.AST\ArrayTypeNode.cs" />\r
 259     <Compile Include="Mono.CodeContracts.Static.AST\AssemblyNode.cs" />\r
 260     <Compile Include="Mono.CodeContracts.Static.AST\AssignmentStatement.cs" />\r
 261     <Compile Include="Mono.CodeContracts.Static.AST\BinaryExpression.cs" />\r
 262     <Compile Include="Mono.CodeContracts.Static.AST\BinaryOperator.cs" />\r
 263     <Compile Include="Mono.CodeContracts.Static.AST\Block.cs" />\r
 264     <Compile Include="Mono.CodeContracts.Static.AST\BlockExpression.cs" />\r
 265     <Compile Include="Mono.CodeContracts.Static.AST\BodyParser.cs" />\r
 266     <Compile Include="Mono.CodeContracts.Static.AST\Branch.cs" />\r
 267     <Compile Include="Mono.CodeContracts.Static.AST\CatchFilter.cs" />\r
 268     <Compile Include="Mono.CodeContracts.Static.AST\Class.cs" />\r
 269     <Compile Include="Mono.CodeContracts.Static.AST\Construct.cs" />\r
 270     <Compile Include="Mono.CodeContracts.Static.AST\CoreSystemTypes.cs" />\r
 271     <Compile Include="Mono.CodeContracts.Static.AST\EndFinally.cs" />\r
 272     <Compile Include="Mono.CodeContracts.Static.AST\Ensures.cs" />\r
 273     <Compile Include="Mono.CodeContracts.Static.AST\ExceptionHandler.cs" />\r
 274     <Compile Include="Mono.CodeContracts.Static.AST\Expression.cs" />\r
 275     <Compile Include="Mono.CodeContracts.Static.AST\ExpressionStatement.cs" />\r
 276     <Compile Include="Mono.CodeContracts.Static.AST\FaultHandler.cs" />\r
 277     <Compile Include="Mono.CodeContracts.Static.AST\Field.cs" />\r
 278     <Compile Include="Mono.CodeContracts.Static.AST\Literal.cs" />\r
 279     <Compile Include="Mono.CodeContracts.Static.AST\Local.cs" />\r
 280     <Compile Include="Mono.CodeContracts.Static.AST\Member.cs" />\r
 281     <Compile Include="Mono.CodeContracts.Static.AST\MemberBinding.cs" />\r
 282     <Compile Include="Mono.CodeContracts.Static.AST\Method.cs" />\r
 283     <Compile Include="Mono.CodeContracts.Static.AST\MethodCall.cs" />\r
 284     <Compile Include="Mono.CodeContracts.Static.AST\MethodContract.cs" />\r
 285     <Compile Include="Mono.CodeContracts.Static.AST\MethodContractElement.cs" />\r
 286     <Compile Include="Mono.CodeContracts.Static.AST\Module.cs" />\r
 287     <Compile Include="Mono.CodeContracts.Static.AST\NaryExpression.cs" />\r
 288     <Compile Include="Mono.CodeContracts.Static.AST\Node.cs" />\r
 289     <Compile Include="Mono.CodeContracts.Static.AST\NodeType.cs" />\r
 290     <Compile Include="Mono.CodeContracts.Static.AST\OperatorExtensions.cs" />\r
 291     <Compile Include="Mono.CodeContracts.Static.AST\Parameter.cs" />\r
 292     <Compile Include="Mono.CodeContracts.Static.AST\Property.cs" />\r
 293     <Compile Include="Mono.CodeContracts.Static.AST\Reference.cs" />\r
 294     <Compile Include="Mono.CodeContracts.Static.AST\Requires.cs" />\r
 295     <Compile Include="Mono.CodeContracts.Static.AST\Return.cs" />\r
 296     <Compile Include="Mono.CodeContracts.Static.AST\Statement.cs" />\r
 297     <Compile Include="Mono.CodeContracts.Static.AST\This.cs" />\r
 298     <Compile Include="Mono.CodeContracts.Static.AST\TypeNode.cs" />\r
 299     <Compile Include="Mono.CodeContracts.Static.AST\UnaryExpression.cs" />\r
 300     <Compile Include="Mono.CodeContracts.Static.AST\UnaryOperator.cs" />\r
 301     <Compile Include="Mono.CodeContracts.Static.AST\Variable.cs" />\r
 302     <Compile Include="Mono.CodeContracts.Static.ContractExtraction\ContractExtractor.cs" />\r
 303     <Compile Include="Mono.CodeContracts.Static.ContractExtraction\ContractNodes.cs" />\r
 304     <Compile Include="Mono.CodeContracts.Static.ContractExtraction\GatherLocals.cs" />\r
 305     <Compile Include="Mono.CodeContracts.Static.ContractExtraction\HelperMethods.cs" />\r
 306     <Compile Include="Mono.CodeContracts.Static.ContractExtraction\RepresentationForAttribute.cs" />\r
 307     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\AssumeBlock.cs" />\r
 308     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\BlockBase.cs" />\r
 309     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\BlockWithLabels.cs" />\r
 310     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\CatchFilterEntryBlock.cs" />\r
 311     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\EnsuresBlock.cs" />\r
 312     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\EntryBlock.cs" />\r
 313     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\EntryExitBlock.cs" />\r
 314     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\LabelAdapter.cs" />\r
 315     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\MethodCallBlock.cs" />\r
 316     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Blocks\NewObjCallBlock.cs" />\r
 317     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\BlockBuilder.cs" />\r
 318     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\BlockStartGatherer.cs" />\r
 319     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\EnsuresFactory.cs" />\r
 320     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\RequiresFactory.cs" />\r
 321     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SimpleSubroutineBuilder.cs" />\r
 322     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SubroutineBuilder.cs" />\r
 323     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SubroutineFactory.cs" />\r
 324     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines.Builders\SubroutineWithHandlersBuilder.cs" />\r
 325     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\EnsuresSubroutine.cs" />\r
 326     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\FaultFinallySubroutineBase.cs" />\r
 327     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\FaultSubroutine.cs" />\r
 328     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\FinallySubroutine.cs" />\r
 329     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\MethodContractSubroutine.cs" />\r
 330     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\MethodSubroutine.cs" />\r
 331     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\OldScanStateMachine.cs" />\r
 332     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\OldValueSubroutine.cs" />\r
 333     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\RequiresSubroutine.cs" />\r
 334     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SimpleSubroutine.cs" />\r
 335     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SubroutineBase.cs" />\r
 336     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SubroutineFacade.cs" />\r
 337     <Compile Include="Mono.CodeContracts.Static.ControlFlow.Subroutines\SubroutineWithHandlers.cs" />\r
 338     <Compile Include="Mono.CodeContracts.Static.ControlFlow\APC.cs" />\r
 339     <Compile Include="Mono.CodeContracts.Static.ControlFlow\APCDecoder.cs" />\r
 340     <Compile Include="Mono.CodeContracts.Static.ControlFlow\CFGBlock.cs" />\r
 341     <Compile Include="Mono.CodeContracts.Static.ControlFlow\ContractFilteredCFG.cs" />\r
 342     <Compile Include="Mono.CodeContracts.Static.ControlFlow\ControlFlowGraph.cs" />\r
 343     <Compile Include="Mono.CodeContracts.Static.ControlFlow\Edge.cs" />\r
 344     <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeMap.cs" />\r
 345     <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeTag.cs" />\r
 346     <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeTagExtensions.cs" />\r
 347     <Compile Include="Mono.CodeContracts.Static.ControlFlow\EdgeVisitor.cs" />\r
 348     <Compile Include="Mono.CodeContracts.Static.ControlFlow\ICFG.cs" />\r
 349     <Compile Include="Mono.CodeContracts.Static.ControlFlow\IConstantInfo.cs" />\r
 350     <Compile Include="Mono.CodeContracts.Static.ControlFlow\IHandlerFilter.cs" />\r
 351     <Compile Include="Mono.CodeContracts.Static.ControlFlow\IMethodInfo.cs" />\r
 352     <Compile Include="Mono.CodeContracts.Static.ControlFlow\IStackInfo.cs" />\r
 353     <Compile Include="Mono.CodeContracts.Static.ControlFlow\RemoveBranchDelegator.cs" />\r
 354     <Compile Include="Mono.CodeContracts.Static.ControlFlow\Subroutine.cs" />\r
 355     <Compile Include="Mono.CodeContracts.Static.ControlFlow\SubroutineKind.cs" />\r
 356     <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\DataFlowAnalysisBase.cs" />\r
 357     <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\EdgeBasedWidening.cs" />\r
 358     <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\EdgeConverter.cs" />\r
 359     <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\ForwardAnalysis.cs" />\r
 360     <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\ForwardDataFlowAnalysisBase.cs" />\r
 361     <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\IAnalysis.cs" />\r
 362     <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\IFixPointInfo.cs" />\r
 363     <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\IWidenStrategy.cs" />\r
 364     <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\Joiner.cs" />\r
 365     <Compile Include="Mono.CodeContracts.Static.DataFlowAnalysis\StepWidening.cs" />\r
 366     <Compile Include="Mono.CodeContracts.Static.DataStructures.Patricia\BranchNode.cs" />\r
 367     <Compile Include="Mono.CodeContracts.Static.DataStructures.Patricia\EmptyNode.cs" />\r
 368     <Compile Include="Mono.CodeContracts.Static.DataStructures.Patricia\LeafNode.cs" />\r
 369     <Compile Include="Mono.CodeContracts.Static.DataStructures.Patricia\PatriciaTrieNode.cs" />\r
 370     <Compile Include="Mono.CodeContracts.Static.DataStructures\AbstractWorkList.cs" />\r
 371     <Compile Include="Mono.CodeContracts.Static.DataStructures\BooleanExtensions.cs" />\r
 372     <Compile Include="Mono.CodeContracts.Static.DataStructures\DecoratorHelper.cs" />\r
 373     <Compile Include="Mono.CodeContracts.Static.DataStructures\DepthFirst.cs" />\r
 374     <Compile Include="Mono.CodeContracts.Static.DataStructures\DoubleDictionary.cs" />\r
 375     <Compile Include="Mono.CodeContracts.Static.DataStructures\DoubleImmutableMap.cs" />\r
 376     <Compile Include="Mono.CodeContracts.Static.DataStructures\Dummy.cs" />\r
 377     <Compile Include="Mono.CodeContracts.Static.DataStructures\EdgeVisitor.cs" />\r
 378     <Compile Include="Mono.CodeContracts.Static.DataStructures\GraphWrapper.cs" />\r
 379     <Compile Include="Mono.CodeContracts.Static.DataStructures\IGraph.cs" />\r
 380     <Compile Include="Mono.CodeContracts.Static.DataStructures\IImmutableIntMap.cs" />\r
 381     <Compile Include="Mono.CodeContracts.Static.DataStructures\IImmutableMap.cs" />\r
 382     <Compile Include="Mono.CodeContracts.Static.DataStructures\IImmutableSet.cs" />\r
 383     <Compile Include="Mono.CodeContracts.Static.DataStructures\IIndexable.cs" />\r
 384     <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableIntKeyMap.cs" />\r
 385     <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableIntMap.cs" />\r
 386     <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableMap.cs" />\r
 387     <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableSet.cs" />\r
 388     <Compile Include="Mono.CodeContracts.Static.DataStructures\ImmutableSetExtensions.cs" />\r
 389     <Compile Include="Mono.CodeContracts.Static.DataStructures\Indexable.cs" />\r
 390     <Compile Include="Mono.CodeContracts.Static.DataStructures\IPropertyCollection.cs" />\r
 391     <Compile Include="Mono.CodeContracts.Static.DataStructures\IWorkList.cs" />\r
 392     <Compile Include="Mono.CodeContracts.Static.DataStructures\Optional.cs" />\r
 393     <Compile Include="Mono.CodeContracts.Static.DataStructures\Pair.cs" />\r
 394     <Compile Include="Mono.CodeContracts.Static.DataStructures\PriorityQueue.cs" />\r
 395     <Compile Include="Mono.CodeContracts.Static.DataStructures\PropertyCollection.cs" />\r
 396     <Compile Include="Mono.CodeContracts.Static.DataStructures\Sequence.cs" />\r
 397     <Compile Include="Mono.CodeContracts.Static.DataStructures\SequenceExtensions.cs" />\r
 398     <Compile Include="Mono.CodeContracts.Static.DataStructures\TypedKey.cs" />\r
 399     <Compile Include="Mono.CodeContracts.Static.DataStructures\VisitStatus.cs" />\r
 400     <Compile Include="Mono.CodeContracts.Static.DataStructures\WorkList.cs" />\r
 401     <Compile Include="Mono.CodeContracts.Static.Extensions\Extensions.cs" />\r
 402     <Compile Include="Mono.CodeContracts.Static.Lattices\AbstractDomainExtensions.cs" />\r
 403     <Compile Include="Mono.CodeContracts.Static.Lattices\EnvironmentDomain.cs" />\r
 404     <Compile Include="Mono.CodeContracts.Static.Lattices\FlatDomain.cs" />\r
 405     <Compile Include="Mono.CodeContracts.Static.Lattices\IAbstractDomain.cs" />\r
 406     <Compile Include="Mono.CodeContracts.Static.Lattices\SetDomain.cs" />\r
 407     <Compile Include="Mono.CodeContracts.Static.Providers\CodeContractDecoder.cs" />\r
 408     <Compile Include="Mono.CodeContracts.Static.Providers\CodeProviderImpl.cs" />\r
 409     <Compile Include="Mono.CodeContracts.Static.Providers\ICodeProvider.cs" />\r
 410     <Compile Include="Mono.CodeContracts.Static.Providers\IContractProvider.cs" />\r
 411     <Compile Include="Mono.CodeContracts.Static.Providers\IILDecoder.cs" />\r
 412     <Compile Include="Mono.CodeContracts.Static.Providers\IMetaDataProvider.cs" />\r
 413     <Compile Include="Mono.CodeContracts.Static.Providers\IMethodCodeProvider.cs" />\r
 414     <Compile Include="Mono.CodeContracts.Static.Providers\MetaDataProvider.cs" />\r
 415     <Compile Include="Mono.CodeContracts.Static.Proving\AssertionFinder.cs" />\r
 416     <Compile Include="Mono.CodeContracts.Static.Proving\BasicFacts.cs" />\r
 417     <Compile Include="Mono.CodeContracts.Static.Proving\BoxedExpression.cs" />\r
 418     <Compile Include="Mono.CodeContracts.Static.Proving\BoxedExpressionExtensions.cs" />\r
 419     <Compile Include="Mono.CodeContracts.Static.Proving\ComposedFactQuery.cs" />\r
 420     <Compile Include="Mono.CodeContracts.Static.Proving\ConstantPropagationFactQuery.cs" />\r
 421     <Compile Include="Mono.CodeContracts.Static.Proving\IFactBase.cs" />\r
 422     <Compile Include="Mono.CodeContracts.Static.Proving\IFactQuery.cs" />\r
 423     <Compile Include="Mono.CodeContracts.Static.Proving\SimpleLogicInference.cs" />\r
 424     <Compile Include="Mono.CodeContracts.Static\Checker.cs" />\r
 425     <Compile Include="Mono.CodeContracts.Static\CheckOptions.cs" />\r
 426     <Compile Include="Mono.CodeContracts.Static\CheckResults.cs" />\r
 427     <Compile Include="Mono.CodeContracts.Static\DebugOptions.cs" />\r
 428     <Compile Include="Mono.CodeContracts.Static\ProofOutcome.cs" />\r  </ItemGroup>\r
 429   <!-- To modify your build process, add your task inside one of the targets below and uncomment it. \r
 430        Other similar extension points exist, see Microsoft.Common.targets.\r
 431   <Target Name="BeforeBuild">\r
 432   </Target>\r
 433   <Target Name="AfterBuild">\r
 434   </Target>\r
 435   -->\r
 436   <PropertyGroup>\r
 437     <PreBuildEvent Condition=" '$(OS)' != 'Windows_NT' ">
 438
 439     </PreBuildEvent>\r
 440     <PreBuildEvent Condition=" '$(OS)' == 'Windows_NT' ">\r
 441 \r
 442     </PreBuildEvent>\r
 443     <PostBuildEvent Condition=" '$(OS)' != 'Windows_NT' ">
 444
 445     </PostBuildEvent>\r
 446     <PostBuildEvent Condition=" '$(OS)' == 'Windows_NT' ">\r
 447 \r
 448     </PostBuildEvent>\r
 449   </PropertyGroup>\r
 450   <ItemGroup>\r
 451     <ProjectReference Include="../corlib/corlib-net_4_x.csproj">\r
 452       <Project>{2CA6026B-2DC8-4C4C-A12C-1E8234049DB7}</Project>\r
 453       <Name>corlib-net_4_x</Name>\r
 454     </ProjectReference>\r
 455     <ProjectReference Include="../System/System-net_4_x.csproj">\r
 456       <Project>{2762E921-91A8-4C87-91E9-BA628013F753}</Project>\r
 457       <Name>System-net_4_x</Name>\r
 458     </ProjectReference>\r
 459     <ProjectReference Include="../System.Core/System.Core-net_4_x.csproj">\r
 460       <Project>{359142A1-D80F-401E-AA64-7167C9317649}</Project>\r
 461       <Name>System.Core-net_4_x</Name>\r
 462     </ProjectReference>\r
 463     <Reference Include="./../../class/lib/net_4_x/Mono.Cecil.dll">\r
 464       <SpecificVersion>False</SpecificVersion>\r
 465       <HintPath>./../../class/lib/net_4_x/Mono.Cecil.dll</HintPath>\r
 466       <Private>False</Private>\r
 467     </Reference>\r
 468     <ProjectReference Include="../Mono.Cecil.Mdb/Mono.Cecil.Mdb-net_4_x.csproj">\r
 469       <Project>{CF14D34A-F69B-47FB-A99C-D25C77198F30}</Project>\r
 470       <Name>Mono.Cecil.Mdb-net_4_x</Name>\r
 471     </ProjectReference>\r
 472   </ItemGroup>\r
 473   <ItemGroup>\r
 474     <Folder Include="Properties\" />\r
 475   </ItemGroup>\r
 476 </Project>\r
 477