diff options
author | 2013-06-03 15:35:10 -0700 | |
---|---|---|
committer | 2013-06-03 15:35:10 -0700 | |
commit | c407933569ecca73fd272a178920765611b877b3 (patch) | |
tree | 55abd30f6bb81211ff8bdd199ccef855759f0a69 /Source/ExecutionEngine | |
parent | c0578efe1ff17e30eb33e60e279a9a14a7a836a5 (diff) |
Did some refactoring in the Boogie driver.
Diffstat (limited to 'Source/ExecutionEngine')
-rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 5 | ||||
-rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.csproj | 9 |
2 files changed, 3 insertions, 11 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index 2c21ee77..e58f4117 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -1,16 +1,13 @@ using System;
-using System.Collections;
using System.Collections.Concurrent;
using System.Collections.Generic;
using System.Diagnostics.Contracts;
using System.IO;
using System.Linq;
-using System.Text;
-using Microsoft.Boogie;
-using Microsoft.Boogie.AbstractInterpretation;
using VC;
using BoogiePL = Microsoft.Boogie;
+
namespace Microsoft.Boogie
{
diff --git a/Source/ExecutionEngine/ExecutionEngine.csproj b/Source/ExecutionEngine/ExecutionEngine.csproj index 40ed5da7..bd323d8b 100644 --- a/Source/ExecutionEngine/ExecutionEngine.csproj +++ b/Source/ExecutionEngine/ExecutionEngine.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">
<Import Project="$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props" Condition="Exists('$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props')" />
<PropertyGroup>
@@ -36,7 +36,6 @@ <Reference Include="System" />
<Reference Include="System.Core" />
<Reference Include="System.Xml.Linq" />
- <Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
<Compile Include="ExecutionEngine.cs" />
@@ -79,10 +78,6 @@ <Project>{afaa5ce1-c41b-44f0-88f8-fd8a43826d44}</Project>
<Name>Predication</Name>
</ProjectReference>
- <ProjectReference Include="..\Provers\SMTLib\SMTLib.csproj">
- <Project>{9b163aa3-36bc-4afb-88ab-79bc9e97e401}</Project>
- <Name>SMTLib</Name>
- </ProjectReference>
<ProjectReference Include="..\VCGeneration\VCGeneration.csproj">
<Project>{e1f10180-c7b9-4147-b51f-fa1b701966dc}</Project>
<Name>VCGeneration</Name>
@@ -96,4 +91,4 @@ <Target Name="AfterBuild">
</Target>
-->
-</Project>
+</Project>
\ No newline at end of file |