diff options
| author |  qadeer <unknown> | 2013-12-08 20:18:33 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2013-12-08 20:18:33 -0800 |
| commit | d598ca752a1f163966f95bc19bf219bc5ae097f5 (patch) | |
| tree | 66c78ceaa4dd604cd90d91c76313418cf42bd150 /Source/Core/Core.csproj | |
| parent | decec0038a658079c8e54d7a1eb97795155836ce (diff) | |
removed bitvector analysis from Boogie
an advanced version has been moved to Corral
Diffstat (limited to 'Source/Core/Core.csproj')
| -rw-r--r-- | Source/Core/Core.csproj | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Source/Core/Core.csproj b/Source/Core/Core.csproj index 8be4cda9..a5231853 100644 --- a/Source/Core/Core.csproj +++ b/Source/Core/Core.csproj @@ -1,4 +1,4 @@ -<?xml version="1.0" encoding="utf-8"?>
+<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
<PropertyGroup>
<Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
@@ -164,7 +164,6 @@ <Compile Include="AbsyExpr.cs" />
<Compile Include="AbsyQuant.cs" />
<Compile Include="AbsyType.cs" />
- <Compile Include="BitvectorAnalysis.cs" />
<Compile Include="InterProceduralReachabilityGraph.cs" />
<Compile Include="CommandLineOptions.cs" />
<Compile Include="DeadVarElim.cs" />
@@ -233,4 +232,4 @@ <Target Name="AfterBuild">
</Target>
-->
-</Project>
+</Project>
\ No newline at end of file |