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