diff options
author | Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-11-05 15:52:27 +0530 |
---|---|---|
committer | Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-11-05 15:52:27 +0530 |
commit | 8cc5d9cc9d455b42fc19881f29da47a08f10d8e1 (patch) | |
tree | ea6223c6b4ced1492e832f35d0229e25c86a06ab /Source/Houdini/Houdini.csproj | |
parent | da91e455665b6874af1af29aed37599247f5ece5 (diff) |
Added Abstract Houdini: an implementation of Houdini based on abstract domains.
Currently only predicate-abstraction domain is supported.
Diffstat (limited to 'Source/Houdini/Houdini.csproj')
-rw-r--r-- | Source/Houdini/Houdini.csproj | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/Houdini/Houdini.csproj b/Source/Houdini/Houdini.csproj index 97d26001..2d2b0373 100644 --- a/Source/Houdini/Houdini.csproj +++ b/Source/Houdini/Houdini.csproj @@ -78,6 +78,7 @@ <Compile Include="..\version.cs">
<Link>version.cs</Link>
</Compile>
+ <Compile Include="AbstractHoudini.cs" />
<Compile Include="Checker.cs" />
<Compile Include="Houdini.cs" />
</ItemGroup>
@@ -98,6 +99,10 @@ <Project>{69A2B0B8-BCAC-4101-AE7A-556FCC58C06E}</Project>
<Name>Graph</Name>
</ProjectReference>
+ <ProjectReference Include="..\Model\Model.csproj">
+ <Project>{acef88d5-dadd-46da-bae1-2144d63f4c83}</Project>
+ <Name>Model</Name>
+ </ProjectReference>
<ProjectReference Include="..\ParserHelper\ParserHelper.csproj">
<Project>{FCD3AC7F-9DFD-46C8-AB1E-09F0B0F16DC5}</Project>
<Name>ParserHelper</Name>
|